Remediating critical cause-effect situations with an extended BDI architecture

Abstract Remediation actions are performed in scenarios in which consequences of a problem should be promptly mitigated when its cause takes too long to be addressed or is unknown. Such scenarios are recurrent in the real world, including in the context of computer science. Existing approaches that address these scenarios are application-specific. Nevertheless, the reasoning about remediation actions as well as cause identification and resolution, in order to address problems permanently, can be abstracted in such a way that they can be incorporated to autonomous software components, often referred to as agents. They can thus autonomously deal with these scenarios, which we refer to as critical cause-effect situations . In this paper, we propose a domain-independent extension to the belief-desire-intention (BDI) architecture that provides such agents with this automated reasoning. Our work provides an extensible solution to this recurrent problem-solving strategy and allows agents to flexibly deal with resource-constrained scenarios. This solution removes the need for manually implementing the coordination of actions performed by agents, using causal models to capture the knowledge required to carry out this task. Therefore, it not only allows the development of systems with remediative behaviour, but also enables the reduction of development effort by means of a reusable infrastructure that can be used in several different domains. Our approach was evaluated based on an existing solution in the network resilience domain, which showed that our extended agent can autonomously address a network challenge, with a reduction in the development effort and no impact in agent performance.

[1]  M. Birna van Riemsdijk,et al.  Towards Reasoning with Partial Goal Satisfaction in Intelligent Agents , 2010, ProMAS.

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

[3]  J. Pearl Causal diagrams for empirical research , 1995 .

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

[5]  Lin Padgham,et al.  Situational preferences for BDI plans , 2013, AAMAS.

[6]  Michael Luck,et al.  BDI 4 JADE : a BDI layer on top of JADE , 2011 .

[7]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[8]  David Hutchison,et al.  Resilience and survivability in communication networks: Strategies, principles, and survey of disciplines , 2010, Comput. Networks.

[9]  Onn Shehory,et al.  Can self-healing software cope with loitering? , 2007, SOQUA '07.

[10]  Lin Padgham,et al.  Learning context conditions for BDI plan selection , 2010, AAMAS.

[11]  James Harland,et al.  Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Reasoning About Preferences in Intelligent Agent Systems ∗ , 2022 .

[12]  Alberto E. Schaeffer-Filho,et al.  Reengineering Network Resilience Strategies using a BDI Architecture , 2014 .

[13]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[14]  David Hutchison,et al.  A framework for the design and evaluation of network resilience management , 2012, 2012 IEEE Network Operations and Management Symposium.

[15]  Aditya K. Ghose,et al.  Implementing reactive BDI agents with user-given constraints and objectives , 2010, Int. J. Agent Oriented Softw. Eng..

[16]  Onn Shehory,et al.  PANACEA Towards a Self-healing Development Framework , 2007, 2007 10th IFIP/IEEE International Symposium on Integrated Network Management.

[17]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[18]  Stéphane Airiau,et al.  Incorporating Learning in BDI Agents , 2008 .

[19]  Anand S. Rao,et al.  AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

[20]  J. Pearl Causality: Models, Reasoning and Inference , 2000 .

[21]  John Thangarajah,et al.  Quantifying the Completeness of Goals in BDI Agent Systems , 2014, ECAI.

[22]  Joseph Y. Halpern A Modification of the Halpern-Pearl Definition of Causality , 2015, IJCAI.

[23]  Ingrid Nunes,et al.  BDI-Agent Plan Selection Based on Prediction of Plan Outcomes , 2015, 2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT).

[24]  Michael Luck,et al.  Softgoal-based plan selection in model-driven BDI agents , 2014, AAMAS.