Simply Logical.pdf

《Simply Logical.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、SimplyLogicalIntelligentReasoningbyExamplePeterFlachUniversityofBristol,UnitedKingdomThisisaPDFcopyofthebookthatwaspublishedbetween1994and2007byJohnWiley&Sons.Thecopyrightnowresideswiththeauthor.ThisPDFcopyismadeavailablefreeofcharge.Thereareasmallnumberofdiscrepancieswiththeprintversion,inclu

2、ding!differentpagenumbersfromPartIII(p.129)!certainmathematicalsymbolsarenotdisplayedcorrectly,includingo!displayedas

3、o"displayedas

4、;/o#displayedas=o$displayedas=;/!theindexiscurrentlymissingContentsForeword.......................................................................................

5、..............................................ixPreface.........................................................................................................................................xiAcknowledgements....................................................................................

6、..............................xviILogicandLogicProgramming.............................................................................................11.Abriefintroductiontoclausallogic.....................................................................31.1Answeringqueries...................

7、.............................................................51.2Recursion...............................................................................................71.3Structuredterms..................................................................................111.4Whatelseistheretokn

8、owaboutclausallogic?...............................152.Clausallogicandresolution:theoreticalbackgrounds.........................................172.1Propositionalclausallogic..................................................................182.2Relationalclausallogic...........................

9、............................................252.3Fullclausallogic.................................................................................302.4Definiteclauselogic..................................................................