Describir: Non-Monotonic Reasoning on Board a Sony AIBO