Abstract
Default logic is a prominent rigorous method for reasoning with incomplete information based on assumptions. It is a static reasoning approach, in the sense that it doesn’t reason about changes and their consequences. On the other hand, its nonmonotonic behaviour appears when changes to a default theory are made.
This paper studies the dynamic behaviour of default logic in the face of changes. We consider the operations of contraction and revision, present several solutions to these problems, and study their properties.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
C.E. Alchourron, P. Gardenfors and D. Makinson. On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50 (1985), 510–530.
G. Antoniou. Nonmonotonic Reasoning. MIT Press 1997.
G. Antoniou. The role of nonmonotonic representations in requirements engineering. International Journal of Software Engineering and Knowledge Engineering, 1998 (in press).
D.E. Cooke and Luqi. Logic Programming and Software Maintenance. Annals of Mathematics and Artificial Intelligence 21 (1997): 221–229.
J.P. Delgrande, T. Schaub and W.K. Jackson. Alternative approaches to default logic. Artificial Intelligence 70(1994): 167–237.
S. Easterbrook and B. Nuseibeh. Inconsistency Management in an Evolving Specification. In Proc.2nd International Symposium on Requirements Engineering, IEEE Press 1995, 48–55.
P. Gardenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press 1988.
A. Ghose and R. Goebel. Belief states as default theories: Studies in nonprioritized belief change. In Proc.ECAI’98.
A. Hunter and B. Nuseibeh. Analysing Inconsistent Specifications. In Proc.Thir d International Symposium on Requirements Engineering, IEEE Press 1997.
W. Lukaszewicz. Considerations on Default Logic. Computational Intelligence 41988: 1–16.
Luqi and D.E. Cooke. ”How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. International Journal on Software Engineering and Knowledge Engineering 5,1 (1995): 89–118.
V. Marek and M. Truszczynski. Nonmonotonic Logic, Springer 1993.
D. Poole. A Logical Framework for Default Reasoning. Artificial Intelligence 36 (1988): 27–47.
R. Reiter. A logic for default reasoning. Artificial Intelligence 13(1980): 81–132.
M.A. Williams. Iterated Theory Base Change: A Computational Model. In Proc. 14th International Joint Conference on Artificial Intelligence, 1541–1550, Morgan Kaufmann 1995.
M.A. Williams and G. Antoniou. A Strategy for Revising Default Theory Extensions. in Proc.6th International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann 1998 (in press).
D. Zowghi and R. Offen. A Logical Framework for Modeling and Reasoning about the Evolution of Requirements. In Proc.Thir d International Symposium on Requirements Engineering, IEEE Press 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Antoniou, G. (1999). On the Dynamics of Default Reasoning. In: Hunter, A., Parsons, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1999. Lecture Notes in Computer Science(), vol 1638. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48747-6_1
Download citation
DOI: https://doi.org/10.1007/3-540-48747-6_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66131-3
Online ISBN: 978-3-540-48747-0
eBook Packages: Springer Book Archive