Goal reasoning (GR) has a bright future as a foundation for the research and development of
intelligent agents. GR is the study of agents that can deliberate on and self-select their …

The BDI model forms the basis of much of the research on symbolic models of agency and
agent-oriented software engineering. While many variants of the basic BDI model have been …

Goal Reasoning (GR) concerns actors that assume the responsibility for dynamically
selecting the goals they pursue. Our focus is on modelling an actor's decision making when …

An intelligent agent has many tasks and goals to achieve over specific time intervals. The
goals may be assigned to it or the agent may generate its own goals. In either case, the …

Long-term autonomy requires autonomous systems to adapt as their capabilities no longer
perform as expected. To achieve this, a system must first be capable of detecting such …

Intelligent agents designed to work in complex, dynamic environments such as e-commerce
must respond robustly and flexibly to environmental and circumstantial changes, including …

Abstract The Belief-Desire-Intention (BDI) architecture is a popular framework for rational
agents; existing verification approaches either directly encode simplified (eg lacking features …

We present an extension of the semantics for action execution in the Gwendolen BDI
programming language. This extension firstly explicitly assumes that actions have durations …

The cognitive systems literature describes many methods for problem solving and planning.
Given a goal state, these methods search for solutions that achieve the goal through …

Acting in robotics is driven by reactive and deliberative reasonings which take place in the
competition between execution and planning processes. Properly balancing reactivity and …