Deduction Engine for Possibility Logic?

Mark Reid (mreid@cse.unsw.edu.au)
Wed, 24 Feb 1999 22:08:05 +0100 (MET)

Hi,

I'm currently writing software to induce possibilty logic programs. As
part of this program I require an engine that can do deduction on
possibility logic programs. Dubois, Lang and Prade discuss a method of
"deduction under partial inconsistency" in Volume 3 of the "Handbook of
Logic in AI and Logic Programming". An implementation of this method is
pretty much what I require.

Also, if anyone has any references pertaining to the induction of
possibility logic programs I would greatly appreciate having them sent
my way.

Thanks in advance,

Mark.

-- 
\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/
\_        Mark Reid           \_/ School of Computer Science _/
\_   mreid@cse.unsw.edu.au    \_/  University of New South   _/
\_ www.cse.unsw.edu.au/~mreid \_/     Wales -- Australia     _/
\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/

############################################################################ This message was posted through the fuzzy mailing list. (1) To subscribe to this mailing list, send a message body of "SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at (2) To unsubscribe from this mailing list, send a message body of "UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com" to listproc@dbai.tuwien.ac.at (3) To reach the human who maintains the list, send mail to fuzzy-owner@dbai.tuwien.ac.at (4) WWW access and other information on Fuzzy Sets and Logic see http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info (5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html