Re: answering airport & chicken questions with MKE + OpenCyc

Thanks for the "causality" pointer.
I found CycL "#$causes-PropProp",
which is essentially the same as MKR "causes".

For planning, I didn't find anything that seemed right,
so I made up my own "CycL predicate": "create-plan".

If you now click on the HowAirport.html and WhyChicken.html
links below, you will see the "final" MKR scripts.
I am going to feed these to OpenCyc and see what happens.

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;

----- Original Message ----- 
From: "Stephen Reed" <reed@cyc.com>
To: "Richard H. McCullough" <rhm@cdepot.net>
Cc: "Guha, R. V." <guha@guha.com>; "McCool, Rob" <robm@stanford.edu>;
"KR-language" <KR-language@YahooGroups.com>
Sent: Wednesday, September 03, 2003 3:05 PM
Subject: Re: answering airport & chicken questions with MKE + OpenCyc


> On Wed, 3 Sep 2003, Richard H. McCullough wrote:
>
> > After interfacing with OpenCyc for a couple of days,
> > I think these links are very close to a working interface.
> >
> >
http://rhm.cdepot.net/knowledge/applications/SemanticWeb/OpenCyc/HowAirport.html
> >
http://rhm.cdepot.net/knowledge/applications/SemanticWeb/OpenCyc/WhyChicken.html
> >
> >
> > The two biggest questions left in my mind are
> > 1. Do I have to explicitly tell OpenCyc about instances of concepts?
> >     the #$chicken isu #$chicken;
>
> Right, (#$isa #$Chicken001 #$Chicken)
>
> >     ...
> > 2. What is the OpenCyc way of asking How/Why/Explain/... ?
> > Do these all involve the "Planner"?
> > How do I actually interface with the Planner?
>
> Cyc has vocabulary for events and causality so I can imagine a context in
> which there is a CrossingTheRoad event in which the doer is a chicken.
> Additional causality assertions would indicate the explicit reason why the
> chicken performed the event, or one could assert rules from which the
> reason could be inferred from other aspects of the situation.  You would
> ask Cyc a causation query to obtain the desired answer.
>
> The planner in OpenCyc is a hierarchical task network planner that
> searches for task decompositions that satisfy a goal task.  It would be
> appropriate to use it to deduce how a chicken might navigate from point A
> to point B for example.
> -Steve
>
> > Any help would be appreciated.
> >
> >
> > Dick McCullough
> > knowledge := man do identify od existent done;
> > knowledge haspart proposition list;
> >
>
> -- 
> ===========================================================
> Stephen L. Reed                  phone:  512.342.4036
> Cycorp, Suite 100                  fax:  512.342.4040
> 3721 Executive Center Drive      email:  reed@cyc.com
> Austin, TX 78731                   web:  http://www.cyc.com
>          download OpenCyc at http://www.opencyc.org
> ===========================================================
>
>