Decision and Intelligence

The syntax of first order predicate language, 155 Alphabet, 155 Terms, 156 Atoms (or atomic formulae), 156 Well-formed formulae (or formulae, abbreviated as wffs), 157 Inference rules, 157 Semantics of first order predicate language, 158 Interpretations, 158 Formula value according to an interpretation, 159 Validity (and invalidity), inconsistency (and consistency) of a formula, 160 Indecidability and semi-decidability of first order predicate logic, 161 Equivalent formulae, 161 Logical consequence formulae, 162 Relationship between the idea of theorems and of logical consequences, 162 Sound groups of inference rules, 163 Complete groups of inference rules, 163 Sound or complete: rationale for application, 163 The resolution principle, 163 Clauses, 163 Normal prefix form of a wff, 164 Transformation in clause form or clausal form, 165 Relationship between a set of wffs and a set of clause forms of these wffs, 167 The resolution principle applied to concrete clauses, 168 Unification, 168 The resolution principle applied to arbitrary clauses, 172 A variant in the presentation of the resolution principle, 173 General properties of the resolution principle, Front Matter....Pages 1-7 Prospects for knowledge-based robots....Pages 9-17 Robots and artificial intelligence: parallel developments....Pages 19-40 Expert systems and knowledge-based languages....Pages 41-54 Production-rule expert systems....Pages 55-77 Introduction to search techniques....Pages 79-87 Heuristic graph searching....Pages 89-119 AND/OR graphs....Pages 121-154 First order predicate logic....Pages 155-183 Future prospects for knowledge-based robots....Pages 185-192 Back Matter....Pages 193-203