Ein evidenztheoretischer Ansatz zur Planerkennung

Abstract

Planerkennung bedeutet, aus den beobachteten Aktionen eines Agenten auf dessen Pläne zu schliessen. Das Wissen um diese Pläne - und damit die Intentionen und Ziele des Agenten - bildet beispielsweise die Grundlage fuer eine der aktuellen Situation angemessene Unterstuetzung durch ein intelligentes Hilfesystem. Sind nun mehrere Planhypothesen mit allen Beobachtungen kompatibel, so ist es notwendig, die Qualitaet der vorhandenen Alternativen beurteilen zu können. Die vorliegende Arbeit stellt einen Ansatz zur Bewertung von Planhypothesen auf der formalen Basis der Dempster-Shafer Theorie vor, der sowohl in der Lage ist, unsichere Evidenzen von mehreren Beobachtern zu verarbeiten, als auch agentenspezifische Information in Form eines quantitativen Benutzermodells zu berücksichtigen. Um diesem Ansatz eine formale semantische Basis zu verleihen, wird eine auf einer epistemischen Modallogik beruhende wahrscheinlichkeitstheoretische Charakterisierung der Dempster-Shafer Theorie für den Fall regelbasierter Systeme erweitert.

Plan recognition means to infer an agent's plans by observing his actions. In an intelligent help system, for example, knowing about the anget's plan forms the basis for offering adequate support respecting his current situation and intentions. In case that more than one plan hypothesis proved compatible with all the observations, the quality of these alternatives has to be assessed. This work presents an approach to the assessment of plan hypotheses on the formal basis of Dempster-Shafer Theory. It can both work with uncertain evidence from multiple observers and take into account agent specific information contained in a quantitative user model. This approach is given a formal semantics by extending a probabilistic characterization of Dempster-Shafer Theory based on an epistemic model logic.