摘要： 为解决规划形式化系统中动态、异步和并发等特征难以被表示的问题，提出一种使用谓词/变迁网表示Agent规划问题的形式化方法，利用谓词/变迁网的动态、异步、并发等特征表示规划问题，同时将抑制弧引入谓词/变迁网，并将 Agent的动作分为2类基本动作，即普通动作和测试动作，通过这2种动作的组合可以构成各种复杂动作。实例建模验证了采用带抑制弧的谓词变迁网表示Agent规划的可行性。

关键词: 动作, 规划, Petri网, 条件, 目标

Abstract: To solve the difficulty of the representation of the dynamics, asynchronism and concurrency in the former planning system, a formalized method representing Agent planning problem is advanced by using Predicate/Transition(Pr/T) net. The dynamics, asynchromism and concurrency are used to represent the planning problem, the inhibitor arc is added to the predicate/transition net, and the actions of Agent are divided into two sorts such as ordinary action and test action. The compound action can be obtained just by combining the two sorts of actions. Through an algorithm the Pr/T net with inhibitor arc is proved feasible.

Key words: action, planning, Petri net, condition, goal

中图分类号: 

• TP319