Andere Kunden interessierten sich auch für
![An Introduction to Default Logic]( "An Introduction to Default Logic")
An Introduction to Default Logic77,99 €![Applied Evolutionary Algorithms in Java]( "Applied Evolutionary Algorithms in Java")
Applied Evolutionary Algorithms in Java117,99 €![Communication from an Artificial Intelligence Perspective]( "Communication from an Artificial Intelligence Perspective")
Communication from an Artificial Intelligence Perspective116,99 €![Gehirn, Computer, Komplexität]( "Gehirn, Computer, Komplexität")
Gehirn, Computer, Komplexität44,99 €![An Introduction to Default Logic]( "An Introduction to Default Logic")
An Introduction to Default Logic77,99 €![Automated Theorem Proving]( "Automated Theorem Proving")
Automated Theorem Proving182,99 €![Computer Science Logic]( "Computer Science Logic")
Computer Science Logic39,99 €
Contents:
Prologue.
- Production Systems and AI.
- Search Strategies for AI Production Systems.
- Search Strategies for Decomposable Production Systems.
- The Predicate Calculus in AI.
- Resolution Refutation Systems.
- Rule-Based Deduction Systems.
- Basic-Plan-Generating Systems.
- Advanced Plan-Generating Systems.
- Structured Object Representations.
- Prospectus. - Bibliography.
- Author Index. - Subject Index
Previous treatments of Artificial Intelligence (AI) divide the subject into its major areas of application, namely, natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, intelligent data retrieval systems, etc. The major difficulty with this approach is that these application areas are now so extensive, that each could, at best, be only superficially treated in a book of this length. Instead, I have attempted here to describe fundamental AI ideas that underlie many of these applications. My organization of these ideas is not, then, based on the subject matter of their application, but is, instead, based on general computational concepts involving the kinds of data structures used, the types of operations performed on these data struc tures, and the properties of con'trol strategies used by AI systems. I stress, in particular, the important roles played in AI by generalized production systems and the predicate calculus. The notes on which the book is based evolved in courses and seminars at Stanford University and at the University of Massachusetts at Amherst. Although certain topics treated in my previous book, Problem solving Methods in Artificial Intelligence, are covered here as well, this book contains many additional topics such as rule-based systems, robot problem-solving systems, and structured-object representations.
Prologue.
- Production Systems and AI.
- Search Strategies for AI Production Systems.
- Search Strategies for Decomposable Production Systems.
- The Predicate Calculus in AI.
- Resolution Refutation Systems.
- Rule-Based Deduction Systems.
- Basic-Plan-Generating Systems.
- Advanced Plan-Generating Systems.
- Structured Object Representations.
- Prospectus. - Bibliography.
- Author Index. - Subject Index
Previous treatments of Artificial Intelligence (AI) divide the subject into its major areas of application, namely, natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, intelligent data retrieval systems, etc. The major difficulty with this approach is that these application areas are now so extensive, that each could, at best, be only superficially treated in a book of this length. Instead, I have attempted here to describe fundamental AI ideas that underlie many of these applications. My organization of these ideas is not, then, based on the subject matter of their application, but is, instead, based on general computational concepts involving the kinds of data structures used, the types of operations performed on these data struc tures, and the properties of con'trol strategies used by AI systems. I stress, in particular, the important roles played in AI by generalized production systems and the predicate calculus. The notes on which the book is based evolved in courses and seminars at Stanford University and at the University of Massachusetts at Amherst. Although certain topics treated in my previous book, Problem solving Methods in Artificial Intelligence, are covered here as well, this book contains many additional topics such as rule-based systems, robot problem-solving systems, and structured-object representations.