瓦夏克·贝勒;Hector J.列夫斯克。 情境演算中的机器人位置估计。 (英语) Zbl 1388.68274号 J.应用。日志。 13,第4号,第1部分,397-413(2015). 概要:位置估计是机器人应用中的一项基本传感任务,在机器人应用中,世界是不确定的,传感器和效应器都有噪声。大多数系统都会对状态变量之间的依赖关系做出各种假设,尤其是关于这些依赖关系如何因操作而改变。基于一般框架构建巴克斯等【Artif.Intell.111,No.1–2,171–208(1999;Zbl 0996.68192号)]为了推理情境演算中的置信度,以及最近对其进行的连续概率分布的扩展,本文使用示例说明了在丰富的动作理论存在下的位置估计。形式主义还允许具有不完全知识和严格不确定性的规范,因此,代理的初始信念不需要用唯一的概率分布来表征。最后,我们表明,虽然行为可能以非标准的方式影响先验分布,但适当的后验信念仍然是总体规范的副作用。 引用于5文件 MSC公司: 第68页第40页 机器人人工智能 68立方英尺 知识表示 68层37 人工智能背景下的不确定性推理 关键词:知识表示;认知机器人;知识推理与不确定性 引文:Zbl 0996.68192号 软件:PREGO公司;博客;高尔夫 PDF格式BibTeX公司 XML格式引用 \textit{V.Belle}和\textit{H.J.Levesque},J.Appl。日志。13,第4号,第1部分,397--413(2015;Zbl 1388.68274) 全文: 内政部 arXiv公司 参考文献: [1] 巴克斯,F.,《用概率知识表示和推理》(1990),麻省理工学院出版社 [2] 巴克斯,F。;Halpern,J.Y。;Levesque,H.J.,《情境演算中关于噪声传感器和效应器的推理》,Artif。智力。,111, 1-2, 171-208 (1999) ·Zbl 0996.68192号 [3] 巴拉尔,C。;盖尔方德,M。;Rushton,J.N.,回答集概率推理,理论实践。日志。程序。,9, 1, 57-144 (2009) ·Zbl 1170.68003号 [4] 贝勒,V。;Lakemeyer,G.,《不确定性存在下级数的语义解释》(Proc.AAAI(2011)),165-170 [5] 贝勒,V。;Levesque,H.J.,《情境演算中持续不确定性的推理》(Proc.IJCAI(2013)) [6] 贝勒,V。;Levesque,H.J.,《利用目标回归推理动态系统中的概率》(Proc.UAI(2013)) [7] 贝勒,V。;Levesque,H.J.,《如何在连续领域提升信念》(Proc.KR(2014)) [8] 贝勒,V。;Levesque,H.J.,PREGO:连续域中基于信念的认知机器人的动作语言(Proc.AAAI(2014)) [10] Billingsley,P.,《概率与测度》(1995),威利国际科学出版社·Zbl 0822.60002号 [11] Boutiler,C。;Reiter,R。;Price,B.,一阶MDP的符号动态编程(Proc.IJCAI(2001)),690-697 [12] Boutiler,C。;Reiter,R。;Soutchanski,M。;Thrun,S.,《情境演算中的决策论高级代理编程》(Proc.AAAI(2000)),第355-362页 [13] Choi,J。;Guzman-Rivera,A。;Amir,E.,《提升关系卡尔曼滤波》(IJCAI(2011)),2092-2099 [14] Da Prato,G.,无限维分析简介,Universitext(2006),Springer·Zbl 1109.46001号 [15] Darwiche,A。;Goldszmidt,M.,《行动网络:在不确定性下对行动和变化进行推理的框架》(Proc.UAI(1994)),136-144 [16] 院长,T。;Kanazawa,K.,关于持久性和因果关系的推理模型,计算。智力。,5, 2, 142-150 (1989) [17] 院长,T。;Wellman,M.,《规划与控制》(1991),摩根考夫曼出版社。 [18] 费金,R。;Halpern,J.Y.,《关于知识和概率的推理》,J.ACM,41,2,340-367(1994)·Zbl 0806.68098号 [19] 费金,R。;Halpern,J.Y。;摩西,Y。;M.Y.Vardi,《知识推理》(1995),麻省理工学院出版社·Zbl 0839.68095号 [20] 弗里茨,C。;McIlraith,S.A.,《计算连续域中的稳健计划》(Proc.ICAPS(2009)),346-349 [21] Gabaldon,A。;Lakemeyer,G.,《ESP:仅知、噪音感知和行为的逻辑》(Proc.AAAI(2007)),974-979 [22] 哈吉什尔齐,H。;Amir,E.,关于具有概率先验的确定性动作的推理及其在随机滤波中的应用,(Proc.KR(2010)) [23] Halpern,J.,概率的一阶逻辑分析,人工制品。智力。,46, 3, 311-350 (1990) ·Zbl 0723.03007号 [24] Halpern,J.Y。;塔特尔,M.R.,《知识、概率和对手》,J.ACM,40,917-960(1993)·Zbl 0783.68120号 [25] 《知识与信仰:两个概念的逻辑导论》(1962年),康奈尔大学出版社 [26] Iocchi,L。;Lukasiewicz,T。;Nardi,D。;Rosati,R.,《定性和概率不确定性下感知行为的推理》,ACM Trans。计算。日志。,10, 5 (2009) ·Zbl 1367.68281号 [27] 杰托,L。;Longhi,S。;Vitali,D.,基于模糊逻辑自适应卡尔曼滤波器的传感器数据融合定位轮式移动机器人,控制工程实践。,7, 6, 763-771 (1999) [28] Kersting,K。;Raedt,L.D.,贝叶斯逻辑程序(ILP工作进展报告(2000)) [29] 科勒,D。;弗里德曼,N.,概率图形模型-原理和技术(2009),麻省理工学院出版社·Zbl 1183.68483号 [30] Kripke,S.,《模态逻辑的语义考虑》,《哲学学报》。芬恩。,16, 83-94 (1963) ·Zbl 0131.00602号 [31] 北卡罗来纳州库什默里克。;汉克斯,S。;Weld,D.,概率规划算法,Artif。智力。,76, 1, 239-286 (1995) [32] Lakemeyer,G。;Levesque,H.J.,认知机器人,(《知识表示手册》(2007),爱思唯尔出版社),869-886 [33] Levesque,H。;Reiter,R。;Lespérance,Y。;林,F。;Scherl,R.,Golog:一种用于动态域的逻辑编程语言,J.Log。程序。,31, 59-84 (1997) ·Zbl 0880.68008号 [34] Levesque,H.J。;Pirri,F。;Reiter,R.,《情境演算基础》,电子。变速器。Artif公司。智力。,2, 159-178 (1998) [35] 林,F。;Reiter,R.,如何推进数据库,Artif。智力。,92, 1-2, 131-167 (1997) ·Zbl 1017.68510号 [36] 马特乌斯,P。;帕切科,A。;平托,J。;Sernadas,A。;Sernadas,C.,概率情境演算,Ann.Math。Artif公司。智力。,32, 1-4, 393-431 (2001) ·Zbl 1314.68299号 [37] 麦卡锡,J。;Hayes,P.J.,《从人工智能的角度来看的一些哲学问题》(机器智能(1969)),463-502·Zbl 0226.68044号 [38] McIlraith,S。;比斯瓦斯,G。;克兰西,D。;Gupta,V.,《混合系统诊断》(《混合系统研讨会程序:计算与控制》),《混合体系研讨会程序:计算机与控制》,HSCC 2000。程序。混合系统:计算与控制研讨会。程序。混合系统:计算与控制研讨会,HSCC 2000,LNCS(2000),282-295·兹比尔0938.93553 [39] 米尔奇,B。;Marthi,B。;罗素·S·J。;桑塔格,D。;Ong,D.L。;Kolobov,A.,BLOG:具有未知对象的概率模型,(Proc.IJCAI(2005)),1352-1359 [40] Moore,R.C.,知识和行动的形式理论,(霍布斯,J.R.;Moore,R.C.,常识世界的形式理论(1985),Ablex:Ablex Norwood,NJ),319-358 [41] Ng、R。;Subrahmanian,V.,概率逻辑编程,Inf.Comput。,101, 2, 150-201 (1992) ·Zbl 0781.68038号 [42] Nitti,D。;莱特·T·D。;Raedt,L.D.,混合关系域的粒子过滤器,(IROS(2013)),2764-2771 [43] Pearl,J.,《智能系统中的概率推理:合理推理网络》(1988),摩根·考夫曼 [44] Poole,D.,决策理论,情境演算和条件计划,电子。变速器。Artif公司。智力。,2, 105-158 (1998) [45] Reiter,R.,情境演算中的自然行为、并发性和连续时间,(KR(1996)),2-13 [46] Reiter,R.,《行动中的知识:指定和实现动态系统的逻辑基础》(2001),麻省理工学院出版社·Zbl 1018.03022号 [47] Reiter,R.,《情境演算中感知的基于知识的编程》,ACM Trans。计算。日志。,2, 4, 433-457 (2001) ·Zbl 1365.68409号 [48] 理查森,M。;多明戈斯,P.,马尔可夫逻辑网络,马赫。学习。,62, 1, 107-136 (2006) ·Zbl 1470.68221号 [49] Sanner,S.,关系动态影响图语言:语言描述(2011),澳大利亚国立大学,技术报告 [50] 谢尔,R.B。;Levesque,H.J.,《知识、行动和框架问题》,Artif。智力。,144, 1-2, 1-39 (2003) ·Zbl 1079.68625号 [51] 夏皮罗(Shapiro,S.),《噪声感知和自省下的信念改变》(NRAC Workshop(2005)),第84-89页 [52] Thielscher,M.,《有噪音行动的规划》(初步报告),(澳大利亚人工智能联合会议(2001年),27-45 [53] 特隆,S。;伯加德,W。;Fox,D.,《概率机器人学》(2005),麻省理工学院出版社·Zbl 1081.68703号 [54] Van Benthem,J。;杰布兰迪。;Kooi,B.,概率动态更新,Stud.Log。,93, 1, 67-96 (2009) ·Zbl 1183.03015号 [55] Younes,H。;Littman,M.,PPDDL 1.0:pddl的扩展,用于表达具有概率效应的规划领域(2004),卡内基梅隆大学,技术报告 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。