## Reasoning from incomplete knowledge in a procedural deduction system |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

lntroduction | 1 |

Negation and lmplication | 15 |

Disjunction | 27 |

Copyright | |

6 other sections not shown

### Common terms and phrases

ANIMAL X antecedent deductions Artificial Intelligence bottom-up checking class markers combination complex assertions computations conjunctive goals consequent theorems control structure cube data base deleted disjunction domain Drew McDermott efficient ELEPHANT example EXP1 EXP2 fact Fahlman formula goal tree handle hash table heuristic hierarchy Horn clauses idea identified constant incomplete knowledge inferences invoked Kowalski LIVING-AREA LOC A PLACED LOC X BOX logical MAIN-FLOOR match method Micro-Planner negation Nevins node paramodul pattern matcher PLACE2 PLANNER PLANNER-type predicate calculus principle of procrastination problem solving procedural deduction systems procedural interpretations programming language quantification question reasoning replaced represent resolution systems restrictions robot rule search space semantics SHRDLU Skolem functions SLEEPING-AREA split strategy subgoal Suppose we know technique theorem prover theorem proving THGOAL things THNOT top-down try to prove Uhat unidentified expression variables want to prove