For reaching goal situations, techniques {resolution procedure}| {resolution principle} can check if all formulas are true and check if negative of formula to prove is unsatisfiable, to imply formula. Resolution procedures work if formulas, expressed in predicate calculus, describe situation space. Formulas must allow causality, ability, temporality, recursion formulas, and spatial relations.
Mathematical Sciences>Computer Science>Software>Algorithm>Kinds>Search
3-Computer Science-Software-Algorithm-Kinds-Search
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224