Abstract
A. Tarski [22] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations is inspired by the results of [12] on nonmonotonic inference relations, and relies on some of the definitions found there.
Similar content being viewed by others
References
Jürgen Dix andDavid Makinson,The relationship between klm andmak models for nonmonotonic inference operations,Journal of Logic, Language and Information 1(2) 1992, pp. 131–140.
Michael Freund,Supracompact inference operations, In J. Dix, K. P. Jantke, and P.H. Schmitt, editors,Nonmonotonic andInductive Logic, First International Workshop, Karlsruhe, Germany, pp. 59 – 73. Springer Verlag, December 1990. Lecture Notes in Artificial Intelligence, Vol. 543.
Michael Freund,Supracompact inference operations Studia Logica 52 (1993), pp. 457–481.
Michael Freund andDaniel Lehmann,Deductive inference operations In J. van Eijck, editor,Proceedings of JELIA 1990 European Workshop on Logical Methods in Artificial Intelligence Lecture Notes in AI Vol. 478 pp. 227–233, Amsterdam, the Netherlands, September 1990, Springer Verlag.
Michael Freund andDaniel Lehmann,Nonmonotonic inference operations Bulletin of the IGPL 1(1), pp. 23–68, July 1993.
Michael Freund, Daniel Lehmann andDavid Makinson,Canonical extensions to the infinite case of finitary nonmonotonic inference operations, InWorkshop on Nomonotonic Reasoning, pp. 133 – 138, Sankt Augustin, FRG, December 1989. Arbeitspapiere der GMD no. 443.
Michael Freund, Daniel Lehmann andPaul Morris,Rationality, transitivity, and contraposition, Artificial Intelligence, 52(2), pp. 191 – 203, December 1991. Research Note.
Dov M. Gabbay,Theoretical foundations for non-monotonic reasoning in expert systems In Krzysztof R. Apt, editor,Proc. of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems pp. 439–457, La Colle-sur-Loup, France, October 1985. Springer-Verlag.
Gerhard Gentzen,The Collected Papers of Gerhard Gentzen edited by M. E. Szabo, North Holland, Amsterdam, 1969.
Matthew L. Ginsberg,Counterfactuals Artificial Intelligence 30, pp. 35–79, 1986.
George Grätzer,Lattice Theory W. H. Freeman, San Francisco, 1971.
Sarit Kraus, Daniel Lehmann andMenachem Magidor,Nonmonotonic reasoning, preferential models and cumulative logics Artifical Intelligence 44(1 – 2), pp. 167–207, July 1990.
Daniel Lehmann,What does a conditional knowledge base entail? In Ron Brachman and Hector Levesque, editors,Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning Toronto, Canada, May 1989. Morgan Kaufmann.
Daniel Lehmann,Plausibility logic In Egon Boerger, Gerhard Jäger, Hans Kleine Buening, and Michael M. Richter, editors,Proceedings of Computer Science Logic '91 volume 626, pp. 227–241, Berne, Swutzerland, October 1991. Lecture Notes in Computer Science, Springer Verlag.
Daniel Lehmann andMenachem Magidor,Preferential logics: the predicate calculus case In Rohit Parikh, editor,Proceedings of the Third Conference on Theoretical Aspects of Reasoning About Knowledge pp. 57–72, Monterey, California, March 1990. Morgan Kaufmann.
Daniel Lehmann andMenachem Magidor,What does a conditional knowledge base entail? Artificial Intelligence 55(1), pp. 1–60, May 1992.
David Makinson,General theory of cumulative inference In M. Reinfrank, J. de Kleer, M. L. Ginsberg, and E. Sandewall, editors,Proceedings of the Second International Workshop on Non-Monotonic Reasoning pp. 1–18, Grassau, Germany, June 1988. Springer Verlag. Volume 346, Lecture Notes in Artificial Intelligence.
David Makinson,General patterns in nonmonotonic reasoning, In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors,Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 2, Nonmonotonic and Uncertain Reasoning, Oxford University Press, due 1993. in preparation.
David Poole,A logical framework for default reasoning Artificial Intelligence 36, pp. 27–47, 1988.
Karl Schlechta,Results on infinite extensions Journal of Applied Non-Classical Logics 1(1) 1991, pp. 65–72.
Karl Schlechta,Some results on classical preferential models, Journal of Logic and Computation, 2(6), 1992, in print.
Alfred Tarski,Logic, Semantics, Metamathematics. Papers from 1923 – 1938 Clarendon Press, Oxford 1956.
Author information
Authors and Affiliations
Additional information
This work was partially supported by a grant from the Basic Research Foundation, Israel Academy of Sciences and Humanities and by the Jean and Helene Alfassa fund for research in Artificial Intelligence. Its final write-up was performed while the second author visited the Laboratoire d'Informatique Théorique et de Programmation, Université Paris 6.
Rights and permissions
About this article
Cite this article
Freund, M., Lehmann, D. Nonmonotonic reasoning: from finitary relations to infinitary inference operations. Stud Logica 53, 161–201 (1994). https://doi.org/10.1007/BF01054708
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01054708