Here's a short illustration of Brainhat at work.
The vocabulary and language grammar are known to the program in advance.
You can see user inputs (>>),
by Brainhat responses. The first few statements are
Then we exercise a chain of inferences by providing a proposition:
"luigi is near the princess." At the end of the code sample, Brainhat answers "why?" to reveal
the nature of its conclusions.
Brainhat is computation with knowledge.
are natural language propositions (facts) and inference
templates (executables), plus dynamically generated knowledge,
executables and context.
Taken together, knowledge and context motivate goal-oriented
computation, conversation and action.
Brainhat can interact with you and with other Brainhats.
It can manage outside processes, learn and remember.
It can explain its conclusions and anticipate what comes next.
Over the years, we've interfaced with robotics, VoiceXML,
HTML, IM, email and speech recognition for dictation and
Brainhat is a long-standing project, with significant
proprietary development and art.
A new version of Brainhat featuring great scalability, increased
modularity, performance and stunning new capabilities is in the works.
It will be available in 2015.
>> if thing1 is near thing2 then thing2 is near thing1
if thing1 is near thing2 then thing2 is near thing1.
>> if a man sees the princess then he is happy
if a man sees the princess then he is glad.
>> if a man is near the princess then a man can see the
if a man is near the princess then he sees the princess
>> luigi is near the princess
luigi is near the princess. luigi sees the princess. he is glad.
he is glad because luigi sees the princess.
luigi sees the princess because luigi is near the princess.
Internally, the captured knowledge is represented by trees, similar to sentence diagrams.
These can be manipulated, stored, recalled and generalized as processing proceeds.
Interestingly, once the tree is created, the words are no longer needed;
the structure stands for captured knowledge in the absense of language.
There is quite a bit more to Brainhat; we've been working on it for many years.
At some point, the documentation will catch up.
Look around the site.
Experiment if you wish.
Kevin Dowd, firstname.lastname@example.org