.png){kind=icon}
返回
EXISTENCE ASSUMPTIONS IN KNOWLEDGE REPRESENTATION
.png){kind=icon}
PRE
AI
DOI：10.1016/0004-3702(91)90010-H.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。