×
弗拉基米尔·利夫希茨

最低限度的信仰和否定是失败。 （英语） Zbl 0820.03016号

Artif公司。智力。 70，编号1-2，53-72（1994）。
最小置信与否定逻辑（MBNF）是一个使用两个模态运算符（（B）和not）的非单调系统。它的语义是对一阶语义的标准方法的一个相当简单的概括。尽管MBNF是Lin和Shoham的知识和信仰逻辑的简化版本，但它表现力很强，可以用作描述几种非单调形式的语义的通用框架，如（析取）逻辑编程，默认逻辑和范围，以及由Levesque和Reiter开发的认知查询理论。
审核人：C.Witteveen（代尔夫特）

引用于1审查
引用于23文件

MSC公司：

03B60号 其他非经典逻辑
68T27型 人工智能中的逻辑
03B70号 计算机科学中的逻辑
03B45号 模态逻辑（包括规范逻辑）
68立方英尺 知识表示
68N17号 逻辑编程

关键词：

最小信念与否定逻辑；非单调逻辑；语义学
PDF格式BibTeX公司 XML格式引用
\textit{V.Lifschitz}，阿蒂夫。智力。70，编号1--2，53-72（1994；Zbl 0820.03016）
全文： 内政部

参考文献：

[1] Chen，J.，最小知识+否定为失败=只知道（有时），（Pereira，L.M.；Nerode，A.，逻辑编程和非单调推理：第二届国际研讨会论文集（1993）），132-150
[2] Gelfond，M.，《强烈的自省》（AAAI-91号论文集）。美国加利福尼亚州阿纳海姆AAAI-91会议记录（1991），386-391
[3] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（Kowalski，R.；Bowen，K.，《逻辑编程：第五届国际会议和研讨会论文集》（1988），1070-1080
[4] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新一代计算。，9, 365-385 (1991) ·Zbl 0735.68012号
[5] Halpern，J。；Moses，Y.，《迈向知识与无知的理论：初步报告》（技术报告RJ 4448（48136）（1984），IBM）·Zbl 0581.68067号
[6] 井上，K。；Sakama，C.表示绑架呈阳性不，（ICLP-93诱因推理会后研讨会（1993年））
[7] Konolige，K.，《边缘无知》（Proceedings AAAI-82）。AAAI-82会议记录，宾夕法尼亚州匹兹堡（1982），202-204
[8] Levesque，H.J.，《知识表示的功能方法基础》，Artif。智力。，23, 2, 155-212 (1984) ·Zbl 0548.68090号
[9] Levesque，H.J.，《我所知道的一切：自认知逻辑研究》，Artif。智力。，42, 2-3, 263-310 (1990) ·兹比尔0724.03019
[10] Lifschitz，V.，《开放式违约》（On open defaults），（Lloyd，J.，《计算逻辑：研讨会论文集》（Computational Logic:Symposium Proceedings）（1990），施普林格-弗拉格出版社：柏林施普林格出版社），第80-95页
[11] Lifschitz，V.，《非单调数据库和认知查询》（Proceedings IJCAI-91）。《IJCAI-91会议记录》，澳大利亚悉尼（1991），381-386·Zbl 0747.68086号
[12] Lifschitz，V.，限制单调性，（论文集AAAI-93。会议记录AAAI-93，华盛顿特区（1993），432-437
[13] Lifschitz，V。；Woo，T.，《一般非单调推理中的答案集（初步报告）》，（Nebel，B.；Rich，C.；Swartout，W.，《第三届知识表示与推理原则国际会议论文集》（1992）），603-614
[14] Lin，F.，模态逻辑中的界限，（Vardi，M.，《知识推理的理论方面：第二届会议论文集》（1988）），113-127·Zbl 0705.03006号
[15] 林，F。；Shoham，Y.，《知识逻辑和合理假设》，Artif。智力。，57, 271-289 (1992) ·Zbl 0763.68060号
[16] Reiter，R.，默认推理逻辑，Artif。智力。，13, 1-2, 81-132 (1980) ·Zbl 0435.68069号
[17] Reiter，R.，数据库应该知道什么？，J.逻辑程序。，第14127-153页（1992年）·Zbl 0777.68035号
[18] Shoham，Y.，《时序无知：时间、非单调性、必然性和因果理论》（Proceedings AAAI-86）。美国宾夕法尼亚州费城AAAI-86会议记录（1986），389-393
[19] 范埃姆登，M。；Kowalski，R.，谓词逻辑作为编程语言的语义，J.ACM，23，4，733-742（1976）·Zbl 0339.68004号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。