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

RE: Open world assumption reference

From: Jim Hendler <hendler@cs.umd.edu>
Date: Thu, 14 Nov 2002 10:01:38 -0500
Message-Id: <p05111728b9f96adc0326@[]>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>, <waldinger@ai.sri.com>
Cc: <www-rdf-logic@w3.org>

At 8:57 PM +0000 11/13/02, Jeremy Carroll wrote:
>  > there used to be a book "logic for artificial intelligence" by raymond
>>  turner
>>  has some of that sort of stuff.  i haven't read it.
>thanks for that prod - I looked on my boss's bookshelf and found Turner's
>book - it had a pretty mind-blowing definition of monotonicty, near it was
>Sowa's Knowledge Representation, which looks like a safer bet.

Jeremy, if you're looking for something more of a textbook (including 
examples and code) I would suggest Forbus and DeKleers "Building 
Problem Solvers" [1] It doesn't go as deep into the logic stuff, but 
it does have a lot about how to use it and deal with the problems 
that might come up in real logic-based reasoners - as they say

>After working through Building Problem Solvers, readers should have 
>a deep understanding of pattern directed inference systems, 
>constraint languages, and truth maintenance systems. The diligent 
>reader will have worked through several substantial examples, 
>including systems that perform symbolic algebra, natural deduction, 
>resolution, qualitative reasoning, planning, diagnosis, scene 
>analysis, and temporal reasoning.

Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
Received on Thursday, 14 November 2002 10:05:31 UTC

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