将缺省逻辑嵌入命题论证系统
人工智能
2007-05-23 v1
摘要
本文提出了一种将有限命题缺省理论转换为所谓的命题论证系统的变换。这种变换允许在论证系统的框架内刻画Reiter缺省逻辑的所有概念。因此，计算扩展，或确定给定公式是否属于某个扩展或所有扩展，都可以在不脱离经典命题逻辑领域的情况下得到回答。所提出的变换在缺省数量上是线性的。
引用
@article{arxiv.cs/0207065,
title = {Embedding Default Logic in Propositional Argumentation Systems},
author = {Dritan Berzati and Bernhard Anrig and Juerg Kohlas},
journal= {arXiv preprint arXiv:cs/0207065},
year = {2007}
}
备注
9 pages