Institut für Informatik, Universität Freiburg

Arbeitsgemeinschaft "Künstliche Intelligenz"

Vorträge

2.5.96

Hanno Walischewski (Daimler-Benz Forschungszentrum, Ulm)
Learning of Qualitative Spatial Descriptions for Document Interpretation

9.5.96

Wolfgang Hatzack (Univ. Bonn)
Failure Recovery during Plan Execution in the Situation Calculus
Assuming that the correct execution of an action sequence given to an agent will achieve a state of the world that satisfies a certain goal specification, the question is: what sensible parts of the goal can still be achieved despite of a flaw? Or in other words: which actions of the sequence should not be executed anymore? The deletion of actions should be optimal, that is, as many sensible parts of the goal should still be achieveable, thereby avoiding the execution of actions that have been rendered useless by unachievable partial goals. For domains using the situation calculus, we will introduce a syntactical method to answer this question.

20.6.96

Stefan Jäger (Daimler-Benz Forschungszentrum, Ulm)

27.6.96

Friedemann A. Kienzler (München)
Synthese versus Analyse in modellbasierten KI-Planungssystemen?