Reactive Common Sense Reasoning for Knowledge-Based HMI

In our approach we show how to integrate traditional BDI-Logics and reactive commonsense reasoning. Our goal consists in supporting efficient runtime inferences in the course of distributed decision making. For this sake we take a highly reactive calculus (membrane computing) and combine it with high-level modeling concepts. In order to obtain efficient inference mechanisms we use quotient-based reasoning. With this framework we are able to introduce situational knowledge into knowledge-based human machine interaction. We think that this kind of situational reasoning is highly important for human- machine interaction in the age of disappearing computing.