Abstract
In Reiter's Default Logic (DL), semi-normal defaults are needed to give priorities to defaults to eliminate anomalous extensions. However, Morris' example with the same pattern of the Yale Shooting Problem has demonstrated that the use in DL of McCarthy's simple abnormality formalism with semi-normal default rules (henceforth called a simple abnormality default theory) still gives rise to an anomalous extension. In this paper, we present a modified version of DL called Prioritized Contextual Default Logic (PCtDL). In this logic a context is used to give priority to a default deriving another default's exception condition and therefore the non-normal part of the justification of a semi-normal default rule is treated differently from its normal part. PCtDL eliminates the possibility of anomalous extensions in both problems without however sacrificing the use of the simple abnormality theory. We also give some basic properties of PCtDL (like joint consistency) and present a possible worlds semantics, with respect to which it is shown to be sound and complete. In some ways, our result is akin to McCarthy's Prioritized Circumscription (although in the YSP other forms of circumscription were used to solve it, like Lifschitz's Pointwise Circumscription). Likewise, the preference criterion used in Brewka's Cumulative Default Logic (with filters), CDLF, albeit similar to ours, still results in an anomalous extension when applied to the aforementioned problems.
Preview
Unable to display preview. Download preview PDF.
References
G. Antoniou, G., E. Langetepe, V. Sperschneider: New proofs in default logic theory. 1993, Draft.
P. Besnard, T. Schaub: Possible worlds semantics for default logics. Fundamenta Informaticae. Forthcoming
P. Besnard, T. Schaub: A context-based framework for default logics. Proceedings of the AAAI-93, pp.406–411.
P. Besnard: An introduction to default logic. Springer Verlag 1989.
G. Brewka: Adding priorities and specificity to default logic. GMD report, Bonn 1993.
G. Brewka: Cumulative Default Logic — in defense of nonmonotonic inference rules. Artificial Intelligence 50 1991, pp. 183–205.
G. Brewka: Nonmonotonic Reasoning — Logical Foundations of Commonsense. Cambridge Tracts in Theoretical Computer Science 12, Cambridge University Press 1991.
J. P. Delgrande, T. Schaub: On using system Z to generate prioritized default logic. Proc. of Dutch / German Workshop on Nonmonotonic Reasoning Techniques and Their Applications, eds. Brewka, G and Witteveen, C. Aachen 1993.
J. P. Delgrande, W. K. Jackson: Default Logic revisited. Proc. Second International Conference on Principles of Knowledge Representation and Reasoning, Boston 1991.
J. Dix: Default Theories of Poole-Type and a Method for Constructing Cumulative Versions of Default Logic. Proceedings of ECAI92, ed. Bernd Neumann, John Wiley & Sons 1992. pp. 289–293.
D. W. Etherington: Reasoning with Incomplete Information, Pitman, London 1988.
D. M. Gabbay: Labelled Deductive Systems. 1st draft Sept 1989, 6th draft Feb 91. To appear as a book with OUP.
D. M. Gabbay: Theoretical Foundations for Nonmonotonic Reasoning in Expert Systems. Logics and Models of Concurrent Systems, Ed. by K. Apt, Springer-Verlag 1985, pp. 439–459.
M. T. Gordon: The Pleadings Game: Formalizing Procedural Justice 1993.
S. Hanks, D. McDermott: Nonmonotonic logic and temporal projection. Artificial Intelligence 33 1988 pp.379–412.
A. Hunter: A conceptualization of preferences in non-monotonic proof theory. In JELIA-92, Berlin, LNCS, Springer.
Lifschitz, V. Circumscription. Handbook of Logic in Artificial Intelligence, eds. Gabbay, D., Hogger, C. and Robinson, J. eds. Vol III. Oxford University Press 1994.
W. Lukasziewicz: Nonmonotonic Reasoning: formalization of commonsense reasoning. Ellis Horwood 1990.
W. Marek, M. Truszczynski: Nonmonotonic logic: context dependent reasoning. Springer Verlag 1993.
W. Marek, M. Truszczynski: Normal form results for default logics. Nonmonotonic and Inductive Logic, eds. Brewka, G., Jantke, K. P. and Schmitt, P. H., LNAI 659, Springer Verlag 1993, pp.153–174.
D. Makinson: General patterns in non-monotonic reasoning. Handbook of Logic in Artificial Intelligence, eds. Gabbay, D., Hogger, C. and Robinson, J. eds. Vol III. Oxford University Press 1994.
J. McCarthy: Applications of circumscription to formalizing commonsense knowledge. Artificial Intelligence 28, 1986, pp. 89–116.
Morris, P. H. The anomalous extension problem in default reasoning. Artificial Intelligence 35 1988, pp.383–399.
D. Nute: Basic Defeasible Logic. Intensional Logics for Programming, eds. Farinas del Cerro and Pentonnen, OUP 1991.
T. Pequeno, A.R.V. Buchsbaum: The Logic of Epistemic Inconsistency. Proc. KR 1991.
T. Pequeno: A Logic for Inconsistent Nonmonotonic Reasoning. Technical Report 90/6 Department of Computing, Imperial College, London 1990.
J. Pollock: Defeasible Reasoning. Cognitive Science 11 1987, pp. 481–518.
D. L. Poole: Default Logic. Handbook of Logic in Artificial Intelligence, eds. Gabbay, D., Hogger, C. and Robinson, J. eds. Vol III. Oxford University Press 1994.
D. L. Poole: What the lottery paradox tells us about default reasoning. Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR) 1989, pp.333–340.
D. L. Poole: A logical framework for default reasoning. Artificial Intelligence 36 1987, pp.27–47.
D. L. Poole: On the comparison of theories: preferring the most specific explanation. Proceedings of IJCAI 1985, Los Angeles, pp 144–147.
H. Prakken: Logical tools for modelling legal arguments, PhD thesis, VU Amsterdam 1993.
R. Reiter, G. Criscuolo: Some representational issues in default reasoning. J. Computers and Maths. with Appls. (Special issue on computational linguistics) 9, 1983, pp. 1–13.
R. Reiter: A logic for default reasoning. Artificial Intelligence 13, 1980, pp. 81–132.
T. Schaub: Considerations on default logics. Dissertation, TH Darmstadt 1992.
T. Schaub: On constrained default theories. Proceedings of ECAI92, ed. Bernd Neumann, John Wiley & Sons 1992, pp. 304–308.
G. Simari, R. Loui: A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence 53, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zaverucha, G. (1994). A prioritized Contextual Default Logic: Curing anomalous extensions with a simple abnormality default theory. In: Nebel, B., Dreschler-Fischer, L. (eds) KI-94: Advances in Artificial Intelligence. KI 1994. Lecture Notes in Computer Science, vol 861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58467-6_23
Download citation
DOI: https://doi.org/10.1007/3-540-58467-6_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58467-4
Online ISBN: 978-3-540-48979-5
eBook Packages: Springer Book Archive