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

Authors: T. H. Fung

Abstract:

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.

Keywords: Abduction, coloured petri net, intelligent agent, logic programming.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1075695

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.