Agent-Oriented Programming in Linear Logic

This thesis investigates how a linear logic programming language, such as Lygon, can be used in the implementation of agent-oriented programs. Agent-oriented programming is a recent computational framework of interest to both academic and industrial researchers. Agent methodology is being successfully utilised in designing complex (distributed) applications that require concurrency, reasoning, communication, sharing and integration of knowledge, and, of course, intelligence. On the other hand, linear logic, a logic of resource-consumption, provides the possibility to construct efficient tools for modelling updates, reasoning about the environment and implementing concurrency. Linear logic has been used as a basis for creating a number of programming languages. One of these is the logic programming language Lygon. The aim of this thesis is to investigate the possibility of implementing agents with Lygon. A number of experiments have been carried out and results analysed, which will be useful to future agent researchers who would like to use Lygon as a linear logic agent tool.

[1]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[2]  Michael Winikoff,et al.  Implementing the Linear Logic Programming Language Lygon , 1995, ILPS.

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

[4]  Paolo Volpe,et al.  Concurrent Logic Programming as Uniform Linear Proofs , 1994, ALP.

[5]  Michael Winikoff,et al.  Making logic programs reactive , 1998 .

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

[7]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[8]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

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

[10]  Rodney A. Brooks,et al.  Intelligence Without Reason , 1991, IJCAI.

[11]  Nicholas R. Jennings,et al.  Specification and Implementation of a Belief Desire-Joint_intention Architecture for Cooperative Problem Solving , 1993, Int. J. Cooperative Inf. Syst..

[12]  David Chapman,et al.  Pengi: An Implementation of a Theory of Activity , 1987, AAAI.

[13]  Donald A. Smith.  MixLog: a generalized rule-based language , 1997, JFPLC.

[14]  Akinori Yonezawa,et al.  ACL - A Concurrent Linear Logic Programming Paradigm , 1993, ILPS.

[15]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[16]  Michael Wooldridge,et al.  A Formal Specification of dMARS , 1997, ATAL.

[17]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[18]  Jörg P. Müller,et al.  Modelling Reactive Behaviour in Vertically Layered Agent Architectures , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[19]  Viviana Mascardi,et al.  Multi-agent Systems Development as a Software Engineering Enterprise , 1999, PADL.

[20]  Andre Scedrov,et al.  Linear Logic and Computation: A Survey , 1995 .

[21]  James Harland.  Some Applications of the Linear Logic Programming Language Lygon , 1996 .

[22]  Andre Scedrov,et al.  A brief guide to linear logic , 1990, Bull. EATCS.

[23]  James Harland,et al.  A Uniform Proof-Theoretic Investigation of Linear Logic Programming , 1994, J. Log. Comput..

[24]  Jacques Cohen,et al.  Concurrent object-oriented programming , 1993, CACM.

[25]  Vladimir Alexiev,et al.  Applications of Linear Logic to Computation: An Overview , 1994, Log. J. IGPL.

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

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

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

[29]  Timothy W. Bickmore,et al.  A basic agent , 1990, Comput. Intell..

[30]  B. Habibi,et al.  Pengi : An Implementation of A Theory of Activity , 1998 .

[31]  Paul J. Krause,et al.  The art of Prolog - second edition by Leon Sterling and Ehud Shapiro, MIT Press, Cambridge, MA 1994, pp 509, £19.95 (paperback), £44.94 (hardback), ISBN 0-262-19338-8 , 1995, The Knowledge Engineering Review.

[32]  Paolo Busetta,et al.  Jack intelligent agents - components for intelligent agents in java , 1998 .

[33]  Dale Miller,et al.  A multiple-conclusion meta-logic , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[34]  Michael Winikoff,et al.  Hitch Hiker's Guide to Lygon 0.7 , 1996 .

[35]  Leslie Pack Kaelbling,et al.  A situated-automata approach to the design of embedded agents , 1991, SGAR.

[36]  Innes A. Ferguson.  TouringMachines: an architecture for dynamic, rational, mobile agents , 1992 .

[37]  Pattie Maes,et al.  The agent network architecture (ANA) , 1991, SGAR.

[38]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..