Skip to main content
SpringerLink
Log in

On the Dynamics of Default Reasoning

  • Conference paper
  • First Online:
Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 1999)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1638))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Article  MATH  MathSciNet  Google Scholar 

  2. G. Antoniou. Nonmonotonic Reasoning. MIT Press 1997.

    Google Scholar 

  3. G. Antoniou. The role of nonmonotonic representations in requirements engineering. International Journal of Software Engineering and Knowledge Engineering, 1998 (in press).

    Google Scholar 

  4. D.E. Cooke and Luqi. Logic Programming and Software Maintenance. Annals of Mathematics and Artificial Intelligence 21 (1997): 221–229.

    Article  MATH  Google Scholar 

  5. J.P. Delgrande, T. Schaub and W.K. Jackson. Alternative approaches to default logic. Artificial Intelligence 70(1994): 167–237.

    Article  MATH  MathSciNet  Google Scholar 

  6. S. Easterbrook and B. Nuseibeh. Inconsistency Management in an Evolving Specification. In Proc.2nd International Symposium on Requirements Engineering, IEEE Press 1995, 48–55.

    Google Scholar 

  7. P. Gardenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press 1988.

    Google Scholar 

  8. A. Ghose and R. Goebel. Belief states as default theories: Studies in nonprioritized belief change. In Proc.ECAI’98.

    Google Scholar 

  9. A. Hunter and B. Nuseibeh. Analysing Inconsistent Specifications. In Proc.Thir d International Symposium on Requirements Engineering, IEEE Press 1997.

    Google Scholar 

  10. W. Lukaszewicz. Considerations on Default Logic. Computational Intelligence 41988: 1–16.

    Article  MathSciNet  Google Scholar 

  11. 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.

    Article  Google Scholar 

  12. V. Marek and M. Truszczynski. Nonmonotonic Logic, Springer 1993.

    Google Scholar 

  13. D. Poole. A Logical Framework for Default Reasoning. Artificial Intelligence 36 (1988): 27–47.

    Article  MATH  MathSciNet  Google Scholar 

  14. R. Reiter. A logic for default reasoning. Artificial Intelligence 13(1980): 81–132.

    Article  MATH  MathSciNet  Google Scholar 

  15. M.A. Williams. Iterated Theory Base Change: A Computational Model. In Proc. 14th International Joint Conference on Artificial Intelligence, 1541–1550, Morgan Kaufmann 1995.

    Google Scholar 

  16. 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).

    Google Scholar 

  17. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Griffith University, QLD 4111, Australia

    Grigoris Antoniou

  2. University of Macedonia, Thessaloniki, Greece

    Grigoris Antoniou

Authors
  1. Grigoris Antoniou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University College London, Gower Street, WC1E 6BT, London, UK

    Anthony Hunter

  2. Department of Electronic Engineering, University of London, Queen Mary and Westfield College, E1 4NS, London, UK

    Simon Parsons

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation