LNCS Homepage
CD ContentsAuthor IndexSearch

Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments*

A Response to a Technical Challenge

Oliver Obst

Universität Koblenz-Landau, AI Research Group, Universitätsstr. 1, D–56070 Koblenz, Germany
fruit@uni-koblenz.de

Abstract. We present a method to build a hypothesis on the condition of the environment in which a robotic multi-agent team moves. Initially the robots have a default assumption about the conditions of the floor and on how moving under these condition works. For certain parts of the environment however, the default assumption may be wrong and moving around does not work in the expected way. Now the robotic team builds a hypothesis on the conditions of the yet unvisited part of the environment in a way similar to computing a diagnosis for electrical circuits. Resources can be saved by avoiding areas that possibly also contain obstacles.

*This research is supported by the grant Fu 263/6-1 from the German research foundation DFG.

LNAI 3020, p. 518 ff.

Full article in PDF


lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004