Bilattices and the semantics of logic programming
Journal of Logic Programming
Journal of the ACM (JACM)
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
A survey of paraconsistent semantics for logic programs
Handbook of defeasible reasoning and uncertainty management systems
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Knowledge Representation with Logic Programs
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Induction from answer sets in nonmonotonic logic programs
ACM Transactions on Computational Logic (TOCL)
Learning extended logic programs
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Generality and equivalence relations in default logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Application of default logic in an intelligent tutoring system
NBiS'07 Proceedings of the 1st international conference on Network-based information systems
Non-classical logic in an intelligent assessment sub-system
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part I
Exploring relations between answer set programs
Logic programming, knowledge representation, and nonmonotonic reasoning
Generality relations in answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Hi-index | 5.23 |
First-order theories are ordered under logical entailment based on the amount of information derived from theories. In default logic, on the other hand, a theory contains default information as well as definite information. To order default theories, distinguishing different sorts of information is necessary to assess the information content of a default theory. For this purpose, we first introduce a multi-valued interpretation of default theories using a ten-valued bilattice. It distinguishes between definite and credulous/skeptical default information derived from a theory, and is used for ordering default theories based on their information contents. We then apply the technique to order nonmonotonic logic programs under the answer set semantics. The results of this paper provide a method for comparing default theories or nonmonotonic logic programs in a manner different from the conventional extension/model-based viewpoint. Moreover, they have important application to induction from nonmonotonic theories.