Representation of Coloured Petri Net in Abductive Logic Programming (CPN-LP) and Its Application in Modeling an Intelligent Agent

Coloured Petri net (CPN) has been widely adopted in various areas in Computer Science, including protocol specification, performance evaluation, distributed systems and coordination in multi-agent systems. It provides a graphical representation of a system and has a strong mathematical foundation for proving various properties. This paper proposes a novel representation of a coloured Petri net using an extension of logic programming called abductive logic programming (ALP), which is purely based on classical logic. Under such a representation, an implementation of a CPN could be directly obtained, in which every inference step could be treated as a kind of equivalence preserved transformation. We would describe how to implement a CPN under such a representation using common meta-programming techniques in Prolog. We call our framework CPN-LP and illustrate its applications in modeling an intelligent agent.


Authors:



References:
[1] K. Jensen, "Coloured Petri Nets: A High-level Language for System
Design and Analysis," in G. Rozenberg(ed.) Advances in Petri Nets 1990,
Lecture Notes in Computer Science Vol. 483, 342-416, Springer-Verlag
1991.
[2] K. Jensen, Coloured Petri Nets: Basics Concepts, Analysis Methods and
Practical Use. Vol. 1: Basic Concepts, 1992. Vol. 2 : Analysis Methods,
1994. Vol. 3: Practical Use, 1997. Monographs in Theoretical Computer
Science, Springer-Verlag.
[3] Daniel Moldt and Frank Wienberg, "Multi-agent Systems based on
Coloured Petri Nets," in Proceedings of the 18th International Conference
on Application and Theory of Petri Nets (ICATPN -97), number 1248 in
Lecture Notes in Computer Science, 82-101, Toulouse, France, June
1997.
[4] Jacques Ferber, Multi-agent Systems An Introduction to Distributed
Artificial Intelligence. English Ed., Pearson Education Ltd.,
Addison-Wesley, 1999.
[5] T. H. Fung and R. A. Kowalski, "The IFF proof procedure for abductive
logic programming," Journal of Logic Programming, 33(2): 151-165,
November, 1997.
[6] Macro Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni, "Verifiable Agent Interaction in
Abductive Logic Programming: The SCIFF proof-procedure", DEIS
Technical Report no. DEIS-LIS-06-001, Universität delgli Studi di
Bologona, March 2006.
[7] Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni, "An
Abductive Framework for Information Sharing in Multi-Agent systems,"
in Jürgen Dix and João Leite, eds., 4th International Workshop on
Computational Logic in Multi-Agent Systems (CLIMA-IV), Fort
Lauderdale, FL, January 6-7, 2004. LNAI 3259, 34-52, Springer-Verlag,
2004.
[8] R. A. Kowalski, "The Logical Way to Be Artificially Intelligent".
http://www.doc.ic.ac.uk/~rak/ (2002-2006).
[9] K. Doets, From Logic to Logic Programming. The M.I.T. Press,
Cambridge MA, 1994.
[10] Jan Wielemaker, SWI-Prolog 5.6 Reference Manual, updated for version
5.6.10, April 2006. http://www.swi-prolog.org.
[11] K. R. Apt and M. Bezem, "Acyclic Program, " New Generation
Computing, 29(3): 335-363, 1991.
[12] R. Scott Cost, Yannis Labrou, and Tim Finin, "Coordinating Agents using
Agent Communication Languages Conversations", in Andrea Omicini,
Franco Zambonelli, Matthias Klusch, Robert Tolksdorf (eds.)
Coordination of Internet Agents Models, Technologies, and Applications,
183-196, Springer-Verlag, 2001.
[13] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni, "The SOCS Computational Logic
Approach to the Specification and Verification of Agent Societies," in
Post-Proceedings of the Global Computing 2004 Workshop (GC 2004),
Rovereto, Italy, March 9-12, 2004. LNAI 3267, 314-339,
Springer-Verlag, 2005.
[14] Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Giovanni
Sartor, and Paolo Torroni, "Mapping Deontic Operators to Abductive
Expectations," in Proceedings of 1st International Symposium on
Normative Multiagent Systems (NorMAS 2005), AISB 2005,
Hertfordshire, Hatfield, UK, April 2005.