Abstract
We propose a methodology for defining nonmonotonic inference relations, involving distances (in a non-topological meaning) between ”labels”, each label being associated with a logical theory. Our framework is motivated by applications to spatial reasoning (reasoning by proximity) and taxonomic reasoning, though it also applies to temporal reasoning (degradation of persistence). We propose several ways of defining nonmonotonic inference relations from distances.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang and Henri Prade, Inconsistency management and prioritized syntax-based entailment, Proceedings of IJCAI'93, 640–645.
Craig Boutilier, Conditional logics for default reasoning, PhD thesis, University of Toronto, 1992.
Gerd Brewka, Preferred subtheories: an extended logical framework for default reasoning, Proceedings of IJCAI'89, 1043–1048.
Gabriella Crocco and Philippe Lamarre, On the connection between nonmonotonic inference relations and conditional logics, Proceedings of KR'92, 565–571.
Thomas Dean and Keiji Kanazawa, A model for reasoning about persistence and causation, Computational Intelligence, 5(3): 142–150.
Dimiter Driankov and Jérôme Lang, Possibilistic decreasing persistence, Proceedings of Uncertainty in AI'93, 469–476.
Didier Dubois and Henri Prade, Epistemic entrenchment and possibilistic logic. Artificial Intelligence 50:223–239, 1991.
Luis Fariñas del Cerro, Andreas Herzig and Jérôme Lang, From ordering-based nonmonotonic reasoning to conditional logics, Artificial Intelligence 66, 375–303, 1994.
Dov Gabbay, Labelled Deductive Systems, Technical Report, Centrum für Informations und Sprachverarbeitung, Universität München.
Peter Gärdenfors and David Makinson, Revision of knowledge systems using epistemic entrenchment, Proceedings of TARK'88.
Peter Gärdenfors and David Makinson, Nonmonotonic reasoning based on expectations, Artificial Intelligence.
Georg Gottlob, Complexity results for nonmonotonic logics, Journal of Logic and Computation 2 (3), 397–425, 1992.
Hans Werner Guesguen and Joachim Hertzberg, Spatial persistence, Proceedings of the Ijcai Workshop on Temporal and Spatial Reasoning (Chambéry, 1993), 11–34.
Sarit Kraus, Daniel Lehmann and Menahem Magidor, Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44 (1990), 167–207.
Daniel Lehmann and Menahem Magidor, What does a conditional knowledge base entail?, Artificial Intelligence 55 (1992), 1–60.
Daniel Lehmann, Another perspective on default reasoning, Technical Report 92–12, Hebrew University of Jerusalem, 1992.
Bernhard Nebel, Belief revision and default reasoning: syntax-based approaches, Proceedings of KR'91, 417–428.
Judea Pearl, System Z: a natural ordering of defaults with tractable applications to default reasoning, Proceedings of TARK'90, 121–135.
Erik Sandewall, Features and fluents: a systematic approach to the representation of knowledge about dynamical systems, Technical Report LiTH-IDA-R-92-30, Dept of Computer and Information Science, Linköping University, 1992.
Yoav Shoham, Chronological ignorance: experiments in nonmonotonic temporal reasoning, Artificial Intelligence 36 (1988), pp. 279–331.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Asher, N., Lang, J. (1994). When nonmonotonicity comes from distances. In: Nebel, B., Dreschler-Fischer, L. (eds) KI-94: Advances in Artificial Intelligence. KI 1994. Lecture Notes in Computer Science, vol 861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58467-6_27
Download citation
DOI: https://doi.org/10.1007/3-540-58467-6_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58467-4
Online ISBN: 978-3-540-48979-5
eBook Packages: Springer Book Archive