关于默认逻辑的模型论语义
计算机科学中的逻辑
2007-05-23 v1
摘要
默认逻辑是一种高效的默认推理逻辑。它通过一种证明理论定义，直到现在为止尚未拥有模型论。本文给出默认逻辑的模型论语义。该逻辑相对于该语义是 sound 且 complete 的。我们简要概述了这一方法如何扩展到广泛的默认逻辑。
引用
@article{arxiv.cs/0207086,
title = {A Model-Theoretic Semantics for Defeasible Logic},
author = {Michael J. Maher},
journal= {arXiv preprint arXiv:cs/0207086},
year = {2007}
}
备注
14 pages. Originally published in proc. PCL 2002, a FLoC workshop; eds. Hendrik Decker, Dina Goldin, Jorgen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/)