Abstract
We describe the key ideas of an approach to non-monotonic reasoning (HP-logic) involving an implicit notion of typicality. In this framework, the problem of irrelevant information is addressed and the deductive power and the reliability of the system are compared with those of the Circumscription approach to non-monotonic reasoning.
Preview
Unable to display preview. Download preview PDF.
References
S. Badaloni, A. Zanardo: A High Plausibility Logic for Reasoning with Incomplete Knowledge, submitted to the J. of Philosophical Logic for publication, 1991.
J. van Benthem: Essays in Logical Semantics, D. Reidel Publishing Company, Dordrecht, 1986.
J. Mc Carthy: Circumscription — a form of non-monotonic reasoning, Artificial Intelligence, 13:1–2, 1980, pp. 27–39.
J. Mc Carthy: Application of Circumscription to Formalize Common-sense Reasoning, Artificial Intelligence, 28, 1986, pp. 89–116.
J. Pearl: Probabilistic Semantics for Nonmonotonic Reasoning: a Survey, Proc. of the 1st Int. Conf. on Principles of Knowledge Representation and Reasoning, Toronto, Canada, 1989.
E. Reiter: Non monotonic Reasoning, Annual Review of Computer Science, Vol.2, 1987, pp.147–186.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Badaloni, S., Zanardo, A. (1991). Typicality for plausible reasoning. In: Ardizzone, E., Gaglio, S., Sorbello, F. (eds) Trends in Artificial Intelligence. AI*IA 1991. Lecture Notes in Computer Science, vol 549. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54712-6_264
Download citation
DOI: https://doi.org/10.1007/3-540-54712-6_264
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54712-9
Online ISBN: 978-3-540-46443-3
eBook Packages: Springer Book Archive