Artificial Intelligence Through Prolog - Neil C Rowe

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

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

2、r10Chapter11Chapter12Chapter13Chapter14Chapter15AppendixAAppendixBAppendixCAppendixDAppendixEAppendixFAppendixGSomefiguresincrudeformInstructor'sManual,containingadditionalanswersandexercisesErrataonthebookaspublishedwww.aibbt.com艾伯特-专注人工智能http://www.cs.nps.na

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

4、gence1.3Preview2.Representingfacts2.1Predicatesandpredicateexpressions2.2Predicatesindicatingtypes2.3Abouttypes2.4Goodnaming2.5Propertypredicates2.6Predicatesforrelationships2.7Semanticnetworks2.8GettingfactsfromEnglishdescriptions2.9Predicateswiththreeormorea

5、rguments2.10Probabilities2.11Howmanyfactsdoweneed?3.Variablesandquerieswww.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.1Que

6、ryingthefacts3.2Querieswithonevariable3.3Multi-directionalqueries3.4Matchingalternatives3.5Multi-conditionqueries3.6Negativepredicateexpressions3.7Somequeryexamples3.8Loadingadatabase3.9Backtracking3.10Aharderbacktrackingexample:superbosses3.11Backtrackingwith

7、"not"s3.12Thegenerate-and-testscheme3.13Backtrackingwith"or"s(*)3.14Implementationofbacktracking3.15Aboutlongexamples4.Definitionsandinferences4.1Rulesfordefinitions4.2Ruleandfactorder4.3Rulesasprograms4.4Rulesinnaturallanguage4.5Ruleswithoutrightsides4.6Postp

8、onedbinding4.7Backtrackingwithrules4.8Transitivityinferences4.9Inheritanceinferences4.10Someimplementationproblemsfortransitivityandinheritance4.11Alongerexample:sometrafficlaws4.1