artificial人工智能人工神经网络及其语言ai&ann intelligence through prolog

《artificial人工智能人工神经网络及其语言ai&ann intelligence through prolog》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

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

2、r14Chapter15AppendixAAppendixBAppendixCAppendixDAppendixEAppendixFAppendixGSomefiguresincrudeformInstructor'sManual,containingadditionalanswersandexercisesErrataonthebookaspublishedhttp://www.cs.nps.navy.mil/people/faculty/rowe/book/book.html[23/04/200217:38:27]http://www.cs.nps.navy.mil/people/

3、faculty/rowe/book/tableconts.htmlTableofcontentsPrefaceAcknowledgementsTothereader1.Introduction1.1Whatartificialintelligenceisabout1.2Understandingartificialintelligence1.3Preview2.Representingfacts2.1Predicatesandpredicateexpressions2.2Predicatesindicatingtypes2.3Abouttypes2.4Goodnaming2.5Prop

4、ertypredicates2.6Predicatesforrelationships2.7Semanticnetworks2.8GettingfactsfromEnglishdescriptions2.9Predicateswiththreeormorearguments2.10Probabilities2.11Howmanyfactsdoweneed?3.Variablesandquerieshttp://www.cs.nps.navy.mil/people/faculty/rowe/book/tableconts.html(1of8)[23/04/200217:38:31]htt

5、p://www.cs.nps.navy.mil/people/faculty/rowe/book/tableconts.html3.1Queryingthefacts3.2Querieswithonevariable3.3Multi-directionalqueries3.4Matchingalternatives3.5Multi-conditionqueries3.6Negativepredicateexpressions3.7Somequeryexamples3.8Loadingadatabase3.9Backtracking3.10Aharderbacktrackingexamp

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

7、edbinding4.7Backtrackingwithrules4.8Transitivityinferences4.9Inheritanceinferences4.10Someimplementationproblemsfortransitivityandinheritance4.11Alongerexample:sometrafficlaws4.12Runningthetrafficlightsprogram4.13Declarative