A Model-Theoretic Semantics for Defeasible Logic
计算机科学中的逻辑
2007-05-23 v1
摘要
Defeasible logic is an efficient logic for defeasible reasoning. It is defined through a proof theory and, until now, has had no model theory. In this paper a model-theoretic semantics is given for defeasible logic. The logic is sound and complete with respect to the semantics. We also briefly outline how this approach extends to a wide range of defeasible logics.
引用
@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/)