×

非单调推理的一阶平衡逻辑。 (英语) 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号].

MSC公司:

68T27型 人工智能中的逻辑
68N17号 逻辑编程
03B60号 其他非经典逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部