×
亚历山大·波奇曼

论缺省推理与模态非单调推理的关系。 （英语） Zbl 0908.03027号

Artif公司。智力。 101，第1-2、1-34号（1998年）.
摘要：引入缺省结果关系的概念，作为非单调推理的缺省形式化和模态形式化的推广。它用于研究这两种形式之间的一般对应问题。

引用于1文件

理学硕士：

03B60号 其他非经典逻辑
68T27型 人工智能中的逻辑

关键词：

非单调推理;默认逻辑;模态非单调逻辑;自认知逻辑;违约后果关系
PDF格式BibTeX公司 XML格式引用
\textit{A.Bochman}，阿蒂夫。智力。101，编号1--2，1-34（1998；Zbl 0908.03027）
全文： 内政部

参考文献：

[1] Bochman，A.，《关于违约与模式后果关系之间的关系》，（《知识表示与推理原则第四届国际会议论文集》，KR’94。《第四届知识表示和推理原则国际会议论文集》，KR’94，德国波恩（1994），Morgan Kaufmann:Morgan Koufmann San Francisco，CA），63-74
[2] Bochman，A.，《模态非单调逻辑被破坏》，《数学年鉴》。Artif公司。智力。，15, 101-123 (1995) ·Zbl 0855.03012号
[3] Bochman，A.，作为逻辑程序逻辑框架的默认结果关系，（第三届逻辑编程和非单调推理国际会议论文集，LPNMR’95。第三届逻辑程序设计和非单调推理国际会议论文集，LPNMR’95，人工智能讲义，卷928（1995），施普林格：施普林格柏林），245-258·兹比尔1496.68085
[4] Bochman，A.，《关于双模非单调逻辑及其单模和非模等价物》（Proceedings IJCAI'95）。1995年《加拿大国际商会会刊》，魁北克省蒙特利尔（1995），1518-1524
[5] Bochman，A.，《非单调推理的双结果关系》，《知识表示与推理原理第五届国际会议论文集》，KR’96。第五届知识表示和推理原理国际会议论文集，KR’96，不列颠哥伦比亚省温哥华（1996），Morgan Kaufmann:Morgan Koufmann San Francisco，CA）·兹比尔0905.68032
[6] 布尔·R·A。；Segerberg，K.，《基本模态逻辑》（Gabbay，D.；Guenthner，F.，《哲学逻辑手册》（1984），Reidel:Reidel Dordrecht），1-88·Zbl 0875.03045号
[7] 迪克斯·J。；Makinson，D.，非单调推理操作的KLM和MAK模型之间的关系，J.逻辑与计算。，1, 131-140 (1992) ·Zbl 0796.03033号
[8] 配件，M.C。；马雷克·W。；Truszczynski，M.，《必然的纯粹逻辑》，J.逻辑与计算。，2, 349-373 (1992) ·Zbl 0819.03011号
[9] Gabbay，D.M.，《模态和时态逻辑研究》（1976年），Reidel:Reidel Dordrecht·Zbl 0374.02013
[10] Gabbay，D.M。；Sergot，H.J.，作为不一致性的否定，J.逻辑编程，1，1-35（1986）·Zbl 0606.68086号
[11] Gelfond，M。；Lifschitz，V。；普尔兹穆桑斯卡，H。；Truszczyñski，M.，选言缺省（知识表示和推理原则第三届国际会议论文集，KR’91）。第三届知识表示与推理原理国际会议论文集，KR'91，马萨诸塞州剑桥（1991），Morgan Kaufmann：Morgan Kaufmann San Mateo，CA），230-237·Zbl 0766.68127号
[12] Gottlob，G.，《信念的力量或将默认逻辑转换为标准自认知逻辑》，（Lakemeyer，G.；Nebel，B.，《知识表示和推理的基础》，《知识表达和推理基础》，人工智能讲义，第810卷（1994），施普林格：施普林格-柏林），133-144·Zbl 0875.00047号
[13] Konolige，K.，《关于缺省逻辑和自认知逻辑之间的关系》，《人工智能》，第35期，第343-382页（1988年）·Zbl 0647.68088号
[14] 克劳斯，S。；莱曼，D。；Magidor，M.，《非单调推理、优先模型和累积逻辑》，《人工智能》，44，167-207（1990）·Zbl 0782.03012号
[15] Lifschitz，V.，《作为失败的最小信念和否定》，人工智能，70,53-72（1994）·Zbl 0820.03016号
[16] 马雷克·W。；施瓦兹，G。；Truszczyñski，M.，模态非单调逻辑：范围，表征，计算，J.ACM，40963-990（1993）·Zbl 0783.68121号
[17] 马雷克·W。；Truszczyñski，M.，《关联自认知和缺省逻辑》，（知识表示和推理原则第一届国际会议论文集，KR’89。《第一届知识表示和推理原则国际会议论文集》，KR’89，安大略省多伦多市（1989），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），276-288·Zbl 0706.03024号
[18] 马雷克·W。；Truszczynski，M.，《默认推理的模态逻辑》，《数学年鉴》。Artif公司。智力。，1, 275-302 (1990) ·Zbl 0871.03009号
[19] 马雷克·W。；Truszczyński，M.，自动认识逻辑，美国计算机学会，38588-619（1991）·Zbl 0799.68176号
[20] 马雷克·W。；Truszczynski，M.，《关于默认逻辑的模态方面的更多信息》，基金。通知。，17, 99-116 (1992) ·Zbl 0772.03011号
[21] 马雷克·W。；Truszczyński，M.，非单调逻辑，上下文相关推理（1993），施普林格：施普林格柏林·Zbl 0784.03018号
[22] 麦克德莫特，D。；Doyle，J.，《非单调逻辑I》，《人工智能》，第13期，第41-72页（1980年）·Zbl 0435.68074号
[23] McDermott，D.，《非单调逻辑II：非单调模态理论》，J.ACM，29，33-57（1982）·Zbl 0477.68099号
[24] Moore，R.C.，《非单调逻辑的语义考虑》，人工智能，25，75-94（1985）·Zbl 0569.68079号
[25] Reiter，R.，《默认推理的逻辑》，《人工智能》，第13期，第81-132页（1980年）·Zbl 0435.68069号
[26] Schwarz，G.，自认知模态逻辑，（Parikh，R.，Proceedings TARK 1990（1990），Morgan Kaufmann:Morgan Koufmann San Mateo，CA），97-109
[27] 施瓦兹，G.，自反自认知逻辑，基金。通知。，17, 157-173 (1992) ·Zbl 0772.68091号
[28] Schwarz，G.，《非单调逻辑中的边界自省》，（知识表示和推理原则第三届国际会议论文集，KR’91。《第三届知识表示和推理原则国际会议论文集》，KR’91，马萨诸塞州坎布里奇（1991），Morgan Kaufmann：Morgan Koufmann-San Mateo，CA）
[29] Schwarz，G.，非单调模态逻辑的最小模型语义（Proceedings LICS-92（1992）），34-43
[30] 施瓦兹，G。；Truszczynski，M.，最小知识问题：一种新方法，人工智能，67113-141（1994）·Zbl 0820.68115号
[31] 蒂姆金，M。；卡明斯基，M.，《非单调缺省模态逻辑》，J.ACM，38，963-984（1991）·兹比尔0799.68174
[32] Truszczyñski，M.，默认逻辑的模态解释，（Myopoulos，J.；Reiter，R.，Proceedings IJCAI-91）。《IJCAI-91会议记录》，澳大利亚悉尼（1991），摩根考夫曼：摩根考夫曼圣马特奥，加利福尼亚州），393-398·Zbl 0747.68088号
[33] Truszczyñski，M.，《将默认逻辑嵌入模态非单调逻辑》，（Nerode，A.；Marek，W.；Subrahmanian，V.，《逻辑编程与非单调推理》（1991），麻省理工学院出版社：麻省理学院出版社剑桥，MA），151-165
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。