苏·埃兹吉·伊拉兹 关于自反自认知推理的单调观点。 （英语） Zbl 1491.68210号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 85-100 (2017). 摘要：本文介绍了一种新颖的单调模态逻辑，能够表征模态逻辑SW5的非单调变体的自反自认知推理：我们在SW5的原始语言中添加了第二个新的模态算子，并表明，由此产生的称为MRAE*的形式主义足够强大，能够捕获一些主要形式的非单调逻辑（其中包括自认知逻辑、缺省逻辑和非单调逻辑编程）背后的最小模型概念。本文最后讨论了一种通用策略，自然地嵌入了几种类似的非单调逻辑。关于整个系列，请参见[Zbl 1367.68005号]. 引用于三文件 MSC公司： 68T27型 人工智能中的逻辑 03B45号 模态逻辑（包括规范逻辑） 关键词：非单调模态逻辑;SW5系列;自反自认知推理;最小模型 PDF格式BibTeX公司 XML格式引用 \textit{E.I.Su}，莱克特。注释计算。科学。10377，85-100（2017；Zbl 1491.68210） 全文： 内政部