User Guide

HarryHome Design Structures Functions Procedures Status Code UserGuide AdminGuide Download



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

Advisor

Coming soon

Analogize object.

 

Ask question.

 

Challenge proposition.

 

Characterize object.

 

Classify object.

What is object?

Classify type.

what is a type?

Classify type.

what are *s?

Coin termx and termy.

 

Compare a to b.

 

Compare a and b.

 

Consolidate propositionx and propositiony.

 

Contrast a to b.

 

Contrast a and b.

 

contravert proposition.

 

Control

Coming soon

Standardize

Coming soon

convert2 proposition.

 

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.

 

emote feelings.

how do you feel?

Employ object.

 

Execute

Internal function

Exemplify type.

 

Express

Internal function

Extractsentence

Internal function

Falsify

Internal function

Forget proposition.

 

Forgetterm term.

 

Generate

Internal function

Getevent

Coming soon

Getopposition

Internal function

gettime event.

when was *?

gettime now.

What time is it?

identify type.

who is a *?

identify egoname.

who are you?

identify username.

who am I?

identify person.

who is person?

identify subtype supertype.

which subtype is a supertype?

identify subtype characteristic.

which subtype is characteristic?

Imagine something.

 

Induce

Replaced by discover.

Intent

Internal function

Interpret

Internal function

invert proposition,

 

Investigator

Coming soon

joker random.

tell me a joke.

learn {termx transforms to word termy.

in english termx transforms to word termy.

Listener

Coming soon

locate object.

 

Matchpattern

Internal function

Millsmethods

Coming soon

Monitor

Internal function

Mrlogicsolver

Coming soon

Mrmills

Coming soon

Negate

Internal function

Observer

Coming soon

Obvert proposition.

 

Oppose proposition.

 

Predictor

Coming soon

Presenter

Coming soon

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.

 

prove object is a type.

why is object a type?

prove last statement.

why?

Puzzler

Coming soon

Randomterm

 

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.

 

Relate a to b.

 

Relate a and b.

 

relateterms temx and termy.

 

relocate object is at the location.

object went to the location.

Remember proposition.

 

Rename 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

Storyteller

Coming soon

support proposition.

why do you think proposition?

Symbolize object.

 

Teacher

Coming soon

Tell sentence.

 

Tester

Coming soon

Thinker

Coming soon

Transform sentence.

 

Translate relationship.

 

Unlearn pattern.

 

Utilize object.

 

Verify proposition.

 

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.