Skip to main content
SpringerLink
Log in
Book cover

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

ECSQARU 1993: Symbolic and Quantitative Approaches to Reasoning and Uncertainty pp 105–112Cite as

Interference logic = conditional logic + frame axiom

  • Conference paper
  • First Online:

  • 136 Accesses

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

Abstract

We investigate the notion of interference between formulas as a basis for change operations. Such a notion permits us to enrich conditional logics with a frame axiom. This new logic allows us to solve in a natural way some of the problems appearing in the model based approach to change.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. E. Alchourron, P. Gärdenfors and D. Makinson. On the Logic of Theory Change: Partial Meet Contractions and Revision Functions. J. Symb. Logic 50.2. pp 510–530, 1985.

    Google Scholar 

  2. B.F. Chellas. Basic conditional logic. J. of Philos. Logic, 4, 1975, pp 133–53.

    Google Scholar 

  3. Demolombe Jones 1992 A logic for reasoning about “is about”.Report, ONERA-CERT, Toulouse, 1992.

    Google Scholar 

  4. Th. Eiter, G. Gottlob, On the complexity of propositional knowledge base revision, updates, and counterfactuals. Journal of AI 57 (1992), pp. 227–270.

    Google Scholar 

  5. R. Epstein, The semantics of Logic. Vol. 1: Propositional logics. Kluwer Academic Publishers, 1990.

    Google Scholar 

  6. L. Fariñas del Cerro, A. Herzig, J. Lang. Ordering-based nonmonotonic reasoning. Journal of AI., to appear.

    Google Scholar 

  7. L. Fariñas del Cerro, A. Herzig. Revisions, updates and interference. In: Logic, Acion and Information, eds. A. Fuhrmann, H. Rott, DeGruyter (Berlin-New York). to appear in 1993.

    Google Scholar 

  8. L. Fariñas del Cerro, V. Lugardon. Sequents for Dependence Logics. Logique et Analyse, to appear.

    Google Scholar 

  9. T. Fine, Theories of probability. Academic Press, 1973.

    Google Scholar 

  10. P. Gärdenfors. Knowlege in Flux. MIT Press, 1988.

    Google Scholar 

  11. P. Gärdenfors, On the Logic of Relevance. Synthese 37, 1978, pp 351–367.

    Google Scholar 

  12. G. Grahne. Updates and Contrafactuals. Principles of Knowlege Representation and Reasoning. Morgan and Kaufmann, 1991.

    Google Scholar 

  13. H. Katsuno and A. O. Mendelzon. Propositional knowledge base revision and minimal change. J. of AI 52, 263–294, 1991.

    Google Scholar 

  14. A. Kolmogorov, Foundations of the Theory of Probability. Bronx, New York:Chelsea, 1956.

    Google Scholar 

  15. Léa Sombé, Révision de bases de connaissances. Actes des 4èmes Journées Nationales du PRC IA, Marseille, Oct. 1992. Teknea, Toulouse, 1992.

    Google Scholar 

  16. D. K. Lewis. Counterfactuals. Blackwell, Oxford, 1973.

    Google Scholar 

  17. V. Lifschitz, Formal Theories of Action. The Frame Problem in Artificial Intelligence: Proc. of the 1987 Workshop, Morgan Kaufmann, 1987

    Google Scholar 

  18. M. Winslett. Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Applied Logic Group, I.R.I.T., Université Paul Sabatier, 118 Route de Narbonne, 31062, Toulouse Cedex, France

    L. Fariñas del Cerro & A. Herzig

Authors
  1. L. Fariñas del Cerro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Herzig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Clarke Rudolf Kruse Serafín Moral

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fariñas del Cerro, L., Herzig, A. (1993). Interference logic = conditional logic + frame axiom. In: Clarke, M., Kruse, R., Moral, S. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1993. Lecture Notes in Computer Science, vol 747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028189

Download citation

  • DOI: https://doi.org/10.1007/BFb0028189

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57395-1

  • Online ISBN: 978-3-540-48130-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation