×
瓦夏克·贝勒；Hector J.列夫斯克。

本地化的逻辑理论。 （英语） Zbl 1371.03040号

螺柱日志。 104，第4期，741-772（2016）.
作者考虑了认知机器人的一个基本问题，即机器人通过可用的传感器确定其位置和方向，并给出其环境的空间特征的问题。其思想是将此本地化问题作为情境演算的一部分来理解，情境演算是知识表示的一种突出的一阶形式主义，尤其是关于行动和变化的推理。给出的描述的核心成分是一个公理化的基本动作理论，机器人定位从逻辑上遵循该理论。这通过两个二维网格中的机器人示例进行了说明，机器人配备了移动动作和距离传感器。基本作用理论的各种性质被证明是成立的。此外，还处理了使用多个代理的定位。
审核人：海因里希·万辛（波鸿）

引用于三文件

MSC公司：

03B70号 计算机科学中的逻辑
03B42号 知识和信念的逻辑（包括信念变化）
68T27型 人工智能中的逻辑
68立方英尺 知识表示
68T40型 机器人人工智能
68T42型 Agent技术与人工智能

关键词：

知识表示；情境演算；关于行动和变化的推理；关于知识和信念的推理；多智能体逻辑

软件：

高尔夫；PREGO公司
PDF格式BibTeX公司 XML格式引用
\textit{V.Belle}和\textit{H.J.Levesque}，Stud.Log。104、4号、741--772（2016；Zbl 1371.03040）
全文： 内政部 链接

参考文献：

[1] 巴克斯：用概率知识表示和推理。麻省理工学院出版社，马萨诸塞州剑桥（1990）
[2] Bacchus F.、Halpern J.Y.、Levesque H.J.：情境演算中关于噪声传感器和效应器的推理。人工智能111（1-2），171-208（1999）·Zbl 0996.68192号 ·doi:10.1016/S0004-3702（99）00031-4
[3] Baltag，A.、L.S.Moss和S.Solecki，《公开声明、常识和私人怀疑的逻辑》，载《TARK会议录》，1998年，第43-56页·Zbl 1386.03019号
[4] Belle，V.和G.Lakemeyer，《不确定性存在下级数的语义解释》，《AAAI学报》，2011年，第165-170页。
[5] Belle，V.和H.J.Levesque，《情境演算中持续不确定性的推理》，《国际JCAI学报》，2013年·Zbl 1105.68333号
[6] Belle，V.和H.J.Levesque，《利用目标回归推理动态系统中的概率》，《UAI学报》，2013年·Zbl 1079.68625号
[7] Belle，V.和H.J.Levesque，情境演算中的机器人位置估计，《常识推理逻辑形式化研讨会》，2013年·Zbl 1388.68274号
[8] Belle，V.和H.J.Levesque，《如何在连续域中提升信念》，《韩国学报》，2014年。
[9] Belle，V.和H.J.Levsque，PREGO：连续领域中基于信念的认知机器人的动作语言，发表在《AAAI学报》，2014年·Zbl 0781.68038号
[10] Billingsley，P.，《概率与测度》，第三版。，威利国际科学，纽约，1995年·Zbl 0822.60002号
[11] Boutiler，C.、R.Reiter、M.Soutchanski和S.Thrun，《情境演算中的决策论高级代理编程》，载《AAAI学报》，2000年，第355-362页·Zbl 1314.68299号
[12] Burgard W.、Cremers A.B.、Fox D.、Hähnel D.、Lakemeyer G.、Schulz D.、Steiner W.、Thrun S.：互动博物馆导游机器人的体验。人工智能114（1-2），3-55（1999）·Zbl 0939.68865号 ·doi:10.1016/S0004-3702（99）00070-3
[13] Choi，J.、A.Guzman-Rivera和E.Amir，《提升关系卡尔曼滤波》，载于《国际JCAI学报》，2011年，第2092-2099页。
[14] 考克斯·I·J：布兰奇——一项自主机器人车辆导航和制导的实验。IEEE机器人与自动化汇刊7（2），193-204（1991）·doi:10.1009/70.75902
[15] Da Prato，G.，《无限维分析导论》，Universitext，Springer，2006年·Zbl 1109.46001号
[16] Darwiche，A.和M.Goldszmidt，《行动网络：不确定性下行动和变化的推理框架》，《UAI会议录》，1994年，第136-144页·Zbl 0131.00602号
[17] De Giacomo，G.和H.J.Levesque，《有效开放世界推理的两种方法》，载于《基于逻辑的人工智能》，Kluwer学术出版社，马萨诸塞州诺威尔，2000年，第59-78页·Zbl 0979.68097号
[18] Delgrade，J.P.和H.J.Levesque，《不确定性和失败行为的正式描述》，载于《国际JCAI》，2013年。
[19] Dellaert，F.、D.Fox、W.Burgard和S.Thrun，移动机器人的蒙特卡洛定位，《机器人与自动化学报》，第2卷，IEEE，1999年，第1322-1328页·Zbl 0971.68162号
[20] 费金·R、哈尔佩恩·J·Y：关于知识和概率的推理。美国医学会杂志41（2），340-367（1994）·Zbl 0806.68098号 ·doi:10.145/174652.174658
[21] Fox D.、Burgard W.、Kruppa H.、Thrun S.：协作多机器人定位的概率方法。自动机器人8（3），325-344（2000）·doi:10.1023/A:1008937911390
[22] Gabaldon，A.和G.Lakemeyer，《ESP:仅知、噪音感知和行为的逻辑》，载《AAAI学报》，2007年，第974-979页。
[23] Ge，X.和J.Renz，关于一般实心矩形的表示和推理，载于IJCAI，2013年。
[24] De Giacomo，G.、L.Iocchi、D.Nardi和R.Rosati，《移动机器人：工作中的kr&R方法》，《kr学报》，1996年，第198-209页。
[25] Hajishirzi，H.和E.Amir，《概率先验确定性行为的推理及其在随机滤波中的应用》，《韩国学报》，2010年·Zbl 0806.68098号
[26] Halpern J.Y.，Tuttle M.R.：知识、概率和对手。ACM杂志40，917-960（1993）·Zbl 0783.68120号 ·doi:10.1145/153724.153770
[27] Halpern J.Y.：概率的一阶逻辑分析。人工智能46（3），311-350（1990）·Zbl 0723.03007号 ·doi:10.1016/0004-3702（90）90019-V
[28] 《知识与信仰：两个概念的逻辑导论》，康奈尔大学出版社，伊萨卡，1962年。
[29] Jetto L.，Longhi S.，Vitali D.：基于模糊逻辑自适应卡尔曼滤波器的传感器数据融合定位轮式移动机器人。控制工程实践7（6），763-771（1999）·doi:10.1016/S0967-0661（99）00028-3
[30] Kelly R.F.、Pearce A.R.：情境演算中具有隐藏动作的异步知识。人工智能221，1-35（2015）·Zbl 1328.68213号 ·doi:10.1016/j.artint.2014.12.005
[31] 克里普克：模态逻辑的语义考虑。《费尼卡哲学学报》16，83-94（1963）·Zbl 0131.00602号
[32] Kushmerick，N.、S.Hanks和D.S.Weld，概率规划算法，人工智能76（1）：239-2861995。
[33] Lakemeyer，G.和H.J.Levesque，《认知机器人学》，摘自《知识表示手册》，阿姆斯特丹爱思唯尔出版社，2007年，第869-886页。
[34] Lee，J.H.，J.Renz和D.Wolter，《关于相对方向的有效推理》，Francesca Rossi，（编辑），IJCAI，IJCAI/AAAI，2013。
[35] Levesque，H.J.和R.Reiter，《高级机器人控制：超越规划》，1998年AAAI春季机器人集成研究研讨会上的立场文件。
[36] Levesque，H.J.，R.Reiter，Y.Lespérance，F.Lin和R.Scherl，《果洛：动态域的逻辑编程语言》，《逻辑编程杂志》31:59-841997年·兹比尔0880.68008
[37] Levesque H.J.、Pirri F.、Reiter R.：情境演算基础。人工智能中的电子交易2，159-178（1998）
[38] Lin F.，Reiter R.：如何处理数据库。人工智能92（1-2），131-167（1997）·Zbl 1017.68510号 ·doi:10.1016/S0004-3702（96）00044-6
[39] Mateus P.、Pacheco A.、Pinto J.、Sernadas A.、Sernada C.：概率情境演算。《数学与人工智能年鉴》32（1-4），393-431（2001）·Zbl 1314.68299号 ·doi:10.1023/A:1016738205696
[40] McCarthy，J.和P.J.Hayes，《从人工智能的角度来看的一些哲学问题》，载于《机器智能》，1969年，第463-502页·Zbl 0226.68044号
[41] McIlraith，S.、G.Biswas、D.Clancy和V.Gupta，混合系统诊断，《混合系统研讨会论文集：计算与控制》，LNCS，2000年，第282-295页·Zbl 0938.93553号
[42] Moore，R.C.，《知识和行动的形式理论》，载于《常识世界的形式理论（formal Theorys of the Commonsense World）》，Ablex，Norwood，NJ，1985年，第319-358页。
[43] Ng R.，Subrahmanian V.S.：概率逻辑编程。信息与计算101（2），150-201（1992）·Zbl 0781.68038号 ·doi:10.1016/0890-5401（92）90061-J
[44] Pearl，J.，《智能系统中的概率推理：合理推理网络》，Morgan Kaufmann，San Mateo，CA，1988年·Zbl 0746.68089号
[45] Poole D.：决策理论、情境演算和条件计划。人工智能中的电子交易2，105-158（1998）
[46] Reiter，R.，《行动中的知识：指定和实现动态系统的逻辑基础》，麻省理工学院出版社，马萨诸塞州剑桥，2001年·Zbl 1018.03022号
[47] Richardson M.，Domingos P.：马尔可夫逻辑网络。机器学习62（1），107-136（2006）·Zbl 1470.68221号 ·doi:10.1007/s10994-006-5833-1
[48] Sanner，S.，《关系动态影响图语言：语言描述》，《技术报告》，澳大利亚国立大学，2011年。
[49] Scherl R.B.、Levesque H.J.：知识、行动和框架问题。人工智能144（1-2），1-39（2003）·Zbl 1079.68625号 ·doi:10.1016/S0004-3702（02）00365-X
[50] Shapiro，S.，《带噪声感知和内省的信念变化》，NRAC研讨会，2005年，第84-89页。
[51] Shapiro，S.、Y.Lespérance和H.J.Levesque，《多智能体系统的认知智能体规范语言和验证环境》，载《AAMAS学报》，2002年，第19-26页·Zbl 1201.68127号
[52] Shapiro，S.、Y.Lespérance和H.J.Levesque，《目标改变》，载于《国际JCAI学报》，2005年，第582-588页。
[53] Thielscher，M.，《喧嚣行动中的规划》（初步报告），载于《澳大利亚人工智能联合会议记录》，2001年，第27-45页。
[54] Thielscher M.：通量：推理代理的逻辑编程方法。逻辑程序设计理论与实践5（4-5），533-565（2005）·Zbl 1105.68333号 ·doi:10.1017/S1471068405002358
[55] Thrun，S.、W.Burgard和D.Fox，《概率机器人学》，麻省理工学院出版社，马萨诸塞州剑桥，2005年·Zbl 1081.68703号
[56] Van Benthem J.、Gerbrandy J.、Kooi B.：概率动态更新。Studia Logica逻辑93（1），67-96（2009）·Zbl 1183.03015号 ·doi:10.1007/s11225-009-9209-y
[57] Younes，H.和M.Littman，PPDDL 1.0：对pddl的扩展，用于表示具有概率效应的规划领域，《技术报告》，卡内基梅隆大学，2004年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。