Reasoning from Incomplete Knowledge in a Procedural Deduction System |
Common terms and phrases
action allow ANIMAL answer antecedent applies approach assertions assume become block checking combination complex component computations condition conjunctive connection consequent consider constant containing control structure cost cube data base deduction systems deleted disjunction distinct domain effects efficient equality example expression fact fails formula FRED given gives goal GREEN handle hierarchy idea identified important incomplete knowledge inferences interpretation invoked involved Kowalski language limited logical look markers match mean method node pattern PLACE1 PLANNER possible PRESENT principle problem procedures programming proof prove question reasoning removed replace represent require resolution restricted result rule satisfy seems SHRDLU simple situation solution solving space split subgoal substitutions succeed Suppose technique theorem proving things true try to prove unidentified expression universal variables