Qualitative Uncertainty Reasoning in AgentSpeak

Michael J. Vezina, Babak Esfandiari, Sandra Morley, François Schwarzentruber

Abstract: This paper presents an extension of AgentSpeak using dynamic epistemic logic (DEL) to reason about uncertainty. The extension relies on minimal AgentSpeak syntax to describe uncertainty, while augmenting the language with possibilistic reasoning via modalities. We apply the extension to a realistic navigation example with partial observability and vary the amount of uncertainty to evaluate scalability. Scalability is compared with an existing extension which relies on a less expressive form of DEL. We find that DEL’s increased expressiveness comes with a linear cost in computational complexity.