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@[65.212.118.208]>
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
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
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