robots:task list

The AI envisioned for this project, since they won't have a self-initiating consciousness (which is unique to life or perhaps as early as Fifth Aeon AI), will perforce be task-based -- tasks initiated by humans and subtasks initiated by humans or the 'droid`s prior experiences (task: "make sandwich", for example, requires subtasks, which is known if named or part of a named set of known tasks). Intelligent robots won't take the place of companionship so the only real use is as a task-servant.

A task-based language is envisioned. Where commands are stored, and dependencies can be queried from a knowledge base on prior experience and predicates or queried from owner.

Tasks are queued, generally FIFO (also LILO), and can be re-prioritized or queried to see the state of any existing tasks, what is blocked, and the order of current tasks.

Tasks set up this way form a goal-oriented path which, by being in a chaotic field, require solving subtasks, some of which may intersect with existing tasks on the queue.

Combine this with the ability for droids to communicate and query each other in their own language, provides some very novel possibilities of accelerated development and social efficiency.

This is why droids must have their identity printed on their housing or querable from a human, both model and serial number. This latter should be registered, otherwise the activation of radio homing will not occur. If users do not learn how to command them properly, this just becomes the loss of the buyer and the droid becomes free-ranging and programmable by the general, qualified user.

Besides physical tasks, droids can seek knowledge.

---

Possible or expected TDL:

• math predicate logic: ∃ location ∈ Set(KnownDestinations) | Path1(location) ⇒ Goal(Task1).

Possible values after ∀, ∃:

• location (or route?)
• task
• person
• tool

Possible values after ∈:

• known_locations
• tasklist
• known_people
• available_tools

Possible values after ⇒:

• Goal is one of new_subtask, new_tool, new_route,

The robot arranges it's task list, from it's unordered human input to conform to this language.

other math predicate symbols: ∀∪∧∨¬

---

See also:

• robots:world-view