艾伯特Artificial Intelligence through Prolog

《艾伯特Artificial Intelligence through Prolog》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、ArtificialIntelligencethroughPrologbyNeilC.RoweArtificialIntelligencethroughPrologbyNeilC.RowePrentice-Hall,1988,ISBN0-13-048679-5Fulltextofbook(withoutfigures)TableofContentsPrefaceChapter1Chapter2Chapter3Chapter4Chapter5Chapter6Chapter7Chapter8Chapter9Chapter10Chapter11Ch

2、apter12Chapter13Chapter14Chapter15AppendixAAppendixBAppendixCAppendixDAppendixEAppendixFAppendixGSomefiguresincrudeformInstructor'sManual,containingadditionalanswersandexercisesErrataonthebookaspublishedwww.aibbt.com让未来触手可及http://www.cs.nps.navy.mil/people/faculty/rowe/book

3、/book.html[23/04/200217:38:27]http://www.cs.nps.navy.mil/people/faculty/rowe/book/tableconts.htmlTableofcontentsPrefaceAcknowledgementsTothereader1.Introduction1.1Whatartificialintelligenceisabout1.2Understandingartificialintelligence1.3Preview2.Representingfacts2.1Predicat

4、esandpredicateexpressions2.2Predicatesindicatingtypes2.3Abouttypes2.4Goodnaming2.5Propertypredicates2.6Predicatesforrelationships2.7Semanticnetworks2.8GettingfactsfromEnglishdescriptions2.9Predicateswiththreeormorearguments2.10Probabilities2.11Howmanyfactsdoweneed?3.Variabl

5、esandquerieswww.aibbt.com让未来触手可及http://www.cs.nps.navy.mil/people/faculty/rowe/book/tableconts.html(1of8)[23/04/200217:38:31]http://www.cs.nps.navy.mil/people/faculty/rowe/book/tableconts.html3.1Queryingthefacts3.2Querieswithonevariable3.3Multi-directionalqueries3.4Matching

6、alternatives3.5Multi-conditionqueries3.6Negativepredicateexpressions3.7Somequeryexamples3.8Loadingadatabase3.9Backtracking3.10Aharderbacktrackingexample:superbosses3.11Backtrackingwith"not"s3.12Thegenerate-and-testscheme3.13Backtrackingwith"or"s(*)3.14Implementationofbacktr

7、acking3.15Aboutlongexamples4.Definitionsandinferences4.1Rulesfordefinitions4.2Ruleandfactorder4.3Rulesasprograms4.4Rulesinnaturallanguage4.5Ruleswithoutrightsides4.6Postponedbinding4.7Backtrackingwithrules4.8Transitivityinferences4.9Inheritanceinferences4.10Someimplementati

8、onproblemsfortransitivityandinheritance4.11Alongerexample:sometrafficlaws4.12Runni