Re: Logic and proof tutorial resources

>  > >[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