Re: [ontolog-forum] Proof Animations

[Adrian Walker <adriandwalker@xxxxxxxxx>]

Jon --

Nice!

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.

                                -- Adrian

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

Adrian Walker
Reengineering

On Tue, Sep 21, 2010 at 9:40 PM, Jon Awbrey <jawbrey@xxxxxxx> wrote:

OntoLoggers, Conceptual Graphers ...

Here's a collection of proof animations --
in a variant of Peirce's logical graphs --
that I worked up since last I was here:

http://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations

There's explanatory text to be had:

http://mywikibiz.com/Logical_Graph
http://mywikibiz.com/Propositional_Equation_Reasoning_Systems

But I thought it might be fun just
to show all the pics in one place.

Jon Awbrey

--

inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey

_________________________________________________________________
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

_________________________________________________________________
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)