7 pages matching backward chaining in this book
Results 1-3 of 7
What people are saying - Write a review
We haven't found any reviews in the usual places.
The Deduction Model of Belief
Languages for Belief
5 other sections not shown
agent analytic tableaux answer predicate attachment lemma attachment rule auxiliary tableau axioms B-resolution backward chaining Barcan formula base set belief atoms belief operator belief set believes f bullet operator clause form closed computational containing control strategy deduction model deduction rules deduction structure define example existential expressions first-order language first-order logic formal free variables function ground instances hence Herbrand's theorem id constant individual inference rules internal language interpretation introspective belief system Konolige language LBq metalanguage modal language modal logic model of belief normal modal logics Note object language possible possible-world model prenex prenex normal form propositional attitude quantifiers query Ralph believes reasoning resolution methods resolution rule robot rule-based satisfiable saturated saturated models schema schematic belief derivation schematic constants sentences of LBq sentential model set of sentences signed formulas skolem functions skolem normal form sound and complete standard name substitution syntactic true unit resolution unsatisfiable valid