The mobile robot programming problem is a software engineering challenge that is not easily conquered using contemporary software engineering best practices. We propose robot observability as a measure of the diagnostic transparency of a situated robot program, then describe property mapping as a simple, language-independent approach to implementing reliable robot programs by maximizing robot observability. Examples from realworld, working robots are given in Lisp and Java.
Illah R. Nourbakhsh