Journal of Automated Reasoning

, Volume 14, Issue 3, pp 353–381 | Cite as

Logic, topology, and integration

  • Karl Schlechta
Article

Abstract

The central notion presented is that of closeness of (or difference between) two theories. In the first part, we give intuitive arguments in favor of considering topologies on the set of theories, continuous logics, and the average difference between two logics (i.e., the integral of their difference). We argue for the importance of the difference between theories in a wide range of applications and problems. In the second part, we give some basic definitions and results for one such type of topology. In particular, separation properties and compactness are discussed and examples given. The techniques employed for constructing the topology are also used for defining a σ-algebra of measurable sets on the set of theories, leading to the usual definition of the Lebesgue integral and a precise definition of the average difference of two logics.

Key words

logic topology 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Birnbaum, L.: Rigor mortis,Artificial Intelligence 47 (1991), 57–77.Google Scholar
  2. Dalal, M.: Investigations into a Theory of Knowledge Base Revisions: Preliminary Report,Proc. 7th Nat. Conf. AI, Minneapolis, 1988, pp. 475–479.Google Scholar
  3. Engelking, R.:General Topology, Warsaw, 1977.Google Scholar
  4. Halmos, P.:Measure Theory, New York, 1950.Google Scholar
  5. Jech, T.:Set Theory, Academic Press, New York, 1978.Google Scholar
  6. Kelley, J. L.:General Topology, Springer, Berlin, 1975.Google Scholar
  7. Kraus, S., Lehmann, D., and Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics,Artificial Intelligence 44(1–2) (1990), 167–207.Google Scholar
  8. Lehmann, D. and Magidor, M.: What does a conditional knowledge base entail?,Artificial Intelligence 55(1) (1992), 1–60.Google Scholar
  9. Michalski, R. S. and Winston, P. H.: Variable precision logics,Artificial Intelligence 29 (1986), 121–146.Google Scholar
  10. Nilsson, N. J.: Logic and artificial intelligence,Artificial Intelligence 47 (1991), 31–56.Google Scholar
  11. Schlechta, K.: Some results on classical preferential models,J. Logic and Computation 2(6) (1992), 675–686.Google Scholar

Copyright information

© Kluwer Academic Publishers 1995

Authors and Affiliations

  • Karl Schlechta
    • 1
  1. 1.Laboratoire d'Informatique de Marseille, URA CNRS 1787Université de ProvenceMarseille Cedex 3France

Personalised recommendations