Reason about action of intelligent agent is surely one of the most exciting and challenging areas in Artificial Intelligence. Intelligent agents are embedded in an incomplete, dynamic environment to reason about action from the initial state to the final state. The Petri net as a mathematical model has the characteristics of dynamics, asynchronous, concurrent, and other features which make it can perfectly represent reasoning about action for agents and has the intuitive graphic representation for analysis. A new formalized representation method-CPNRA net (Colored Petri Net for reasoning about action) is advanced, the actions, states and the compound actions are formalized. And then a method for generating CPNRA net system is introduced which can make the agent reason about actions automatically and goal-targeted in the dynamic environment. Finally, the example office sending coffee is simulated and proves CPNRA net model as an effective method to represent reason about action.
[1]
Marcos A. Castilho,et al.
Petriplan: A New Algorithm for Plan Generation (Preliminary Report)
,
2000,
IBERAMIA-SBIA.
[2]
Marcos Castilho,et al.
A Petri net based representation for planning problems
,
.
[3]
Ray Kresman,et al.
On Petri Nets and Predicate-Transition Nets
,
2006,
Software Engineering Research and Practice.
[4]
John McCarthy,et al.
SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
,
1987
.
[5]
Pedro U. Lima,et al.
Petri Net Plans
,
2011,
Autonomous Agents and Multi-Agent Systems.
[6]
Armin Zimmermann.
Colored Petri Nets
,
2008
.