Abstract
In this paper, we use the Stalnaker-Lewis semantics for conditional logic to construct a truth conditional semantics for generic sentences. The resulting notion of logical entailment captures intuitively valid argument forms involving generics. A dynamic semantics is built on top of the truth conditional one, and the resulting inference notion captures nonmonotonic argument patterns familiar from the artificial intelligence literature. The theory developed here extends that of Asher and Morreau (1991). That theory enables specific information to prevail over more general information by using techniques familiar from prioritized circumscription; this theory uses a constraint on modal frames to achieve the same effect.
We would like to thank Michel Bras, Greg Carlson, Peter Gardenfors, Matt Ginsberg, Jeff Horty, Bob Stalnaker, Rich Thomason, and Frank Veltman for helpful conversations. This reasearch was supported by the ESPRIT Basic Research Action 3175, DYANA, and by Sonderforschungsbereich 340.
Preview
Unable to display preview. Download preview PDF.
References
Asher N., and Morreau, M. (1991): "What Some Generics Mean," in Carlson, G., and Pelletier, F. J. eds., The Generic Book, University of Chicago Press.
Carlson, G. (1977): Reference to Kinds in English, Ph.D. dissertation, University of Massachussetts, Amherst.
Delgrande, J. (1987): "A Semantics for Defaults Using Conditional Logic" Artificial Intelligence.
Heim I. (1982): The Semantics of Definite and Indefinite Noun Phrases, Ph.D. dissertation, University of Massachussetts, Amherst.
Horty, J., Thomason, R., Touretsky, D. (1987): "A Skeptical Theory of Inheritance in Non-Monotonic Nets," CMU Tech Report CMU-CS-87-175.
Kratzer, A. (1981): ‘The Notional Category of Modality', in Eikmayer, H.J., & Rieser, H. eds. Words, Worlds and Contexts: New Approaches to Word Semantics, Berlin De Gruyter.
Lewis, D. (1973): Counterfactuals, Basil Blackwell.
McCarthy, J. (1980): "Circumscription— A Form of Non-Monotonic Reasoning," Artificial Intelligence 13, pp.27–39.
Reiter, R. (1980): "A Logic for Default Reasoning," Artificial Intelligence 13 (1980, pp.81–132.
Stalnaker, R. (1968): ‘A Theory of Conditionals', in Rescher, N., ed. Studies in Logical Theory, Basil Blackwell, Oxford.
Veltman, F. (1989): "Defaults in Update Semantics," DYANA deliverable 2.5.a
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Asher, N., Morreau, M. (1991). Commonsense entailment: A modal theory of nonmonotonic reasoning. In: van Eijck, J. (eds) Logics in AI. JELIA 1990. Lecture Notes in Computer Science, vol 478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018430
Download citation
DOI: https://doi.org/10.1007/BFb0018430
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53686-4
Online ISBN: 978-3-540-46982-7
eBook Packages: Springer Book Archive