TOWARDS A GENERAL-THEORY OF ACTION AND TIME
TOWARDS A GENERAL-THEORY OF ACTION AND TIME
复制标题
DOI：
10.1016/0004-3702(84)90008-0
复制
发表时间：
1984-01-01
影响因子：
14.4
通讯作者：
ALLEN, JF
中科院分区：
文献类型：
--
作者：
ALLEN, JF
提出了一种基于时间逻辑的行为推理形式。与以前的方法（如情况演算）相比，它允许描述范围更广的行动。然后使用这种形式描述可以用简单的英语句子描述的不同类型的事件、过程、动作和属性。在解决这个问题时，我们考虑涉及非活动的行为以及只能根据行为者的信念和意图来定义的行为。最后，提出了一个具有外部事件和多主体的动态世界中的规划框架。
A formalism for reasoning about actions is proposed that is based on a temporal logic. It allows a much wider range of actions to be described than with previous approaches such as the situation calculus. This formalism is then used to characterize the different types of events, processes, actions, and properties that can be described in simple English sentences. In addressing this problem, we consider actions that involve non-activity as well as actions that can only be defined in terms of the beliefs and intentions of the actors. Finally, a framework for planning in a dynamic world with external events and multiple agents is suggested.