Reasoning about Uncertainty in AgentSpeak using Dynamic Epistemic Logic

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 lessexpressive extension, showing that performance declines linearly with the degree of expressivity required to model changes to uncertainty.