×

我所知道的是:关于自认知逻辑的研究。 (英语) Zbl 0724.03019号

作者的目的是通过认知逻辑来探讨非单调性。“自认知”一词在此指的是这样一个事实,即认知运算符被允许出现在它们自己的范围内。语言的认识部分包含一元信念算子B和一个附加的(一元命题)算子\B{O},其中\B{O} H(H)意思是“H是全部的相信”;当然,背景思想是将{O}本质上应用于有限的句子集(通过连词)。
自然地,存在一种可能的世界语义,使得B片段对应于模态逻辑弱S5(即K4.5)。作者在这里介绍的这一扩展认知逻辑首先是独立研究的,然后与罗杰摩尔【Proc.IJCAI-83,Karlsruhe,272-279(1983;Zbl 0536.68074号)]以及稳定展开式,对于命题部分,给出了一个合理的完整公理化(然而,对于一阶情形,它不是递归的),并应用于一些非单调性问题。

MSC公司:

03B60号 其他非经典逻辑
03B45号 模态逻辑(包括规范逻辑)
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Brown,F.,《非单调性的常识和不动点理论的比较》(Proceedings AAAI-86)。美国宾夕法尼亚州费城AAAI-86会议记录(1986),394-400
[2] Gelfond,M.,《分层自认知理论》(Proceedings AAAI-87)。AAAI-87会议记录,西雅图,华盛顿州(1987),207-211
[3] Halpern,J。;Moses,Y.,《迈向知识与无知的理论:初步报告》,(《非单调推理研讨会论文集》,《非单调理性研讨会论文集,纽约州新帕尔茨(1984)》),125-143·Zbl 0581.68067号
[4] Halpern,J。;Moses,Y.,《知识和信仰的模态逻辑指南:初稿》(Proceedings IJCAI-85)。IJCAI-85会议记录,加利福尼亚州洛杉矶(1985),480-490
[5] 休斯,G。;Cresswell,M.,《模态逻辑导论》(1968),《Methuen:Methuen London》·Zbl 0205.00503号
[6] Israel,D.,非单调逻辑有什么问题?,(会议记录AAAI-80。AAAI-80会议记录,加利福尼亚州斯坦福(1980),99-101
[7] Konolige,K.,《边缘无知》(Proceedings AAAI-82)。AAAI-82会议记录,宾夕法尼亚州匹兹堡(1982),202-204
[8] Konolige,K.,《缺省理论与自认知逻辑之间的关系》,(《技术报告》(1987),人工智能中心,SRI国际:人工智能中心、SRI国际门罗公园,加利福尼亚州)·Zbl 0647.68088号
[9] Levesque,H.J.,《不完整知识库的正式处理》(博士论文(1981),多伦多大学计算机科学系:安大略省多伦多大学计算科学系)
[10] Levsque,H.J.,《与不完整知识库的互动:一种正式的处理》,(《国际医学会杂志》第81期。不列颠哥伦比亚省温哥华市IJCAI-81会议记录(1981),240-245
[11] Levsque,H.J.,知识表示的函数方法的基础,人工智能,24155-212(1984)·兹伯利0548.68090
[12] Levesque,H.J.,《内隐和外显信念的逻辑》(Proceedings AAAI-84)。《AAAI-84会议记录》,德克萨斯州奥斯汀(1984),198-202
[13] Levesque,H.J.,《我所知道的:一份节略报告》(Proceedings AAAI-87)。AAAI-87会议记录,西雅图,华盛顿州(1987),426-431
[14] 麦克阿瑟,G.,《关于知识和信念的推理:综述》,《计算》。智力。,4, 3, 223-243 (1988)
[15] 麦卡锡,J.,《界限:非单调推理的一种形式》,《人工智能》,13,27-39(1980)·Zbl 0435.68073号
[16] McCarthy,J.,《限定在形式化常识中的应用》,《人工智能》,第28期,第89-116页(1986年)
[17] 麦克德莫特,D。;Doyle,J.,非单调逻辑I,人工智能,13,41-72(1980)·兹伯利0435.68074
[18] Moore,R.,《非单调逻辑的语义考虑》(Proceedings IJCAI-83)。《IJCAI-83会议记录》,卡尔斯鲁厄,FRG(1983),272-279
[19] Moore,R.,《自认知逻辑的可能世界语义》(Proceedings Non-Monotonic Reasoning Workshop.Proceeding Non-Montonic Reasining Workshop,New Paltz,NY(1984)),344-354
[20] Reiter,R.,《默认推理的逻辑》,《人工智能》,第13期,第81-132页(1980年)·Zbl 0435.68069号
[21] Reiter,R.,《非单调推理》,《计算机年鉴》。科学。,2, 147-186 (1987)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。