Skip to main content
SpringerLink
Log in

Syntax and semantics of a monotonic framework for non-monotonic reasoning

  • Contributions
  • Conference paper
  • First Online:
Book cover Mathematical Foundations of Computer Science 1991 (MFCS 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 520))

  • 138 Accesses

Abstract

We present the proof theory and the model theory of a montonic framework for default reasoning, and we extend logic programming techniques to this framework. Standard formalizations of default reasoning do not syntactically separate between hard knowledge and conjectural knowledge. Such a separation is fundamental in our framework. To illustrate our approach, we show how it solves the Yale Shooting problem.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Haugh B. Simple causal minimizations for temporal persistence and projection, Proc. AAAI-87, (1987), pp. 218–223

    Google Scholar 

  2. Lakatos I. Falsification and the methodology of scientific research programmes, in Problems in the Philosophy of Science, Lakatos and Musgrave (eds.), North Holland, Amsterdam (1970), pp. 91–196

    Google Scholar 

  3. Nait Abdallah M. A. Procedures in logic programming, Springer LNCS 225 (1986), pp. 433–447

    Google Scholar 

  4. Nait Abdallah M. A. Ions and local definitions in logic programming, Springer LNCS 210 (1986), pp. 60–72

    Google Scholar 

  5. Nait Abdallah M. A. AL-KHOWARIZMI: A formal system for higher order logic programming, Springer LNCS 233 (1986), pp. 545–553

    Google Scholar 

  6. Nait Abdallah M. A. Logic programming with ions, Springer LNCS 267 (1987), pp. 11–20

    Google Scholar 

  7. Nait Abdallah M. A. An extended framework for default reasoning, Springer LNCS 380 (1989), pp. 339–348

    Google Scholar 

  8. Nait Abdallah M. A. A logico-algebraic approach to the model theory of knowledge, Theoretical Computer Science (1989)

    Google Scholar 

  9. Nait Abdallah M. A. Default ionic logic: A continuous framework for reasoning with partial information (in preparation)

    Google Scholar 

  10. Nait Abdallah M. A. Kernel knowledge versus belt knowledge in default reasoning: a logical approach, Proceedings of the Second International Conference on Computing and Information, Carleton, Canada, (May 1991)

    Google Scholar 

  11. Quine W.V.O. The problem of interpreting modal logic, Journal of Symbolic Logic, (1947).

    Google Scholar 

  12. Reiter R. A logic for default reasoning, Artificial Intelligence 13, (1980), pp. 81–132

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Western Ontario, London, Ontario, Canada

    M. A. Nait Abdallah

Authors
  1. M. A. Nait Abdallah
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrzej Tarlecki

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Abdallah, M.A.N. (1991). Syntax and semantics of a monotonic framework for non-monotonic reasoning. In: Tarlecki, A. (eds) Mathematical Foundations of Computer Science 1991. MFCS 1991. Lecture Notes in Computer Science, vol 520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54345-7_79

Download citation

  • DOI: https://doi.org/10.1007/3-540-54345-7_79

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54345-9

  • Online ISBN: 978-3-540-47579-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation