Foundations of logic programming
Foundations of logic programming
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
The mathematics of inheritance systems
The mathematics of inheritance systems
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Generality in artificial intelligence
Communications of the ACM
Readings in nonmonotonic reasoning
A logical framework for default reasoning
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
The semantics of multicontext interaction: an approach to reasoning with defaults
The semantics of multicontext interaction: an approach to reasoning with defaults
Evaluating responses containing both correct and incorrect information
MATH'08 Proceedings of the 13th WSEAS international conference on Applied mathematics
| Hi-index | 0.00 |
A semantic framework for nonmonotonic reasoning is developed. Specifically, a reliability measure theory based on multivalued logics that view a knowledge base as a set of contexts is proposed, and the contexts are compared according to some reliability measure. The proposed theory shows higher precision of nonmonotonic reasoning than other approaches. In particular, the qualification problem does not occur and many unwanted conflicts are eliminated.