[TMP-100] Proactive announcement based on DEL (Dynamic Epistemic Logic)

Contact person: Jasmin Grosinger (jasmin.grosinger@oru.se)

Internal Partners:

1. Örebro University, ORU, Jasmin Grosinger

External Partners:

1. Denmark Technical Unisersity, Thomas Bolander

Previously we have investigated how an AI system can be proactive, that is, acting anticipatory and on its own initiative, by reasoning on current and future states, mental simulation of actions and their effects, and what is desirable. In this micro-project we extend our earlier work doing epistemic reasoning. That is, we want to do reasoning on knowledge and belief of the human and by that inform the AI system what kind of proactive announcement to make to the human. As in our previous work, we will consider which states are desirable and which are not, and we too will take into account how the state will evolve into the future, if the AI system does not act. Now we also want to consider the human’s false beliefs. It is not necessary and, in fact, not desirable to make announcements to correct each and any false belief that the human may have. For example, if the human is watching the TV, she need not be informed that the salt is in the red container and the sugar is in the blue container, while the human’s belief is that it is the other way around. On the other hand, when the human starts cooking and is about to use the content of the blue container believing it is salt, then it is a relevant announcement of the AI system to inform the human what is actually the case to avoid undesirable outcomes. The example shows that we need to research not only what to announce but also when to make the announcement. The methods we will use in this micro-project are knowledge-based, to be precise, we will employ Dynamic Epistemic Logic (DEL). DEL is a modal logic. It is an extension of Epistemic Logic which allows to model change in knowledge and belief of an agent herself and of other agents.1 week of visit is planned.

Results Summary

[On going project] The project is still going on. It turned out to be much bigger and is way beyond the scope of a micro-project. Also there were interruptions. We are working on our DEL-based framework for proactive agents and expect a journal article submission in January next year. The project will keep going on at least until then, but is expected to continue and extend the current status of the work.