W3C home > Mailing lists > Public > www-rdf-logic@w3.org > January 2002

Re: Logic and proof tutorial resources

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Fri, 11 Jan 2002 17:22:42 -0600
Message-Id: <p05101024b865236b17c2@[]>
To: Piotr Kaminski <piotr@ideanest.com>
Cc: www-rdf-logic@w3.org
>  > >[1] http://www.wikipedia.com/wiki/Larrys_Text
>>  I really would not recommend this, to be honest.
>What can you recommend?  I'm currently working my way through Sowa's
>Knowledge Representation book (2000).  It's not exactly easy going, but it
>seems to be relevant.  What's your opinion?

I agree it is useful, although somewhat idiosyncratic in places (ie I 
don't always agree with him :-). Also, John's website has some 
excellent introductory material and overviews, cf especially sections 
8-10 of http://users.bestweb.net/~sowa/misc/mathw.htm.  Also, the 
description of CYCL (another slightly idiosyncratic version of logic) 
at http://www.cyc.com/cycl.html  is a good tutorial, as long as one 
bears in mind that the particular syntax being described is not 
widely used.

Pat Hayes

PS. Sorry this reply is so delayed.
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Friday, 11 January 2002 18:21:40 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:37 UTC