×

一种基于历史的近似认知行为理论,用于有效的后置推理。 (英语) Zbl 1457.68256号

摘要:我们提出了一种近似知识的可能世界语义(\mathcal{PWS}\),并支持后置——这是一种基本的推理模式,用于诊断推理和解释任务,在诸如认知机器人、认知视觉的视觉感知、,环境智能和智能环境。我们提出了形式化框架、操作语义以及对由此产生的可靠性和完整性结果的分析。
我们的方法的优点是,只需要线性数量的状态变量来表示代理的知识状态。这是通过将知识建模为单个近似状态的历史来实现的,而不是像Kripke语义那样使用指数数量的可能世界。也就是说,我们在知识表示中添加了一个时间维度,这有助于有效的后置。因为我们考虑了知识历史,所以我们称我们的理论为(h)-近似(mathcal{HPX})。
由于状态变量的线性数,(mathcal{HPX})具有相对较低的计算复杂性。特别地,我们证明了(mathcal{HPX})可以在多项式(可处理)时间内解决投影问题。它可以解决NP中的规划问题,而对于动作语言(mathcal{A} k(_k)\) [T.C.儿子C.巴拉尔,艺术。智力。125,第1-2号,第19-91号(2001年;Zbl 0969.68152号)]这是\({\ Sigma}_2^P\)-完整的。除了知识的时间维度之外,我们的理论支持同时行动和感知,在这个意义上比现有的近似更具表现力。

MSC公司:

68T27型 人工智能中的逻辑
65年第68季度 算法和问题复杂性分析
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68立方英尺 知识表示

软件:

