-
-
Notifications
You must be signed in to change notification settings - Fork 3
robots:store and acquire knowledge
Robots can answer question from its knowledge base or, in absence of that, seek them.
Like tasks, seeking answers requires, honing definitions for answerability. So, for example, a user might ask "Who is the head of Corusant?" and the droid can look it up (if known), seek clarification, or seek the knowledge from a programmable set of knowledge sources.
Radio feedback, if subscribed, can give droids access to a well-categorized, hand-crafted dataset from the manufacturer for the droid to query. There are different data sets to which droids can be subscribed.
- Encyclopedic knowledge
- Current affairs and news.
- Geographical and building data
Droids can be set for their level of inquisitiveness. For example, to ask on every unrecognized item to ask only task list has an ambiguity to never: just guess everytime.
Droids store knowledge in the language of math's
Symbols:
- Biconditional (if and only if): ↔
- conjunction: ^:
- →
Possible values after ∀, ∃ (idems):
- location (or route?)
- task
- intelligent object: a person (or "feeling" thing)
- another droid
- tool or an identifier of a tool (like a barcode; to give detail on tools for pleasing owners)
Stating an idem returns the set that composes it.
Following the Rule of Four, there is a plus and minus one to the list: goals and sensory input.
Possible values after ∈ (idemsets):
- known_locations
- tasklist
- known_people
- available_tools
- for_all Tasks, there_is_a Route toattain Goal.
- Goal >is one of:< new_subtask, new_tool, new_route, person
other math predicate symbols:
- for_all : ∀
- there_exists_a: ∃
- x in X: x ∈ X
- such_that: |
- union: ∪
- and: ∧
- or: ∨
- not: ¬
- to_attain: ⇒
See also: