Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!lll-crg!lll-lcc!unisoft!dual!ucbvax!oregon-state.CSNET!tgd
From: tgd@oregon-state.CSNET (Tom Dietterich)
Newsgroups: mod.ai
Subject: Non-monotonic reasoning and truth maintenance systems
Message-ID: <8611120808.AA14610@ucbvax.Berkeley.EDU>
Date: Mon, 10-Nov-86 21:41:39 EST
Article-I.D.: ucbvax.8611120808.AA14610
Posted: Mon Nov 10 21:41:39 1986
Date-Received: Wed, 12-Nov-86 20:17:05 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 14
Approved: ailist@sri-stripe.arpa


"These systems don't usually have any deductive power at all,
they are merely constraint satisfaction devices."
     --David Etherington

I am confused by this last sentence.  Isn't constraint satisfaction
a kind of inference?  deKleer's ATMS and McAllester's RUP handle
large portions (maybe all?) of propositional logic.

--Tom Dietterich
Department of Computer Science
Oregon State University
Corvallis, OR 97331
tgd%oregon-state.csnet