Design of Logic-based Intelligent Systems

Klaus Truemper

352 pages, parution le 12/08/2004

Ajouter à une liste

Indisponible

Résumé

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.

L'auteur - Klaus Truemper

Klaus Truemper, PhD, is Professor of Computer Science at the University of Texas at Dallas. He is the author of two other books, including Effective Logic Computation (Wiley).

Sommaire

Introduction
Logic problems
- Introduction to Logic and Problems SAT and MINSAT
- Variations of SAT and MINSAT
- Quantified SAT and MINSAT
Formulation of logic systems
- Basic Formulation Techniques
- Uncertainty
Learning
- Learning Formulas
- Accuracy of Learning Formulas
Advanced reasoning
- Nonmonotonic and Incomplete Reasoning
- Question-and-Answer Processes
Applications
- Applications

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Wiley
Auteur(s)	Klaus Truemper
Parution	12/08/2004
Nb. de pages	352
Format	16 x 24
Couverture	Relié
Poids	650g
Intérieur	Noir et Blanc
EAN13	9780471484035
ISBN13	978-0-471-48403-5