Logic Programming with Default, Weak and Strict Negations
计算机科学中的逻辑
2007-05-23 v1
摘要
This paper treats logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.
引用
@article{arxiv.cs/0511041,
title = {Logic Programming with Default, Weak and Strict Negations},
author = {Susumu Yamasaki},
journal= {arXiv preprint arXiv:cs/0511041},
year = {2007}
}
备注
14 pages, to appear in Theory and Practice of Logic Programming (TPLP)