Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect

摘要

In this paper, a logical model for reasoning about rational agent's three attitudes Belief, Capability and Promise, incorporating the temporal aspect, is proposed. Diverse axioms that can reflect different properties of the agents are presented in a precise way by appropriate conditions according to the accessibility relations of the models. The inter-relations among the operators are also explored to characterize the interactions and cooperations between the agents. An illustrative reasoning example in the trading agent competition for supply chain manage-ment(TAC SCM) is presented to show the potential applications of the model.