ENGLISH

Design of logic-based intelligent systems

Book information

Publisher
John Wiley
Year
2004
ISBN
9780471484035, 0-471-48403-2, 9780471723943, 0471723940, 9781280557149, 1280557141
Language
english
Format
DJVU
Filesize
3 MB (3291373 bytes)
Pages
352\357
Library
kolxoz
Time added
2017-10-15 16:00:00

Description

Content: Preface. 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. References. Author Index. Subject Index.

Similar books