Formalization and Automation of Reasoning about Actions

该项目将最近在行动语言、因果解释逻辑和可满足性规划方面的研究成果应用于一系列行动领域中推理任务的形式化和自动化。新的形式化必须考虑到并发操作之间复杂交互的可能性、操作的确切持续时间的作用、作为执行操作的先决条件的知识的作用，以及在执行操作过程中创建和销毁对象的可能性。正在研究的一些动作域包括实体空间的现实表示，在这个实体空间中，智能体四处移动，并且比过去研究动作的典型“玩具世界”要大得多。这一结果将是实现常识知识和推理理论目标的又一步——人类在日常生活中使用的推理过程，而不仅仅是数学定理中使用的推理。http://www.cs.utexas.edu/users/vl/

This project is applying ideas developed in recent research into action languages, on the logic of causal explanation, and on satisfiability planning to the formalization and automation of reasoning tasks in a ide range of action domains. The new formalizations must take into account the possibility of complex interactions between cuncurrent actions, the role of the exact duration of an action, the role of knowledge as a prerequisite for executing an action, and the possibility of creating and destroying objects in the process of executing actions. Some of the action domains being investigated include realistic representations of the physical space in which agents move around and are significantly larger than the typical "toy worlds" that research on actions has concentrated on in the past. The result will be another step toward achieving the goals of a theory of commonsense knowledge and reasoning - the reasoning processes used by humans in everyday life, rather than just the reasoning used in mathematical theorems. http://www.cs.utexas.edu/users/vl/