哈德森·特纳 因果理论的强等价性。 (英语) Zbl 1122.68629号 Lifschitz,Vladimir(编辑)等人,《逻辑编程和非单调推理》。第七届国际会议,LPNMR 2004,美国佛罗里达州劳德代尔堡,2004年1月6日至8日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20721-X/pbk)。计算机科学课堂讲稿2923。人工智能课堂讲稿,289-301(2004)。 摘要:强等价性是非单调形式主义的一个重要性质,允许对非单调理论进行安全的局部变换。本文考虑了麦凯恩和特纳提出的非单调因果理论的强等价性。因果理论(T{1})和(T{2})是强等价的,如果,对于每一个因果理论(T,T{1{cupT)和(T_{2}cup T)是等价的(即具有相同的因果模型)。本文介绍了用所谓的SE模型方便地描述这一特性的方法,这与以前对答案集程序和默认理论所做的方法非常相似。对于非单调模态逻辑UCL,也提供了类似的结果。本文还将两个因果理论的强等价判定问题简化为两组命题公式的等价判定问题。关于整个系列,请参见[兹比尔1120.68006]. 引用于9文件 MSC公司: 68T27型 人工智能中的逻辑 03B60号 其他非经典逻辑 软件:亚萨特 PDF格式BibTeX公司 XML格式引用 \textit{H.Turner},莱克特。票据计算。科学。2923289--301(2004;Zbl 1122.68629) 全文: 内政部