|From:||Adrian Walker <adriandwalker@xxxxxxxxx>|
|Date:||Wed, 22 Sep 2010 07:42:10 -0400|
Is the purpose for education and debugging?
Another way of displaying proofs is to only show a success path -- no backtracks, as in the system online at the site below. (Click on "Get an explanation"). A variation is to show such a proof with abductive (assumed) nodes, showing what would be needed to change a No to a Yes.
Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English Q/A over SQL and RDF
Online at www.reengineeringllc.com
Shared use is free, and there are no advertisements
On Tue, Sep 21, 2010 at 9:40 PM, Jon Awbrey <jawbrey@xxxxxxx> wrote:
OntoLoggers, Conceptual Graphers ...
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] language vs logic - ambiguity and startingwithdefinitions, Rick Murphy|
|Next by Date:||Re: [ontolog-forum] language vs logic - ambiguity and startingwithdefinitions, John F. Sowa|
|Previous by Thread:||[ontolog-forum] Proof Animations, Jon Awbrey|
|Next by Thread:||Re: [ontolog-forum] Proof Animations, Jon Awbrey|
|Indexes:||[Date] [Thread] [Top] [All Lists]|