A Logic Based Approach to Multi-Agent Systems

The research group at CENTRIA UNL in Lisbon, in collaboration with Ferrara and Linköping, has been quite active in the field of Logic Programming (LP) geared towards rational agents over several years, and has investigated a spate of rational agent functionalities and their implementations. In particular, the Lisbon group has been active in the fields of learning, abduction, updating, argumentation, paraconsistency, belief revision, soft LP, contradicition removal, diagnosis, and debugging. These research directions are all included in the broader long term research avenue of building evolving and collaborative rational epistemic agents, whose overarching objective is to establish a flexible declarative language for the specification and implementation of dynamic knowledge construction in a society of agents. In [32, 33], the philosophical foundations and the general line of approach to the definition of rational agents, based on and building upon the strengths of LP, have been put forward. Other recent results by the team include the combination of various pieces of knowledge, possibly originating in various agents, each of which with ascribed priorities over the others, the totality being organized via an acyclic graph [25, 28]. The long term objective of the group specifically includes the building of rational epistemic agents capable, in an integrated fashion, of reacting to a dynamic environment comprising other agents; managing and revising their goals,

[1]  Luís Moniz Pereira,et al.  Philosophical incidence of logic programming , 2002 .

[2]  José Júlio Alferes,et al.  Diagnosis and Debugging as Contradiction Removal , 1993, LPNMR.

[3]  José Júlio Alferes,et al.  Dynamic Logic Programming , 1998, APPIA-GULP-PRODE.

[4]  José Júlio Alferes,et al.  Multi-dimensional Dynamic Logic Programming , 2000, CL-2000 Workshop on Computational Logic in Multi-Agent Systems.

[5]  José Júlio Alferes,et al.  Combining societal agents' knowledge , 2001, APPIA-GULP-PRODE.

[6]  José Júlio Alferes,et al.  Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..

[7]  Luís Moniz Pereira,et al.  Belief Revision by Lamarckian Evolution , 2001, EvoWorkshops.

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

[9]  Luís Moniz Pereira,et al.  Generalizing Updates: From Models to Programs , 1997, LPKR.

[10]  Evelina Lamma,et al.  Belief Revision by Multi-Agent Genetic Search , 2001 .

[11]  José Júlio Alferes,et al.  Multi-dimensional Dynamic Knowledge Representation , 2001, LPNMR.

[12]  William E. Hart,et al.  Optimization with genetic algorithm hybrids that use local searches , 1996 .

[13]  José Júlio Alferes,et al.  LUPS - A Language for Updating Logic Programs , 1999, LPNMR.

[14]  José Júlio Alferes,et al.  Well Founded Semantics for Logic Programs with Explicit Negation , 1992, ECAI.

[15]  Luís Moniz Pereira,et al.  Preferring and Updating in Multi-Agents , 2001, International Conference on Applications of Declarative Programming and Knowledge Management.

[16]  José Júlio Alferes,et al.  Well-founded Abduction via Tabled Dual Programs , 1999, ICLP.

[17]  Luís Moniz Pereira,et al.  REVISE: Logic Programming and Diagnosis , 1997, LPNMR.

[18]  José Júlio Alferes,et al.  Reasoning with Logic Programming , 1996, Lecture Notes in Computer Science.

[19]  S. Blackmore.  The Meme Machine , 1999 .

[20]  John J. Grefenstette,et al.  Lamarckian Learning in Multi-Agent Environments , 1991, ICGA.

[21]  Yun Li,et al.  Model reduction in control systems by means of global structure evolution and local parameter learning , 1997 .

[22]  José Júlio Alferes,et al.  Updates plus Preferences , 2000, JELIA.

[23]  José Júlio Alferes,et al.  MINERVA - A Dynamic Logic Programming Agent Architecture , 2001, ATAL.

[24]  Luíz Moniz Pereira,et al.  The Logical Impingement of Artifical Intelligence , 1998 .

[25]  Luís Moniz Pereira,et al.  Iterated Logic Program Updates , 1998, IJCSLP.

[26]  Luís Moniz Pereira,et al.  Preferring and Updating in Abductive Multi-agent Systems , 2001, ESAW.