×

具有谨慎单调性的条件逻辑的最优表。 (英语) Zbl 1211.68413号

Coelho,Helder(编辑)等人,ECAI 2010。第19届欧洲人工智能会议,2010年8月16日至20日,葡萄牙里斯本。包括第六届著名的人工智能应用程序(PAIS-2010)。阿姆斯特丹:IOS出版社(ISBN 978-1-60750-605-8/pbk;978-1-60750-606-5/ebook)。《人工智能与应用前沿》215707-712(2010)。
概要:条件逻辑捕获模态框架中的默认蕴涵,在该框架中,非单调蕴涵是一级公民,特别是可以被否定和嵌套。文献中有很多条件的公理化,从只允许条件先行词等价交换的弱系统(如基本条件逻辑CK)到强系统(如伯吉斯系统(mathcal S)),后者强加了优先逻辑的全部Kraus-Lehmann-Magidor属性。虽然实现手头逻辑实际复杂性的tableaux系统最近已被开发用于几个弱系统,但强系统(尤其是析取消除或谨慎单调性)迄今未能实现这一目标;以前对于强系统的结果仅限于基于语义的决策过程和Hilbert-style公理化的完备性证明。这里,我们为条件逻辑中的几个强公理系统,包括系统\(\mathcal S\),提出了具有最佳复杂度的表系统PSPACE;系统(mathcal S)的产生决策过程在通用推理工具CoLoSS中实现。
关于整个系列,请参见[Zbl 1207.68003号].

MSC公司:

68T27型 人工智能中的逻辑
03B60号 其他非经典逻辑
05年3月 切割消除和正规形定理
20层03 证明的复杂性

软件:

CoLoSS公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部