A light non-monotonic knowledge-base for service robots