Sigon: A multi-context system framework for intelligent agents

Abstract The usage of agents has become one of the most effective ways to deal with complex systems. The agent’s approach allows for the parallel execution of actions and eases the conception of the system. In this paper, we introduce a language, called Sigon, that allows the definition of agents as multi-context systems. Multi-context systems, in turn, allow for a modular description of the agent, and the implementation of bridge rules contributes to the system flexibility. We propose a generic framework to conceive agents, in which the system’s developer defines their internals in terms of contexts and bridge rules. In order to show the way in which the programmer can aggregate other logical contexts, we first present the configurations of a BDI-like agent in our framework. Subsequently, the programmer can add more contexts, such as emotional or negotiating ones, and develop other agent architectures. Thus, our approach can be characterized as a form of generic and extensible architecture. In order to validate our proposal, we introduce some examples that delineate some strengths of the proposal, and also we present an analysis of bridge rules execution to demonstrate the processing overhead.

[1]  Natalia Criado,et al.  Reasoning about norms under uncertainty in dynamic environments , 2014, Int. J. Approx. Reason..

[2]  Ron Sun,et al.  From implicit skills to explicit knowledge: a bottom-up model of skill learning , 2001, Cogn. Sci..

[3]  Lluis Godo,et al.  A language for the execution of graded BDI agents , 2013, Log. J. IGPL.

[4]  Lluis Godo,et al.  A graded BDI agent model to represent and reason about preferences , 2011, Artif. Intell..

[5]  Meritxell Vinyals,et al.  A Survey on Sensor Networks from a Multiagent Perspective , 2011, Comput. J..

[6]  Serena Villata,et al.  An Agent-Based Architecture for Personalized Recommendations , 2016, ICAART.

[7]  Ricardo Azambuja Silveira,et al.  Negotiating Agents: A Model Based on BDI Architecture and Multi-Context Systems Using Aspiration Adaptation Theory as a Negotiation Strategy , 2018, CISIS.

[8]  Jordi Sabater-Mir,et al.  Opening the black box of trust: reasoning about trust models in a BDI agent , 2013, J. Log. Comput..

[9]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[10]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[11]  Ah-Hwee Tan,et al.  A coordination framework for multi-agent persuasion and adviser systems , 2019, Expert Syst. Appl..

[12]  Christoph Redl,et al.  The dlvhex system for knowledge representation: recent advances (system description)* , 2016, Theory and Practice of Logic Programming.

[13]  Jordi Sabater-Mir,et al.  Norms Evaluation through Reputation Mechanisms for BDI Agents , 2010, CCIA.

[14]  P. Petta,et al.  Computational models of emotion , 2010 .

[15]  Nicholas R. Jennings,et al.  Using Multi-context Systems to Engineer Executable Agents , 1999, ATAL.

[16]  Thomas Eiter,et al.  Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems , 2007, AAAI.

[17]  Lluis Godo,et al.  A Logical Framework to Represent and Reason about Graded Preferences and Intentions , 2008, KR.

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

[19]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[20]  Fernando De la Prieta,et al.  Towards a Model of Open and Reliable Cognitive Multiagent Systems: Dealing with Trust and Emotions , 2016 .

[21]  Thomas Eiter,et al.  The mcs-ie System for Explaining Inconsistency in Multi-Context Systems , 2010, JELIA.

[22]  Luca Cardelli,et al.  Mobile Ambients , 1998, Foundations of Software Science and Computation Structure.

[23]  Lluis Godo,et al.  Graded BDI Models for Agent Architectures , 2004, CLIMA.

[24]  Marina Keiko Nakayama,et al.  Using agent-based adaptive learning environments for knowledge sharing management , 2015, Int. J. Knowl. Learn..

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

[26]  Jerusa Marchi,et al.  Towards a Model of Cognitive Agents: Integrating Emotion on Trust , 2015, 2015 Fourteenth Mexican International Conference on Artificial Intelligence (MICAI).

[27]  Nicholas R. Jennings,et al.  Engineering Executable Agents using Multi-context Systems , 2002, J. Log. Comput..

[28]  Terence Parr,et al.  The Definitive ANTLR 4 Reference , 2013 .

[29]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

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

[31]  Bo Chen,et al.  A Review of the Applications of Agent Technology in Traffic and Transportation Systems , 2010, IEEE Transactions on Intelligent Transportation Systems.

[32]  Jordi Sabater-Mir,et al.  Pragmatic-strategic reputation-based decisions in BDI agents , 2009, AAMAS.

[33]  Rory Coulter,et al.  Intelligent agents defending for an IoT world: A review , 2018, Comput. Secur..

[34]  Natalia Criado,et al.  Normative Deliberation in Graded BDI Agents , 2010, MATES.

[35]  Jordi Sabater-Mir,et al.  Reputation-based decisions for logic-based cognitive agents , 2010, Autonomous Agents and Multi-Agent Systems.

[36]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..