High-Level Languages for Describing Action and Change

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

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.