大卫·皮尔斯;阿古斯丁,巴尔韦德 非单调推理的一阶平衡逻辑。 (英语) Zbl 1111.68687号 Alferes,JoséJülio(编辑)等人,《人工智能中的逻辑》。第九届欧洲会议,JELIA 2004,葡萄牙里斯本,2004年9月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23242-7/pbk)。计算机科学课堂讲稿3229。人工智能课堂讲稿,147-160(2004)。 摘要:平衡逻辑,介绍于[D.皮尔斯,“稳定模型和答案集的新逻辑特征”,Lect。注释计算。科学。1216,57–70(1997)]是逻辑程序答案集语义到命题逻辑完整语言的保守扩展。在本文中,我们开始研究平衡逻辑的一阶变量。特别是,我们关注的是量化版本{问}_5\)这里那里的命题多值逻辑(mathbf N_5)具有强否定性,并通过最小模型构造定义了均衡条件。我们验证了\(mathbf)的Skolem形式和Herbrand定理{问}_5\)并表明,与命题对应物一样,均衡逻辑的量化版本也保守地扩展了答案集语义。关于整个系列,请参见[Zbl 1056.68002号]. 引用于1审查引用于10文件 MSC公司: 68T27型 人工智能中的逻辑 68N17号 逻辑编程 03B60号 其他非经典逻辑 PDF格式BibTeX公司 XML格式引用 \textit{D.Pearce}和\textit{A.Valverde},Lect。注释计算。科学。3229147-160(2004年;Zbl 1111.68687) 全文: 内政部