论文部分内容阅读
Agent是驻留在某一环境下能够自主、灵活地执行动作以满足设计目标的行为实体。往往存在于一个动态的不完全可知的环境．为了实现目标，agent在环境中必须能像人一样思考，对各种行动的结果进行预测、推理、以决定下一步的目标和动作，同时agent还应具有特定的社会技能，如同步、通信等，通过相互合作来实现目标．Petri网是一种具有严格形式化定义的数学模型，非常适合异步并发系统的描述和创建，而多agent系统本身是一个动态，异步的系统，本文为此提出了一种基于有色网表示agent面向目标协作规划的形式化模型——CP