Research in Knowledge Representaion and Common Sense Reasoning

知识表示和常识推理研究

• 批准号: 9211662
• 负责人: Chitta Baral
• 金额: $ 9万
• 依托单位: University of Texas at El Paso
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-07-15 至 1996-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9211662&HistoricalAwards=false
• 关键词: Research; Knowledge; Representaion; Common; Sense

The aim of the proposed research is to answer several questions regarding adequately formalizing common sense reasoning. There will be three steps. First, to evaluate and classify some of the knowledge representation languages, in particular, to compare various semantics of logic programs and develop benchmark programs that distinguish them. Second, to consider features that are not handled by the traditional nonmonotonic formalisms and suggest methods to handle them. The particular features considered are: defining the consistency of a set of default and strict rules, and being able to infer new defaults from a set of default and strict rules. Third, to develop a prototype system to answer queries with respect to more general knowledge representation language than can be handled by the systems developed so far, in particular, to follow the lead of systems based on the well founded semantics of normal logic programs to develop a prototype system to answer queries with respect to the well founded semantics of a default theory. The significance of the proposed research is that if successful it makes both theoretical advances in formalizing common sense reasoning and provides a prototype implementation of query answering system for a more general formalism. //

拟议研究的目的是回答有关常识推理充分形式化的几个问题。这将分为三个步骤。首先，对一些知识表示语言进行评估和分类，特别是比较逻辑程序的各种语义，并开发区分它们的基准程序。第二，考虑传统非单调形式主义不能处理的特征，并提出处理它们的方法。所考虑的特定功能是：定义一组默认和严格规则的一致性，并且能够从一组默认和严格规则中推断出新的默认。第三，开发一个原型系统来回答关于比目前开发的系统所能处理的更通用的知识表示语言的查询，特别是遵循基于正常逻辑程序的良好语义的系统的领导来开发一个原型系统来回答关于缺省理论的良好语义的查询。研究的意义在于，如果研究成功，它不仅在常识推理的形式化方面取得了理论上的进步，而且为更普遍的形式主义提供了一个查询回答系统的原型实现。//