robots:basics

ENQUEUE(FIND_OWNER)

Android starts with one task (TASK_LIST): FIND_OWNER

=> "implies" ENQUEUE

When ¬TASK_LIST, android enters primary thought cycle: either ACQUIRE_KNOWLEDGE (when curiosity > 0) or FIND_OWNER.

If Owner variable is empty, add to task-list: ACQUIRE-OWNER.

FIND_OWNER => if OWNER then goto(OWNER), else ACQUIRE_KNOWLEDGE(find_owner). Constructive, non-recursive operation.

find_owner: if person visible ask: "Hello, are you my owner?". if YES, then task_complete(FIND_OWNER), else ACQUIRE_KNOWLEDGE

Android thought cycle is one of: acquire (receive input) -> ruminate (match with prior inputs or ask) -> printing (store knowledge in new nodes) -> return (back to acquiring or check tasks list if no inputs)

Owner is buyer unless unit has broken a law, then the owner is empty until new owner is set.

Modes:

• listening: suspend tasks, receiving input
• en-route: on path to performing.
• performing: directly on-task
• returning: task complete

These are the meta-modes related to the primary thought cycle.