Deliberative Agents in Dynamic Environments, Using Jason and NARS

This work explore the possibility to combine the Jason reasoning cycle with a Non-Axiomatic Reasoning System (NARS) to develop multi-agent systems that are able to reason, deliberate and plan when information about plans to be executed and goals to be pursued is missing or incomplete. The contribution of this work is a method for BDI agents to create high-level plans using an AGI (Artificial General Intelligence) system based on non-axiomatic logic.

[1]  Patrick Hammer,et al.  Goal-Directed Procedure Learning , 2018, AGI.

[2]  Pei Wang,et al.  The OpenNARS Implementation of the Non-Axiomatic Reasoning System , 2016, AGI.

[3]  Lavindra de Silva,et al.  Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoning , 2013, The Knowledge Engineering Review.

[4]  Olivier Boissier,et al.  Multi-agent oriented programming with JaCaMo , 2013, Sci. Comput. Program..

[5]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[6]  Michael Luck,et al.  Composing High-Level Plans for Declarative Agent Programming , 2007, DALT.

[7]  Pei Wang,et al.  Rigid Flexibility: The Logic of Intelligence , 2006 .

[8]  Michael Wooldridge,et al.  Plan patterns for declarative goals in AgentSpeak , 2006, AAMAS '06.

[9]  Andrea Omicini,et al.  CArtA gO : A Framework for Prototyping Artifact-Based Environments in MAS , 2006, E4MAS.

[10]  Olivier Boissier,et al.  MOISE: An Organizational Model for Multi-agent Systems , 2000, IBERAMIA-SBIA.

[11]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[12]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[13]  Rafael H. Bordini,et al.  BDI agent programming in AgentSpeak using Jason , 2006 .

[14]  Andrew Lucas,et al.  JACK Intelligent Agents – Summary of an Agent Infrastructure , 2001 .

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

[16]  M. Georgeff,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.