Design of Logic-based Intelligent Systems - Hardcover

Truemper, Klaus

Hardcover

ISBN 10: 0471484032 ISBN 13: 9780471484035

Publisher: Wiley-Interscience, 2004

Synopsis

Principles for constructing intelligent systems
Design of Logic-based Intelligent Systems develops principles and methods for constructing intelligent systems for complex tasks that are readily done by humans but are difficult for machines. Current Artificial Intelligence (AI) approaches rely on various constructs and methods (production rules, neural nets, support vector machines, fuzzy logic, Bayesian networks, etc.). In contrast, this book uses an extension of propositional logic that treats all aspects of intelligent systems in a unified and mathematically compatible manner.
Topics include:
* Levels of thinking and logic
* Special cases: expert systems and intelligent agents
* Formulating and solving logic systems
* Reasoning under uncertainty
* Learning logic formulas from data
* Nonmonotonic and incomplete reasoning
* Question-and-answer processes
* Intelligent systems that construct intelligent systems
Design of Logic-based Intelligent Systems is both a handbook for the AI practitioner and a textbook for advanced undergraduate and graduate courses on intelligent systems. Included are more than forty algorithms, and numerous examples and exercises. The purchaser of the book may obtain an accompanying software package (Leibniz System) free of charge via the internet at leibnizsystem.com.

About this title

About the Author

Klaus Truemper is a professor of computer science at the University of Texas at Dallas. He is the author of two books, including Effective Logic Computation (Wiley, 1998).

From the Back Cover

Principles for constructing intelligent systems

Design of Logic-based Intelligent Systems develops principles and methods for constructing intelligent systems for complex tasks that are readily done by humans but are difficult for machines. Current Artificial Intelligence (AI) approaches rely on various constructs and methods (production rules, neural nets, support vector machines, fuzzy logic, Bayesian networks, etc.). In contrast, this book uses an extension of propositional logic that treats all aspects of intelligent systems in a unified and mathematically compatible manner.

Topics include:

• Levels of thinking and logic
• Special cases: expert systems and intelligent agents
• Formulating and solving logic systems
• Reasoning under uncertainty
• Learning logic formulas from data
• Nonmonotonic and incomplete reasoning
• Question-and-answer processes
• Intelligent systems that construct intelligent systems

Design of Logic-based Intelligent Systems is both a handbook for the AI practitioner and a textbook for advanced undergraduate and graduate courses on intelligent systems. Included are more than forty algorithms, and numerous examples and exercises. The purchaser of the book may obtain an accompanying software package (Leibniz System) free of charge via the internet at leibnizsystem.com.

From the Inside Flap

Principles for constructing intelligent systems

Design of Logic-based Intelligent Systems develops principles and methods for constructing intelligent systems for complex tasks that are readily done by humans but are difficult for machines. Current Artificial Intelligence (AI) approaches rely on various constructs and methods (production rules, neural nets, support vector machines, fuzzy logic, Bayesian networks, etc.). In contrast, this book uses an extension of propositional logic that treats all aspects of intelligent systems in a unified and mathematically compatible manner.

Topics include:

• Levels of thinking and logic
• Special cases: expert systems and intelligent agents
• Formulating and solving logic systems
• Reasoning under uncertainty
• Learning logic formulas from data
• Nonmonotonic and incomplete reasoning
• Question-and-answer processes
• Intelligent systems that construct intelligent systems

Design of Logic-based Intelligent Systems is both a handbook for the AI practitioner and a textbook for advanced undergraduate and graduate courses on intelligent systems. Included are more than forty algorithms, and numerous examples and exercises. The purchaser of the book may obtain an accompanying software package (Leibniz System) free of charge via the internet at leibnizsystem.com.

Edition details

• Publisher: Wiley-Interscience
• Publication date: 2004
• Language: English
• ISBN 10: 0471484032
• ISBN 13: 9780471484035
• Binding: Hardcover
• Edition number: 1
• Number of pages: 366