nematollaah shiri fmcggencsconcordiaca expressed zadehs statements following program prolog extended uncertainty similar van emdens framework value x x next rule program indicates certainty conjunction body implies rule head use min obtain certainty rule body use product combine certainty body rule certainty x order derive certainty rule head alternative derivations rule head combined one certainty value using max p 1 read p definitely true q p 1 read q definitely consequence p r q 01 r consequence q low certainty 01 p q 0001 possible consequence p q possibility low note last rule indicates possibility person born new jersey new york evaluate rule using say fuzzy logic possibility theory obtain following 4 atomcertainty pairs least model program p1 q1 r01 00001 seen certainty obtained given scenario programis low change certainty last rule program 0 instead 0001 would derived t0 desired explanation rule evaluation procedure given b1bn x x certainty associated implication certainty rule x mincertb1certbn certbi denotes certainty atom bi shiri returnpath nhipljlbixengrorstedu deliverydate wed jul 13 115432 2005 returnpath received perseveranceencsconcordiaca vngaperseverance96encsconcordiaca 1322059694 tactservicesencsconcordiaca 8121181211 esmtp id j6dfswwg032320 wed 13 jul 2005 115432 0400 received smtp2oregonstateedu ryaqyadsmtp2oregonstateedu 12819348 perseveranceencsconcordiaca 8121181211 esmtp id j6dfsuy4030215 wed 13 jul 2005 115430 0400 received localhost localhost 127001 smtp2oregonstateedu postfix esmtp id e8de917022b wed 13 jul 2005 085428 0700 pdt received smtp2oregonstateedu 127001 localhost smtp2 127001 amavisdnew port 10024 esmtp id 0669008 wed 13 jul 2005 085428 0700 pdt received engrorstedu engrorstedu 128193402 smtp2oregonstateedu postfix esmtp id 8f24b170272 wed 13 jul 2005 085428 0700 pdt received engrorstedu localhost 127001 engrorstedu 8121081210 esmtp id j6dfrcin024090 wed 13 jul 2005 085338 0700 pdt received smtp2oregonstateedu ryaqyadsmtp2oregonstateedu 12819348 engrorstedu 8121081210 esmtp id j6cmmbin028412 tue 12 jul 2005 154811 0700 pdt received localhost localhost 127001 smtp2oregonstateedu postfix esmtp id 7c4f2170013 tue 12 jul 2005 154811 0700 pdt received smtp2oregonstateedu 127001 localhost smtp2 127001 amavisdnew port 10024 esmtp id 3225601 tue 12 jul 2005 154811 0700 pdt received gateway2eecsberkeleyedu gateway2eecsberkeleyedu 1692296039 smtp2oregonstateedu postfix esmtp id 444f7170011 tue 12 jul 2005 154811 0700 pdt received eecsberkeleyedu imap4csberkeleyedu 1692296023 gateway2eecsberkeleyedu 81348133 esmtp id j6cmman9006638 tue 12 jul 2005 154810 0700 pdt received 1283215372 imap4csberkeleyedu mshttpd tue 12 jul 2005 154810 0700 faqengrorstedu messageid date tue 12 jul 2005 154810 0700 xmailer sun javatm system messenger express 62205 built apr 28 2005 mimeversion 10 contentlanguage en xacceptlanguage en priority normal contentdisposition inline xvirusscanned amavisdnew oregonstateedu xmailmanapprovedat wed 13 jul 2005 085337 0700 subject uai paradox xbeenthere faqengrorstedu xmailmanversion 216 precedence list listid association uncertainty ai listunsubscribe listpost listhelp listsubscribe contenttype textplain charsetusascii contenttransferencoding 7bit sender nhipljlbixengrorstedu errorsto nhipljlbixengrorstedu xvirusscanned amavisdnew oregonstateedu xspamstatus hits0178 tagged_above999 required5 testsno_real_name0178 xspamlevel xscannedby mimedefang 243 perseveranceencsconcordiaca 20050713 115430 edt xcsspam 3 explicit concordia sender recipient xcsspam summary 3 total 3 xcsspam 3 explicit concordia sender recipient xcsspam summary 3 total 3 status xstatus xkeywords xuid 13 consider following line reasoning let p proposition ronald born new york p infer q ronald born united states q infer r possible ronald born new jersey hand p infer possible ronald born new jersey arrived contradiction wrong note answer question familiarity modal logic needed lotfi zadeh professor graduate school computer science division department electrical engineering computer sciences university california berkeley ca 94720 1776 director berkeley initiative soft computing bisc teloffice 510 6424959 uai mailing list wed 06 aug 2008 105702 0400 uai paradox