TY - RPRT U1 - Forschungsbericht A1 - Akhtar, Naveed T1 - Fault reasoning based on naive physics N2 - A system that interacts with its environment can be much more robust if it is able to reason about the faults that occur in its environment, despite perfect functioning of its internal components. For robots, which interact with the same environment as human beings, this robustness can be obtained by incorporating human-like reasoning abilities in them. In this work we use naive physics to enable reasoning about external faults in robots. We propose an approach for diagnosing external faults that uses qualitative reasoning on naive physics concepts for diagnosis. These concepts are mainly individual properties of objects that define their state qualitatively. The reasoning process uses physical laws to generate possible states of the concerned object(s), which could result into a detected external fault. Since effective reasoning about any external fault requires the information of relevant properties and physical laws, we associate different properties and laws to different types of faults which can be detected by a robot. The underlying ontology of this association is proposed on the basis of studies conducted (by other researchers) on reasoning of physics novices about everyday physical phenomena. We also formalize some definitions of properties of objects into a small framework represented in First-Order logic. These definitions represent naive concepts behind the properties and are intended to be independent from objects and circumstances. The definitions in the framework illustrates our proposal of using different biased definitions of properties for different types of faults. In this work, we also present a brief review of important contributions in the area of naive/qualitative physics. These reviews help in understanding the limitations of naive/qualitative physics in general. We also apply our approach to simple scenarios to asses its limitations in particular. Since this work was done independent of any particular real robotic system, it can be seen as a theoretical proof of the concept of usefulness of naive physics for external fault reasoning in robotics. T3 - Technical Report / Hochschule Bonn-Rhein-Sieg University of Applied Sciences. Department of Computer Science - 02-2011 KW - Robotik KW - Naive physics KW - Robotic faults KW - Qualitative reasoning UN - https://nbn-resolving.org/urn:nbn:de:hbz:1044-opus-52 SN - 1869-5272 SS - 1869-5272 SN - 978-3-96043-006-3 SB - 978-3-96043-006-3 U6 - https://doi.org/10.18418/978-3-96043-006-3 DO - https://doi.org/10.18418/978-3-96043-006-3 SP - v, 55 S1 - v, 55 ER -