Existence assumptions in knowledge representation

摘要

If knowledge representation formalisms are to be suitable for semantic interpretation of natural language, they must be more adept with representations of existence and nonexistence than they presently are. Quantifiers must sometimes scope over nonexistent entities. I review the philosophical background, including Anselm and Kant, and exhibit some ontological problems that natural language sentences pose for knowledge representation. The paraphrase methods of Russell and Quine are unable to deal with many of the problems. Unfortunately, the shortcomings of the Russell-Quine ontology are reflected in most current knowledge representation formalisms in AI. Several alternatives are considered, including some intensional formalisms and the work of Hobbs, but all have problems. Free logics and possible worlds don't help either. But useful insights are found in the Meinongian theory of Parsons, in which a distinction between nuclear and extranuclear kinds of predicates is made and used to define a universe over which quantification scopes. If this is combined with a naive ontology, with about eight distinct kinds of existence, a better approach to the representation of nonexistence can be developed within Hobbs' basic formalism.