User Guide
Harry Workman is an intelligent conversationalist that has the ability to field questions, or ask itself scripted or auto generated questions, each followed by understanding the question and formulating a response, using one or more reasoning techniques. Harry also responds to commands from the user.
Harry's native language is "Commando": a command-based language loosely based on English. Harry also has been taught English phrases equivalent to many of the commands. You may use the command language or the English equivalents. You may also choose to teach Harry more English equivalents. Harry comes to you with no knowledge of the world except for these language abilities. You will become his mentor for world knowledge. See the commands and English equivalents below.
| Commando | English |
| Abduce | Replaced by discover. |
| Acquire | Internal function used to get inputs. |
| Advisor | Coming soon |
| Analogize object. | not active. |
| Ask question. | ask why is tom a human? |
| Challenge proposition. | internal function that checks to see if already known or if negative or opposite is found. |
| Characterize object. | finds adjectives that relate to subject. |
| Classify object. | What is object? |
| Classify type. | what is a type? |
| Classify type. | what are *s? |
| Coin termx and termy. | makes a new word combining two terms. |
| Compare a to b. | finds matching elements in set a that match elements in set b.. |
| Compare a and b. | finds matching elements between set a and set b. |
| Consolidate propositionx and propositiony. | creates a single sentence from sentences wiith matching subjects or predicates.. |
| Contrast a to b. | finds non-matching elements in set A contrasted with set B. |
| Contrast a and b. | finds non-matching elements between set A and set B. |
| contravert proposition. | not functional. |
| Control | Coming soon |
| Standardize | Coming soon |
| convert2 proposition. | not functional. |
| Createsentences | Internal function |
| Customer | Coming soon |
| Replaced by discover. | |
| Describe type. | tell me about type. |
| describe object. | tell me about object. |
| Detective | Coming soon |
| diagnose symptom is person's symptom. | person is sick with a symptom. |
| Discover proposition. | finds matching propositions in the knowledge table. |
| emote feelings. | how do you feel? |
| Employ object. | finds what objects uses. |
| Execute | Internal function |
| Exemplify type. | finds examples of an object. |
| Express | Internal function that writes outputs to dialog table and voice and output screen. |
| Extractsentence | Internal function that isolates a sentence from a paragraph. |
| Falsify | |
| Forget proposition. | delets matching proposition from the knowledge table. |
| Forgetterm term. | deletes all propositions using this term. |
| Generate | Internal function |
| Getevent | Coming soon |
| Getopposition | Internal function |
| gettime event. | when was *? example: when was america_discovered? |
| gettime now. | What time is it? |
| identify type. | who is a *? example: who is a human? |
| identify egoname. | who are you? |
| identify username. | who am I? |
| identify person. | who is person? example: who is john? |
| identify subtype supertype. | which subtype is a supertype? example: which cat is an animal? |
| identify subtype characteristic. | which subtype is characteristic? example: which state is large? |
| Imagine something. | not functional. |
| Induce | Replaced by discover. |
| Intent | Internal function that stores the command. |
| Interpret | Internal function that uses the language table to convert the input sentence into an internal standard format. |
| invert proposition, | not functional. |
| Investigator | Coming soon |
| joker random. | joker tell me a joke. |
| learn {termx transforms to word termy. | in english termx transforms to word termy. lets harry interpret a term to another term. |
| Listener | Coming soon |
| locate object. | where is john? |
| Matchpattern | Internal function |
| Millsmethods | Coming soon |
| Monitor | Internal function, not fucntional. |
| Mrlogicsolver | Coming soon |
| Mrmills | Coming soon |
| Name *'s *. - input: * is * of *. | command: Name harry's skill. - command:[Remember] doodling is skill of harry. |
| Negate | Internal function that creates the negative form of a proposition. |
| Observer | Coming soon |
| Obvert proposition. | not functional |
| Oppose proposition. | not functional |
| Planner | plan event - adds new appointment. planner add - adds new appointment. planner list - lists appointments. planner cleanup - removes yesterday's appointments. planner count - counts all appointments. |
| Predictor | Coming soon |
| Presenter | Presenter list stories. Presenter narrator narrates storyname. |
| problem I have a problem called problem. | Coming soon |
| problem problem problem contains categories categories. | Coming soon |
| problem category category contains item item. | Coming soon |
| problem problem problem contains clue clue. | Coming soon |
| problem solve problem problem. | Coming soon |
| Process | Coming soon |
| Processor | Coming soon |
| Prove proposition. | why is tom a human? |
| prove object is a type. | why is object a type? |
| prove last statement. | why? |
| Puzzler | Coming soon |
| Randomterm | returns a random term from the knowledge table. |
| Reader | Coming soon |
| recall person's characteristic. | name person 's characteristic. |
| recall person's characteristic is type. | name person's characteristic is type. |
| Record | Coming soon |
| Refute proposition. | internal function that denies the proposition. |
| Relate a to b. | compares and contrasts set A to set B. |
| Relate a and b. | compares ans contrasts set A and set B. |
| relateterms temx and termy. | |
| relocate object is at the location. | object went to the location. |
| Remember proposition. | stores proposition if valid. |
| Rename term. | changes a term to a new term. |
| repeat last statement. | What [did you say]? |
| Resolve | Coming soon |
| respondto termx with termy. | when you hear termx you say termy. |
| Salesman | Coming soon |
| Setevent | Coming soon |
| settime object-event year-year. | object was event in the year year. |
| showconversation prior conversation. | Show me what we were talking about last time. |
| Speakfile | Internal function that expresses sentences. |
| Storyteller | Coming soon |
| support proposition. | why do you think proposition? |
| Symbolize object. | |
| Teacher | Mentalist teaches memory techniques. |
| Tell sentence. | outputs sentence. |
| Tester | working |
| Thinker | Coming soon |
| Transform sentence. | uses language patterns to change internal form to grammatical form. |
| Translate relationship. | uses language patterns to change internal form to english form. |
| Unlearn pattern. | deletes language pattern. |
| Utilize object. | |
| Verify proposition. | checks knowledge table for a match. |
| verify object is characteristic. | is object characteristic? |
| verify object is in location. | is object in location? |
| verify object is a type. | is object a type? |
| verify object is on object. | is object on object? |
| verify object is at location. | is object at location? |
| Writer | Coming soon |
Now that you have a grasp of Harry's language you will want to give him knowledge about the world. He learns about the world by listening to his mentor, who speaks to him using "Commando" and propositions. Additionally, he can be taught new language patterns and rules of inference. A few language conversions are listed below.
- "are you" => "is harry"
- "yourself " => "harry"
- "you are" => "harry is"
- "you're" => "harry is"
- "I am" => [username] " is"
- "I'm" => [username] "is"
- "myself" => [username]
- "you" => "harry"
- "am I" => "is "[username]
- "your" => "harry's"
- "my" => [username]"'s"
- "an" => "a"
- "person" => "human"
These terms may be used in the proposition patterns below.
- object is a type.
- object is not a type
- Object is attribute.
- object is possibly attribute.
- object is not attribute.
- object will be attribute.
- types are types.
- types are not types.
- types possibly are types.
- types possibly are not types.
- some types are types.
- some types are not types.
- No types are non-types.
- All non-types are non-types.
- types are attribute.
- types are not attribute.
- types possibly are attribute.
- some types are attribute.
- some types are not attribute.
- object is on location.
- object is at location.
- object is located at the location.
- object is in location.