Ralph Rönnquist

Learn More
Intelligent Agents are being used for modelling simple rational behaviours in a wide range of distributed applications. In particular, multi-agent architectures based on the Belief-DesireIntention model have been used successfully in situations where modelling of human reasoning and team behaviour are needed, such as simulating tactical decision-making in(More)
The development of complex agents requires adequate conceptual and software tools that allow modular development and software reuse. We present a concept, called capability, which represents a cluster of components of a BDI agent. Capabilities encapsulate beliefs, events and plans while, at the same time, allowing global meta-level reasoning. Capabilities(More)
We consider structures of actions which are partially ordered for time, which may occur in parallel, and which have lasting effects on the state of the world. Such action structures are of interest for problem-solving with multiple actors, and for understanding narrative texts where several things are going on at the same time, They are also of interest for(More)
We are exploring the enhancement of models of agent behaviour with more “human-like” decision making strategies than are presently available. Our motivation is to build multi-agent based simulations of human societies that would exhibit more realistic simulation behaviours. This in turn will allow researchers to study more complex issues regarding(More)
We propose a coverage oriented test case generation methodology for BDI multi-agent systems. The coverage criteria involve plans and nodes within plans of multi-agent systems. We organise the criteria into a subsumption hierarchy to show the coverage relationships between the criteria. Then we apply the criteria on multi-agent systems to analyse some(More)
Although terminological logics as well as temporal reasoning has received considerable attention in the knowledge representation community in the last years, few attempts have been made to integrate those fields. We study the combination of the temporal logic LITE and a terminological logic to obtain a temporal terminological logic. We emphasize defining a(More)