Inscription — A rule of conjecture

  • Carlos Pinto-Ferreira
  • João Pavão Martins
Non-Standard Logics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 390)


Conjectural reasoning, introduced by McCarthy's circumscription is one of the most important non standard methods of inference. It allows the generation of plausible conclusions, plausibility being defined on the basis of a minimization criterion.

Inscription — a dual of circumscription — is another method for “jumping to conclusions” based on a maximization criterion suitable for inductive reasoning.

Examples of circumscription and inscription and an application of inscription to inductive reasoning are presented.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    McCarthy J., “Circumscription — A form of non-monotonic reasoning”, Artificial Intelligence 13, pp. 27–39, 1980.Google Scholar
  2. [2]
    McCarthy J., “Applications of Circumscription to Formalizing Common-sense knowledge”, Artificial Intelligence 28, pp. 89–116, 1986.Google Scholar
  3. [3]
    Hanks S. e McDermott D., “Default reasoning, nonmonotonic logics, and the frame problem”, Proceedings of the Fifth National Conference on Artificial Intelligence, pp. 328–333, 1986.Google Scholar
  4. [4]
    Genesereth M.J. and Nilsson N.J., Logical Foundations of Artificial Intelligence, Los Altos, CA: Morgan Kaufmann, 1987.Google Scholar
  5. [5]
    Shoham Y., “Nonmonotonic Logics: Meaning and Utility”, Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pp. 388–392, Milan, Italy, 1987.Google Scholar
  6. [6]
    Besnard P. and Siegel P., “The Preferential-Models Approach to Non-Monotonic Logics”, Non-Standard Logics for Automated Reasoning, Ed. Smets, Mamdani, Dubois, and Prad. New York: Academic Press, pp. 137–161, 1988.Google Scholar
  7. [7]
    Reiter R., “On Closed World Databases”, Logic and Databases. Ed H. Gallaire and J. Minker, pp 55–76. New York: Plenum Press, 1978.Google Scholar
  8. [8]
    Bossu G., and Siegel P., “Saturation, Non Monotonic Reasoning, and The Closed World Assumption”, Artificial Intelligence 25, pp. 13–63, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Carlos Pinto-Ferreira
    • 1
  • João Pavão Martins
    • 1
  1. 1.Instituto Superior TécnicoTechnical University of LisbonLisboaPortugal

Personalised recommendations