High-Level Languages for Describing Action and Change

用于描述行动和变化的高级语言

• 批准号: 9306751
• 负责人: Vladimir Lifschitz
• 金额: $ 39.89万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-08-01 至 1999-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9306751&HistoricalAwards=false
• 关键词: Level; Languages; Describing; Action; Change

9306751 Lifschitz The goal of this research is to develop and study high-level declarative languages designed specifically for describing action and change. The available methods for representing properties of actions in logic will be characterized as translations from high- level languages into monotonic or nonmonotonic logic-based formalisms. The claims that these methods are adequate will be stated as soundness or completeness properties of the corresponding translations, and the validity of these claims will be investigated. Methods for describing nondeterministic actions will be developed, and their adequacy will be investigated in a similar way. Competing methods (using different ontologies of action or different nonmonotonic logics) will be compared by studying the high-level languages to which they are applicable. Translation of high-level action languages into traditional programming languages will also be studied. This will allow the application of software tools developed for program verification to the automation of some forms of common sense reasoning.

9306751 Lifschitz这项研究的目标是开发和研究专门为描述行动和变化而设计的高级声明性语言。在逻辑中表示动作属性的现有方法将被描述为从高级语言到基于单调或非单调逻辑的形式化的翻译。这些方法足够的声明将被声明为相应翻译的可靠性或完备性，并将调查这些声明的有效性。将开发描述非确定性行为的方法，并将以类似的方式调查其充分性。相互竞争的方法(使用不同的动作本体论或不同的非单调逻辑)将通过研究它们适用的高级语言来进行比较。还将研究高级动作语言到传统编程语言的翻译。这将允许将为程序验证开发的软件工具应用于某些形式的常识推理的自动化。