PDDL公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bäckström,C。;Nebel,B.,《SAS+规划的复杂性结果》,计算。智力。,11, 625-655 (1995)
[2] Baral,C.,《知识表示、推理和陈述式问题解决》(2003),剑桥大学出版社·Zbl 1056.68139号
[3] Baral,C。;克里诺维奇,V。;Trejo,R.,存在不完全性时规划和近似规划的计算复杂性,人工制品。智力。,122, 241-267 (2000) ·Zbl 0948.68088号
[4] Bertoli,P。;Cimatti,A。;皮斯托尔,M。;Roveri,M。;Traverso,P.,MBP:基于模型的规划师,(国际人工智能联合会议论文集(2001))
[5] 巴特,M。;Wallgruen,J.O.,《地理空间叙事及其时空动态:地理信息系统高级分析的常识推理》(Rocchini,D.,ISPRS国际地理信息期刊;专题:环境变化的地理空间监测和建模(2013)),arXiv-康奈尔大学图书馆(草案可在arXiv上获得)
[6] 博内,B。;Geffner,H.,《通过经典重新规划在部分可观测性下进行规划:理论和实验》(IJCAI Proceedings(2011))
[7] Brachman,R.J。;Levesque,H.J.,《知识表示与推理》(2004),爱思唯尔出版社
[8] Carnap,R.,《意义和必然性:语义学和模态逻辑研究》(1956年),芝加哥大学出版社·Zbl 0034.00106号
[9] Cimatti,A。;皮斯托尔,M。;Roveri,M。;Traverso,P.,《通过符号模型检查的弱、强和强循环规划》,Artif。智力。,147, 35-84 (2003) ·Zbl 1082.68800号
[10] Davis,E.,《常识知识的表征》,《表征与推理中的Morgan Kaufmann系列》(1990年),爱思唯尔科学有限公司
[11] Demolombe,R。;del Pilar Pozos Parra,M.,情境演算到认知逻辑的简单且易于处理的扩展,(智能系统基础国际研讨会(2000))·Zbl 0983.68187号
[12] van Ditmarsch,H。;范德霍克,W。;Kooi,B.,《动态认识逻辑》(2007),施普林格·Zbl 1156.03320号
[13] 埃普,M。;Bhatt,M.,认知机器人的基于叙事的后置推理,(第11届常识推理逻辑形式化国际研讨会(2013))
[14] 埃普,M。;巴特,M.,《带有答案集编程的近似后置推理》,J.Appl。日志。,13,676-719(2015),本期·Zbl 1457.68255号
[15] 埃佩,M。;巴特,M。;Dylla,F.,《用后置词作为回答集编程的近似认知规划》(第十二届逻辑编程和非单调推理国际会议论文集(2013))·Zbl 1405.68348号
[16] 费金,R。;Halpern,J.Y。;摩西,Y。;M.Y.Vardi,《知识推理》(1995),麻省理工学院出版社·Zbl 0839.68095号
[17] 菲克斯,R。;Nilsson,N.,STRIPS:应用定理证明解决问题的新方法,Artif。智力。,2, 189-208 (1971) ·Zbl 0234.68036号
[18] de Giacomo,G。;Levesque,H.J.,《感知高级程序的增量解释器》(1998年AAAI秋季认知机器人研讨会工作笔记(1998年))·Zbl 0944.68170号
[19] 汉克斯,S。;McDermott,D.,非单调逻辑和时间投影,Artif。智力。,33779-412(1987年)·Zbl 0654.68107号
[20] 范·哈梅伦(F.van Harmelen)。;范·哈梅伦(F.van Harmelen)。;Lifschitz,V。;波特,B.,《知识表示手册》(2007),爱思唯尔科学:爱思唯尔科学圣地亚哥,美国
[21] 辛提卡,J.,《逻辑与信仰:两个概念的逻辑导论》(1962),康奈尔大学出版社:康奈尔学院出版社伊萨卡
[22] 霍夫曼,J。;Brafman,R.I.,通过启发式前向搜索和隐含信念状态的权变规划,(自动化规划和调度国际会议论文集(2005))
[23] Hölldobler,S。;Schneeberger,J.,《规划的新演绎方法》,《新世代》。计算。,8, 225-244 (1990) ·Zbl 0711.68026号
[24] Kahramanogullari,O。;Thielscher,M.,《使用动作描述语言对流畅微积分进行正式评估的结果》(德国人工智能会议(2003))·Zbl 1274.68460号
[25] 科瓦尔斯基,R。;Sergot,M.,《基于逻辑的事件演算》,《新世代》。计算。,4, 67-94 (1986) ·兹比尔1356.68221
[26] Kripke,S.,《模态逻辑的语义考虑》,《哲学学报》。芬恩。,16, 83-94 (1963) ·Zbl 0131.00602号
[27] Lakemeyer,G。;Levesque,H.J.,AOL:行动、感知、知道和唯一知道的逻辑(《知识表示和推理原则国际会议论文集》(1998年))
[28] Levesque,H.J.,《我所知道的一切:自认知逻辑研究》,Artif。智力。,43, 263-309 (1990) ·Zbl 0724.03019号
[29] 刘,Y。;Levesque,H.J.,《具有上下文相关动作的动态系统中不完全一阶知识的可追踪推理》(国际人工智能联合会议(2005))
[30] Lobo,J。;Mendez,G。;Taylor,S.,《知识与行动描述语言A》,《理论与实践》。日志。程序。,1, 129-184 (2001) ·兹比尔1091.68603
[31] 马,J。;米勒,R。;Morgenstern,L。;Patkos,T.,《基于ASP对过去、现在和未来知识进行推理的认知事件演算》(国际编程、人工智能和推理逻辑会议(2013))
[32] McCarthy,J.,《情境、行为和因果律》(1963年7月),斯坦福人工智能项目技术报告
[33] McCarthy,J.,精化容差,(常识推理逻辑形式化国际研讨会(1998))
[34] 麦克德莫特,D。;加拉布,M。;Howe,A。;旋钮,C。;拉姆,A。;维洛索,M。;Wilkins,D.,PDDL-规划领域定义语言(1998),耶鲁计算视觉与控制中心,技术报告
[35] 米勒,R。;Morgenstern,L。;Patkos,T.,《认知事件演算中关于知识和行为的推理》(2013年常识推理逻辑形式化国际研讨会)
[36] Moore,R.C.,《知识与行动的形式理论》(Hobbs,J.;Moore(R.C.),《常识世界的形式理论(1985)》,Ablex:Ablex Norwood,NJ)
[37] Mueller,E.,《常识推理》(2005),Morgan Kaufmann
[38] Muise,C。;贝勒,V。;McIlraith,S.,《通过完全可观察的非确定性规划计算应急计划》(AAAI人工智能会议(2014))
[39] Muise,C。;McIlraith,美国。;Beck,J.C.,《利用状态相关性改进非确定性规划》(第22届国际自动化规划与调度会议,第22届自动规划与调度国际会议,ICAPS(2012)),172-180
[40] Patkos,T。;Plexousakis,D.,《在动态和不确定领域中用知识、行动和时间进行推理》(《国际人工智能联合会议论文集》(2009年))
[41] Patkos,T。;Plexousakis,D.,部分可观察动态领域中的认识论和因果常识推理——从传感器到概念,(机器人和认知系统社区的方法论和实践工作之间的桥梁(2012),Springer)
[42] Petrick,R.P。;Bacchus,F.,《将基于知识的方法扩展到信息和感知不完整的规划》(自动化规划和调度国际会议论文集(2004年))
[43] Petrick,R.P.A。;Levesque,H.J.,《联合行动理论中的知识等价性》(《知识表示与推理原理》,2002年)
[44] Rintanen,J.,《具有部分可观测性的规划复杂性》,(自动化规划和调度国际会议,自动化规划和日程国际会议,ICAPS(2004))
[45] 萨迪纳,S。;de Giacomo,G。;Lespérance,Y。;Levesque,H.,《严格不确定性下规划对信念状态的限制》(《知识表示和推理原理》(2006))
[46] 萨迪纳,S。;de Giacomo,G。;Lespérance,Y。;Levesque,H.J.,《论IndiGolog中审议的语义——从理论到实施》,《数学年鉴》。Artif公司。智力。,41, 259-299 (2004) ·Zbl 1048.68100号
[47] 谢尔,R.B。;Levesque,H.J.,《知识、行动和框架问题》,Artif。智力。,144, 1-39 (2003) ·兹比尔1079.68625
[48] 儿子,T.C。;Baral,C.,《形式化传感动作——基于过渡函数的方法》,Artif。智力。,125, 19-91 (2001) ·Zbl 0969.68152号
[49] Thielscher,M.,流利微积分导论,Linköp。电子。艺术。计算。信息科学。,3 (1998)
[50] Thielscher,M.,《表示机器人的知识》(Cohn,a.;Giunchiglia,F.;Selman,B.,《知识表示和推理原则国际会议论文集》(2000),Morgan Kaufmann:Morgan Koufmann Breckenridge,CO),109-120
[51] Thielscher,M.,《并发、连续流畅微积分》,Stud.Log。,67, 315-331 (2001) ·Zbl 0981.03036号
[52] Thielscher,M.,FLUX:推理代理的逻辑编程方法,理论与实践。日志。程序。,5 (2005) ·Zbl 1105.68333号
[53] To,S.T.,《不确定性下信念状态表征对规划的影响》(《国际人工智能联合会议论文集》(2011年))
[54] To,S.T.,一种使用与/或正向搜索中的析取表示和新剪枝技术的权变规划新方法,J.Artif。智力。Res.(2012年)
[55] Tu,P.H。;儿子,T.C。;Baral,C.,《使用答案集编程的感应行为、不完全信息和静态因果律的推理和规划》,理论与实践。日志。程序。,7, 377-450 (2007) ·Zbl 1120.68101号
[56] 弗莱明克,H。;Vennekens,J。;Denecker,M.,感知行为的一般表示和近似推理算法,(人工智能进展-澳大利亚联合会议(2012))
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。