Computer Automated Reasoning and Intelligent Instruction

Author: Wang Lan / Le Yuojun (editors)
Publisher:
Publish Date: 2005-01-01
Features: This book primarily introduces the theoretical foundations of computer automatic reasoning, mathematical logic, as well as the introductory intelligent language Prolog based on this theory. It further explores the basic principles, structure, and methods of applying computer automatic reasoning theory in education. It is a summary of the authors' achievements in teaching and research over the years. The main content is divided into three parts:
1. Fundamentals: This section introduces the basic theories and essence of propositional logic, with a focus on first-order predicate logic.
2. Programming: This section introduces the artificial intelligence language Prolog based on first-order predicate logic, explaining the fundamental principles and programming methods of the latest Visual Prolog through numerous examples.
3. Applications: This section introduces the application of computer automatic reasoning theory in education, covering the methods for designing and developing intelligent teaching systems. The theories in this book are somewhat advanced, and the second and third sections include a large number of examples to enable users to independently write programs after reading the book. This book can serve as a textbook for corresponding courses in higher education institutions and is also suitable for self-study by individuals engaged in mathematical logic and intelligent teaching.