ABSTRACT
We discuss the treatment of prevention statements in both natural language semantics and knowledge representation, with particular regard to existence entailments. First order representations with an explicit existence predicate are shown to not adequately capture the entailments of prevention statements. A linguistic analysis is framed in a higher order intensional logic, employing a Fregean notion of existence as instantiation of a concept. We discuss how this can be mapped to a Cyc style knowledge representation.
- 1.Brahman, R. J., D. L. McGuinness, and P. Patel-Schneider. Reducing classic to practice: Knowledge representation theory meets reality. Art@iciul Intelligence 114,203-237, 1999. Google ScholarDigital Library
- 2.Cocchiarella, N. B. Philosophical perspectives on quantification in tense and modal logics. In D. Gabbay & F. Guenthner (eds.) Handbook of Philosophical Logic, Vol II, 309-353, Reidel, Dordrecht, 1984.Google Scholar
- 3.van der Does, J. Applied QuantiJier Lo&s: Collectives & Naked Injinitives. PhD thesis, University of Amsterdam, 1992.Google Scholar
- 4.Everett, A. and T. Hofweber (eds.). Empty Names, Fiction and the Puzzle of Non-Existence. CSLI Publications, Stanford, 2000.Google Scholar
- 5.Fine, K. Reasoning with Arbitrary Objects. Blackwell, Oxford, 1985.Google Scholar
- 6.Frege, G. On sense and reference, 1892. Reprinted in P. T. Geach & M. Black (eds), Translations,from the Philosophical Writings of Gottlob Frege, Blackwell, Oxford, 1952.Google Scholar
- 7.Gardenfors, P. and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. Proceedings 2nd Conference on Theoretical Aspects of Reasoning About Knowledge, 83-95, Morgan Kaufmann, San Francisco, 1988. Google ScholarDigital Library
- 8.Hirst, G. Existence assumptions in knowledge representation. Artificial Intelligence 49, 199-242, May 1991. Google ScholarDigital Library
- 9.Kaufmann, S. Aspects of the Meaning and Use of Conditionals. PhD thesis, Stanford University, 2001.Google Scholar
- 10.Kratzer, A. An investigation of the lumps of thought. Linguistics and Philosophy 12, 607-653, 1989.Google ScholarCross Ref
- 11.Ladusaw, W. Polarity Sensitivity as Inherent Scope Relations. Garland, New York, 1980.Google Scholar
- 12.Lenat, D., R. V. Guha, K. Pittman, D. Pratt, and M. Shepherd. Cyc: Towards programs with common sense. Communications of the ACM 33(8), August 1990. Google ScholarDigital Library
- 13.McCarthy, J. First order theories of individual concepts and propositions. In J. E. Hayes, D. Michie and L. I. Mikulich, Machine Intelligence 9, Ellis Horwood, Chichester, 1979.Google Scholar
- 14.J. McCarthy and S. Buvac. Formalizing context (expanded notes). In A. Aliseda, R. v. Glabbeek, and D. Westerstbhl, editors, Computing Natural Language. CSLI Publications, Stanford, 1997.Google Scholar
- 15.Montague, R. Formal Philosophy. Selected Papers of Richard Montague. Yale University Press, 1974. Edited by R. Thomason.Google Scholar
- 16.Westerstahl, D. Quantifiers in formal and natural languages. In D. Gabbay & F. Guenthner (eds) Handbook of Philosophical Logic, Vol IV, 1- 131, Reidel, Dordrecht, 1989.Google Scholar
- 17.Zimmermamr, E. On the proper treatment of opacity in certain verbs. Natural Language Semantics 1, 149-179, 1993.Google ScholarCross Ref
Index Terms
- Preventing existence
Recommendations
Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces
A family of many-valued modal logics which correspond to possible-worlds models with many-valued accessibility relations, has been recently proposed by M. Fitting [7, 8]. Non-monotonic extensions of these logics are introduced with a fixpoint ...
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics
We study the problem of embedding Halpern and Moses‘s modal logic of minimal knowledge states into two families of modal formalism for nonmonotonic reasoning, McDermott and Doyle‘s nonmonotonic modal logics and ground nonmonotonic modal logics. First, we ...
Comments