Representation theory for default logic
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.
KeywordsRepresentation Theory Propositional Atom Countable Family Default Theory Default Logic
Unable to display preview. Download preview PDF.
- P.A. Bonatti and T. Eiter, Querying disjunctive databases through nonmonotonic logics, in: Proceedings of the 5th International Conference on Database Theory — ICDT 95, Lecture Notes in Computer Science 893 (Springer, Berlin, 1995).Google Scholar
- P. Besnard, An Introduction to Default Logic (Springer, Berlin, 1989).Google Scholar
- G. Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Univ. Press, Cambridge, UK, 1991).Google Scholar
- P. Cholewiński, W. Marek, A. Mikitiuk and M. Truszczyński, Experimenting with nonmonotonic reasoning, in: Proceedings of the 12th International Conference on Logic Programming (MIT Press Cambridge, MA, 1995).Google Scholar
- D.W. Etherington, Reasoning with Incomplete Information (Pitman, London, 1988).Google Scholar
- A. Ferry, Topological characterizations for logic programming semantics, Doctoral dissertation, University of Michigan (1994).Google Scholar
- W. Marek and M. Truszczyński, Nonmonotonic Logics; Context-Dependent Reasoning (Springer, Berlin, 1993).Google Scholar
- R. Reiter, On closed world data bases, in: Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum Press, 1978) pp. 55–76.Google Scholar
- T. Schaub, On constrained default theories, in: Proceedings of the 11th European Conference on Artificial Intelligence, ECAI 92 (Wiley, 1992) pp. 304–308.Google Scholar