scholarly journals A Goal Deliberation Strategy for BDI Agent Systems

2005 ◽  
pp. 82-93 ◽  
Author(s):  
Alexander Pokahr ◽  
Lars Braubach ◽  
Winfried Lamersdorf
Keyword(s):  
Agent Systems ◽  
Bdi Agent

scholarly journals On the Testability of BDI Agent Systems

2014 ◽  
Vol 51 ◽  
pp. 71-131 ◽  
Author(s):  
M. Winikoff ◽  
S. Cranefield
Keyword(s):  
Adaptive Systems ◽  
Software System ◽  
Bdi Agents ◽  
Complex Behaviour ◽  
Agent Based ◽  
Agent Systems ◽  
Failure Handling ◽  
Bdi Agent

Before deploying a software system we need to assure ourselves (and stakeholders) that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that adaptive systems, including agent-based systems, can exhibit complex behaviour, and are thus harder to test. In this paper we examine this "obvious intuition" in the case of Belief-Desire-Intention (BDI) agents. We analyse the size of the behaviour space of BDI agents and show that although the intuition is correct, the factors that influence the size are not what we expected them to be. Specifically, we found that the introduction of failure handling had a much larger effect on the size of the behaviour space than we expected. We also discuss the implications of these findings on the testability of BDI agents.

Intention Scheduling for BDI Agent Systems

2006 ◽  
Author(s):  
Shung-Bin Yan ◽  
Zu-Nien Lin ◽  
Hsun-Jen Hsu ◽  
Feng-Jian Wang
Keyword(s):  
Agent Systems ◽  
Bdi Agent

scholarly journals HTN-like solutions for classical planning problems: An application to BDI agent systems

2019 ◽  
Vol 763 ◽  
pp. 12-37 ◽  
Author(s):  
Lavindra de Silva ◽  
Lin Padgham ◽  
Sebastian Sardina
Keyword(s):  
Agent Systems ◽  
Bdi Agent ◽  
Planning Problems

scholarly journals Agent Design Consistency Checking via Planning

2017 ◽  
Author(s):  
Nitin Yadav ◽  
John Thangarajah ◽  
Sebastian Sardina
Keyword(s):  
Design Methodology ◽  
Search Problem ◽  
Consistency Checking ◽  
Detailed Design ◽  
Agent Systems ◽  
Requirements Specifications ◽  
Novel Approach ◽  
Bdi Agent ◽  
Random Instances ◽  
Design Consistency

In this work we present a novel approach to check the consistency of agent designs (prior to any implementation) with respect to the requirements specifications via automated planning. This checking is essentially a search problem which makes planning technology an appropriate solution. We focus our work on BDI agent systems and the Prometheus design methodology in order to directly compare our approach to previous work. Our experiments in more than 16K random instances prove that the approach is more effective than previous ones proposed: it achieves higher coverage, lower run-time, and importantly, can handle loops in the agent detailed design and unbounded subgoal reasoning.

Sign in / Sign up

Export Citation Format

Share Document