Reasoning about Uncertainty in AgentSpeak using Dynamic Epistemic Logic

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

Abstract: We propose DEL-AgentSpeak, an AgentSpeak extension for reasoning about belief uncertainty using dynamic epistemic logic (DEL). An uncertain navigation example is presented, motivating the need for DEL-AgentSpeak. DEL-AgentSpeak is evaluated against a less-expressive extension, showing that performance declines linearly with the degree of expressivity required to model changes to uncertainty.