Nonmonotonic reasoning: logical foundations of common sense
Nonmonotonic reasoning: logical foundations of common sense
On constrained default theories
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Topological characterizations for logic programming semantics
Topological characterizations for logic programming semantics
Introduction to Default Logic
Reasoning with Incomplete Information
Reasoning with Incomplete Information
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Querying Disjunctive Database Through Nonmonotonic Logics
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Constraints on extensions on a default theory
Journal of Computer Science and Technology
Nonmonotonic reasoning with multiple belief sets
Annals of Mathematics and Artificial Intelligence
On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence
Analysis of multi-interpretable ecological monitoring information
Applications of Uncertainty Formalisms
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Equivalence in abductive logic
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Knowledge-Based Systems
| Hi-index | 0.01 |
Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning agent. As such, it is inherently second‐order. In this paper, we study the problem of representability of a family of theories as the set of extensions of a default theory. We give a complete solution to the problem of representability by means of default theories with finite set of defaults, and by means of normal default theories. We obtain partial results on representability by arbitrary (infinite, non‐normal) default theories. We construct examples of denumerable families of non‐including theories that are not representable. We also study the concept of equivalence between default theories.