Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics

The paper presents an ongoing research project that uses Logic Programming, Linear Logic Programming, and their related techniques for executable specifications and rapid prototyping of Multi-Agent Systems. The MAS paradigm is an extremely rich one and we believe that Logic Programming will play a very effective role in this area, both as a tool for developing real applications and as a semantically well founded language for basing program analysis and proof of properties on.

[1]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[2]  Walter Van de Velde,et al.  Agents Breaking Away , 1996, Lecture Notes in Computer Science.

[3]  Jawahar Chirimar,et al.  Proof theoretic approach to specification languages , 1995 .

[4]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[5]  Giorgio Delzanno,et al.  A Linear Logic Speciication for Chimera , 1997 .

[6]  Catuscia Palamidessi,et al.  Encoding Transition Systems in Sequent Calculus , 2003, Linear Logic Tokyo Meeting.

[7]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[8]  Michael Luck,et al.  A Formal Framework for Agency and Autonomy , 1995, ICMAS.

[9]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.

[10]  Robert Kowalski,et al.  From Logic Programming to Multi-agent systems , 1998 .

[11]  Gerd Wagner,et al.  Artiicial Agents and Logic Programming , 1997 .

[12]  Gerd Wagner,et al.  Vivid agents: Theory, architecture, and applications , 2000, Appl. Artif. Intell..

[13]  Dale Miller,et al.  Forum: A Multiple-Conclusion Specification Logic , 1996, Theor. Comput. Sci..

[14]  Jan Treur,et al.  Agent Modelling in METATEM and DESIRE , 1997, ATAL.

[15]  Dale Miller.  The pi-Calculus as a Theory in Linear Logic: Preliminary Results , 1992, ELP.

[16]  Dale Miller,et al.  Logic Programming in a Fragment of Intuitionistic Linear Logic , 1994, Inf. Comput..

[17]  Hyacinth S. Nwana,et al.  Research and Development Challenges for Agent-Based Systems , 1996 .

[18]  Michele Bugliesi,et al.  A Linear Logic Calculus Objects , 1996, JICSLP.

[19]  Timothy W. Finin,et al.  Evaluation of KQML as an Agent Communication Language , 1995, ATAL.

[20]  Hyacinth S. Nwana,et al.  Research and development challenges for agend-based systems , 1997, IEE Proc. Softw. Eng..

[21]  Viviana Mascardi,et al.  Agent-Oriented and Constraint Technologies for Distributed Transaction Management , 1999, IIA/SOCO.

[22]  Robert A. Kowalski,et al.  Towards a Unified Agent Architecture that Combines Rationality with Reactivity , 1996, Logic in Databases.

[23]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[24]  Michael Winikoff,et al.  Programming in Lygon: An Overview , 1996, AMAST.

[25]  Dan Harkey,et al.  Instant CORBA , 1997 .

[26]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[27]  Viviana Mascardi,et al.  Applying Logic Programming to the Specification of Complex Applications , 1997, APPIA-GULP-PRODE.

[28]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[29]  Viviana Mascardi,et al.  Combining logical agents with rapid prototyping for engineering distributed applications , 1999, STEP '99. Proceedings Ninth International Workshop Software Technology and Engineering Practice.

[30]  Giorgio Delzanno,et al.  Objects in Forum , 1995, ILPS.

[31]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[32]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[33]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..