eBook - Design of Logic-based Intelligent Systems
Available Exclusively as an eBook | Part of the AI eBook Collection | Only for Institutional Purchase | Publication Year: 2024
Description
Design of Logic-based Intelligent Systems by Klaus Truemper presents principles and methods for constructing intelligent systems using an extension of propositional logic. It covers levels of thinking, expert systems, reasoning under uncertainty, learning logic from data, and nonmonotonic reasoning, serving as both a handbook for AI practitioners and advanced students.
Table of Contents
Chapter 1 Introduction
PART I: LOGIC PROBLEMS
Chapter 2 Introduction to Logic and Problems SAT and MINSAT
Chapter 3 Variations of SAT and MINSAT
Chapter 4 Quantified SAT and MINSAT
PART II: FORMULATION OF LOGIC SYSTEMS
Chapter 5 Basic Formulation Techniques
Chapter 6 Uncertainty
PART III: LEARNING
Chapter 7 Learning Formulas
Chapter 8 Accuracy of Learning Formulas
PART IV: ADVANCED REASONING
Chapter 9 Nonmonotonic and Incomplete Reasoning
Chapter 10 Question-and-Answer Processes
PART V: APPLICATIONS
Chapter 11 Applications