Artificial intelligence techniques in Prolog
This unique book is a broad, clear, up-to-date presentation of AI programming and problem-solving techniques. The techniques are presented in Prolog, which has become a widely used AI programming language throughout the world. The book will be useful as a text in technique-oriented introductory courses in AI, as a text in AI programming courses, and as a sourcebook for the professional AI system builder.
4 pages matching BProof in this book
Results 1-3 of 4
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
adjacency list algorithm and-or tree append Arguments assert assumption backtracking backward chaining Bayesian networks best-ﬁrst search blackboard systems BProof breadth-ﬁrst search Bstack called CausalLinks Certainty chapter clause CLOSED list CnumList computation concept conﬂict conjunct consistent constraints contains database deﬁned deﬁnition deletion depth-ﬁrst search discussed domain entropy example Exercise fact tokens Figure ﬁnd findall ﬁrst forward chaining forward-chaining rules function game tree given goal GoalCnum GoalPred graph heuristic Hfun hierarchy inﬁnite input instantiated integers interval justificand justiﬁcation label lnitState matrix meta-interpreter modiﬁcation MoreData MoreOPEN MoreTstack natural language NewBstack NewCnumList NewOPEN NextT no_op Node I Path Node1 nogood OldUp operator parse tree partial evaluation planner potential_fact_token preconditions predicate procedure production systems Prolog Prolog implementation query quindim regress represented retract Rgoal satisﬁed setof speciﬁc STRIPS succeed SymbolTable techniques TMSs truth maintenance systems update Val1 variables verb write