The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Reasoning about termination of pure Prolog programs
Information and Computation
Foundations of Logic Programming
Foundations of Logic Programming
Neural-Symbolic Learning System: Foundations and Applications
Neural-Symbolic Learning System: Foundations and Applications
Characterizations of Classes of Programs by Three-Valued Operators
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Logic Programs and Many-Valued Logic
STACS '84 Proceedings of the Symposium of Theoretical Aspects of Computer Science
The Well-Founded Semantics Is a Stratified Fitting Semantics
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
A three-valued semantics for logic programmers
Theory and Practice of Logic Programming
Connectionist model generation: A first-order approach
Neurocomputing
The core method: connectionist model generation
ICANN'06 Proceedings of the 16th international conference on Artificial Neural Networks - Volume Part II
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Hi-index | 0.00 |
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate consequence operator is used. However, in such a logic the least fixed point of the Fitting operator is not necessarily a model for the program under consideration. Moreover, the model intersection property does not hold. In this paper, we consider the three-valued ***ukasiewicz semantics and show that fixed points of the Fitting operator are also models for the program under consideration and that the model intersection property holds. Moreover, we review a slightly different immediate consequence operator first introduced by Stenning and van Lambalgen and relate it to the Fitting operator under ***ukasiewicz semantics. Some examples are discussed to support the claim that ***ukasiewicz semantics and the Stenning and van Lambalgen operator is better suited to model commonsense and human reasoning.