作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (7): 204-206,209. doi: 10.3969/j.issn.1000-3428.2011.07.069

• 人工智能及识别技术 • 上一篇    下一篇

基于谓词/变迁网的Agent规划研究

钟 珊,常晋义,陈秋亚,朱丹香   

  1. (常熟理工学院计算机科学与工程学院,江苏 常熟 215500)
  • 出版日期:2011-04-05 发布日期:2011-03-31
  • 作者简介:钟 珊(1983-),女,助教、硕士,主研方向:行动推理,Petri网;常晋义,教授;陈秋亚、朱丹香,学士

Research on Agent Planning Based on Predicate/Transition Net

ZHONG Shan, CHANG Jin-yi, CHEN Qiu-ya, ZHU Dan-xiang   

  1. (School of Computer Science and Engineering, Changshu Institute of Technology, Changshu 215500, China)
  • Online:2011-04-05 Published:2011-03-31

摘要: 为解决规划形式化系统中动态、异步和并发等特征难以被表示的问题,提出一种使用谓词/变迁网表示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

中图分类号: