Deduction : Automated Logic
This book presents a broad topic of automated deductive reasoning in a concise and comprehensive way. It contains a comprehensive collection of different deduction mechanisms, and features include extensive references and exercises. The book is intended for undergraduates and graduates of AI and cognitive science; teachers of courses on theorem-proving at MSc level; and research/development groups in industry.
- Hardback | 256 pages
- 152.4 x 231.14 x 20.32mm | 340.19g
- 01 May 1993
- Elsevier Science Publishing Co Inc
- Academic Press Inc
- San Diego, United States
- bibliography, list of symbols
Table of contents
Intellectics, characteristics of intelletics, inference and deduction, historical remarks, contents and structure of this book; deduction in propositional logic; problem reduction, the language of propositional logic, the semantics of propositional logic, a characterization of validity, normal form transformations, a simple connection calculus, general tautology testing; deduction in first-order logic, the language of first-order logic, the semantics of first-order logic, a characterisation of validity, normal form transformations, unification, deduction procedures and variants; compressions and strategies. Gentzen's calculus of natural deduction; the Tableau calculus; refined treatment of quantifiers and instances; connection redection (with Seeffen Holldobler); equality, term rewriting and unification theory, semantic search guidance, meta-inference, abstraction and analogy; parellelism, comparisons and complexity; extensions and applications; higher-order logic, induction, modal logic, further logics, applications and systems. Appendix: exercices and solutions, exercises on propositional logic, exercises on predicate logic and further topics, solutions to selected exercises.