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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baumgartner, P., Fröhlich, P., Furbach, U., Nejdl, W.: Semantically Guided Theorem Proving for Diagnosis Applications. In: Pollack, M.E. (ed.) 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, pp. 460–465. Morgan Kaufmann, San Francisco (1997)
Baumgartner, P., Furbach, U., Niemelä, I.: Hyper Tableaux. In: Orłowska, E., Alferes, J.J., Moniz Pereira, L. (eds.) JELIA 1996. LNCS (LNAI), vol. 1126, Springer, Heidelberg (1996)
Ciampolini, A., Lamma, E., Mello, P., Stefanelli, C., Torroni, P.: An implementation for abductive logic agents. In: Lamma, E., Mello, P. (eds.) AI*IA 1999. LNCS (LNAI), vol. 1792, pp. 61–71. Springer, Heidelberg (2000)
Console, L., Torasso, P.: A spectrum of logical definitions of model-based diagnosis. Computational Intelligence 7(3), 133–141 (1991)
Fensel, D., Benjamins, R.: Assumptions in model-based diagnosis. In: Gaines, B.R., Musen, M.A. (eds.) Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW 1996, Calgary, pp. 5/1–5/18. Department of Computer Science, University of Calgary, SRDG Publications (1996)
Finkel, R.A., Bentley, J.L.: Quad trees: A data structure for retrieval on composite keys. Acta Informatica 4, 1–9 (1974)
Lucas, P.J.F.: Symbolic diagnosis and its formalisation. The Knowledge Engineering Review 12(2), 109–146 (1997)
Murray, J., Obst, O., Stolzenburg, F.: Towards a logical approach for soccer agents engineering. In: Stone, P., Balch, T., Kraetzschmar, G.K. (eds.) RoboCup 2000. LNCS (LNAI), vol. 2019, pp. 199–208. Springer, Heidelberg (2001)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Obst, O. (2004). Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments. In: Polani, D., Browning, B., Bonarini, A., Yoshida, K. (eds) RoboCup 2003: Robot Soccer World Cup VII. RoboCup 2003. Lecture Notes in Computer Science(), vol 3020. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25940-4_47
Download citation
DOI: https://doi.org/10.1007/978-3-540-25940-4_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22443-3
Online ISBN: 978-3-540-25940-4
eBook Packages: Springer Book Archive