×
詹姆斯·德尔格兰德。；Hector J.列夫斯克。

非确定性的认知方法：相信事件的最简单过程。 （英语） Zbl 1477.68296号

螺柱日志。 107，第5号，859-886（2019）.
摘要：本文描述了一种在具有不确定性行为的动态域中进行推理的方法，在该域中，主体的（范畴）信念对应于与主体的观察和信念一致的最简单或最合理的事件过程。这个解释是基于情境演算的认知扩展，一种关于行为的一阶推理理论，可以容纳感知行为。特别是，该账户基于不确定性的定性理论。我们的立场是，对于常识推理来说，世界最有用的是被视为确定性的，而不确定性是一种认知现象，源于主体有限的意识和感知。该账户提供了几个优点：代理人有一套明确的（与概率相反的）信念，但可以处理相同的结果（如抛硬币）或不同合理性的结果（例如在罕见的情况下可能失败的行为）。代理人将最合理或最简单的世界图景作为其一组或有信念，与其相信自己执行的信念和行动保持一致；但是它可以根据稍后的信息来修改这些。

MSC公司：

68T27型 人工智能中的逻辑
03B42号 知识和信念的逻辑（包括信念变化）
68立方英尺 知识表示

关键词：

知识表示；关于行动的推理；不确定性

软件：

高尔夫
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Delgrande}和\textit{H.J.Levesque}，Stud.Log。107，第5号，859--886（2019；Zbl 1477.68296）
全文： 内政部

参考文献：

[1] Alchourrón，C.E.，P.Gärdefors和D.Makinson，《论理论变化的逻辑：部分满足收缩和修正函数》，《符号逻辑杂志》50（2）：510-5301985年·Zbl 0578.03011号 ·doi:10.2307/2274239
[2] Bacchus，F.、J.Y.Halpern和H.J.Levesque，情境演算中噪声传感器和效应器的推理，人工智能111（1-2）：171-2081999·Zbl 0996.68192号 ·doi:10.1016/S0004-3702（99）00031-4
[3] Baral，C.，《关于行动的推理：非确定性影响、约束和限定》，载于《国际人工智能联合会议论文集》，加拿大蒙特利尔，1995年，第2017-2026页。
[4] Boutiler，C.、R.Reiter、M.Soutchanski和S.Thrun，情境演算中的决策论高级代理编程，《人工智能（AAAI）会议论文集》，德克萨斯州奥斯汀，2000年，第355-362页。
[5] Cimatti，A.、M.Pistore、M.Roveri和P.Traverso，通过符号模型检查进行弱、强和强循环规划，人工智能147（1-2）：35-842003·Zbl 1082.68800号 ·doi:10.1016/S0004-3702（02）00374-0
[6] Darwiche，A.和J.Pearl，《论迭代信念修正的逻辑》，《人工智能》89:1-291997年·Zbl 1018.03012号 ·doi:10.1016/S0004-3702（96）00038-0
[7] Delgrade，J.P.和H.J.Levesque，《感知和易犯错误行为的信念修正》，第十三届知识表示和推理原则国际会议，意大利罗马，2012年。
[8] Delgrade，J.P.和H.J.Levesque，《不确定性和失败行为的正式描述》，《国际人工智能联合会议论文集》，中国北京，2012年。
[9] Fikes，R.F.和N.J.Nilsson，Strips:将定理证明应用于问题解决的新方法，《人工智能2:189-2081971》·Zbl 0234.68036号 ·doi:10.1016/0004-3702（71）90010-5
[10] Gärdenfors，P.，《流动中的知识：认知状态动力学建模》，麻省理工学院出版社，马萨诸塞州剑桥，1988年·Zbl 1229.03008号
[11] Gelfond，M.和V.Lifschitz，《行动语言》，《人工智能电子交易》，1998年第3期·Zbl 0783.68024号
[12] Ginsberg，M.L.和D.E.Smith，《关于行动ii的推理：资格问题》，人工智能35（3）：311-3421988年·Zbl 0645.68110号 ·doi:10.1016/0004-3702（88）90020-3
[13] Jensen，R.M.、M.M.Veloso和R.E.Bryant，《容错规划：符号非确定性规划中的概率不确定性模型》，载于S.Zilberstein、J.Koehler和S.Koenig（编辑），《第十四届国际自动规划与调度会议论文集》（ICAPS 2004），AAAI出版社，2004年，第335-344页。
[14] Katsuno，H.和A.Mendelzon，命题知识库修订和最小更改，人工智能52（3）：263-2941991·Zbl 0792.68182号 ·doi:10.1016/0004-3702（91）90069-V
[15] 拉普拉斯，P.，《概率论的Essai哲学》，第一版。，（英语翻译：多佛，1952年），巴黎，1814年·肯尼迪48.0008.05
[16] Levesque、H.J.、F.Pirri和R.Reiter，《情境演算基础》，《计算机和信息科学中的链接和平电子文章》3:18，1998年。
[17] Levesque，H.J.、R.Reiter，F.Lin和R.B.Scherl，《果洛：动态域的逻辑编程语言》，《逻辑编程杂志》31:59-831997年·兹比尔0880.68008 ·doi:10.1016/S0743-1066（96）00121-5
[18] McCarthy，J.，《人工智能中的认识论问题》，摘自《国际人工智能联合会议论文集》，马萨诸塞州剑桥市，1977年，第1038-1044页。
[19] Moore，R.C.，《非单调逻辑的语义考虑》，《人工智能》25:75-941985年·Zbl 0569.68079号 ·doi:10.1016/0004-3702（85）90042-6
[20] Peppas，P。；Harmelen，F.（编辑）；Lifschitz，V.（编辑）；波特，B.（编辑），信念修订，317-359（2008），美国圣地亚哥·doi:10.1016/S1574-6526（07）03008-8
[21] Pratt，V.，《Floyd-Hoare逻辑的语义考虑》，第17届IEEE计算机科学基础研讨会，1976年，第109-121页。
[22] Reiter，R.，《行动中的知识：指定和实现动态系统的逻辑基础》，麻省理工学院出版社，马萨诸塞州剑桥，2001年·兹比尔1018.03022 ·doi:10.7551/mitpress/4074.001.0001
[23] Scherl，R.B.和H.J.Levesque，《知识、行动和框架问题》，《人工智能》144（1-2）：1-392003·Zbl 1079.68625号 ·doi:10.1016/S0004-3702（02）00365-X
[24] Shanahan，M.，《解决框架问题——对常识惯性定律的数学研究》，麻省理工学院出版社，1997年。
[25] Shapiro，S.、M.Pagnucco、Y.Lespérance和H.J.Levesque，情境演算中的迭代信念变化，人工智能175（1）：165-1922011·Zbl 1216.68275号 ·doi:10.1016/j.artint.2010.04.003
[26] 斯波恩，W.，《序贯条件函数：认知状态的动态理论》，载于W.L.哈珀和B.Skyrms，（编辑），《决定中的因果关系、信念变化和统计学》，第二卷，克鲁沃学术出版社，1988年，第105-134页。
[27] Thielscher，M.，《鉴定问题：异常模型问题的解决方案》，《人工智能》131（1-2）：1-372001年·Zbl 0996.68186号 ·doi:10.1016/S0004-3702（01）00131-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。