| INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
978-0857292988 |
| INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780857292988 |
| DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Call number |
006.3 |
| MAIN ENTRY--PERSONAL NAME |
|---|
| Authors |
Ertel, Wolfgang |
| TITLE STATEMENT |
|---|
| Title |
Introduction to artificial intelligence |
| Statement of responsibility, etc |
Wolfgang Ertel |
| PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
London ; New York : |
| Publisher |
Springer, |
| Date |
c2011. |
| PHYSICAL DESCRIPTION |
|---|
| Extent |
xi, 316 p. : |
| Other Details |
ill. (some col.) ; |
| Size |
24 cm. |
| SERIES STATEMENT |
|---|
| Series statement |
Undergraduate topics in computer science |
| CONTENTS |
|---|
| Contents |
1. Introduction. -- What is artificial intelligence? -- The history of AI -- Agents -- Knowledge-based systems -- 2. Propositional Logic. -- Syntax -- Semantics -- Proof systems -- Resolution -- Horn clauses -- Computability and complexity -- Applications and limitations -- 3. First-order Predicate Logic. -- Syntax -- Semantics -- Quantifiers and normal forms -- Proof calculi -- Resolution -- Automated Theorem Provers --Mathematical examples -- Applications -- 4. Limitations of Logic. -- The search space problem -- Decidability and incompleteness -- The flying penguin -- Modeling uncertainty -- 5. Logic Programming with PROLOG. -- PROLOG systems and implementations -- Simple exercises -- Execution control and procedural elements -- Lists -- Self-modifying programs -- A planning example -- Constraint logic programming -- 6. Search, Games and Problem Solving. -- Introduction -- Uninformed search -- Heuristic search -- Games with opponents -- Heuristic evaluation functions -- State of the art -- 7. Reasoning with Uncertainty. -- Computing with probabilities -- The principle of maximum entropy -- LEXMED, and expert system for diagnosing appendicitis -- Reasoning with Bayesian networks -- 8. Machine Learning and Data Mining. -- Data analysis -- The perceptron, a linear classifier -- The nearest neighbor method -- Decision tree learning -- Learning of Bayesian networks -- The naive Bayes classifier -- Clustering -- Data mining in practice -- 9. Neural Networks. -- From biology to simulation -- Hopfield networks -- Neural Associative memory -- Linear networks with minimal errors -- The backpropagation algorithm -- Support vector machines -- Applications -- 10 Reinforcement Learning. -- Introduction -- The task -- Uninformed combinatorial search -- Value iteration and dynamic programming -- A learning walking robot and its simulation -- Q-learning -- Exploration and exploitation -- Approximation, generalization and convergence -- Applications -- Curse of dimensionality -- 11. Solutions for the Exercises. -- Introduction -- Propositional logic -- First-order predicate logic -- Limitations of logic -- PROLOG -- Search, games and problem solving -- Reasoning with uncertainty -- Machine learning and data mining -- Neural networks -- Reinforcement learning. |
| SUMMARY |
|---|
| Summary |
This accessible textbook supports a foundation or module course on A.I., covering a broad selection of the subdisciplines within this field. It provides study exercises at the end of each chapter, plus examples, definitions, theorems, and illustrations. |
| STUDY PROGRAM |
|---|
| Program name |
CSCI323 CSCI236 CSCI346 CSCI356 CSCI366 |
| SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Heading |
Artificial intelligence |
| ADDED ENTRY |
|---|
| Name |
Black, Nathanael, |
| Role |
Translated by |
| ADDED ENTRY |
|---|
| Name |
Mast, Florian, |
| Role |
Illustrations by |
| SERIES UNIFORM TITLE |
|---|
| Series Uniform Title |
Undergraduate topics in computer science. |
| ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
https://uowd.box.com/s/5tfcyofz1iagzl63whqgic1sfxmdzuij |
| Public note |
Location Map |
| MAIN ENTRY--PERSONAL NAME |
|---|
| -- |
38956 |
| SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| -- |
370 |
| ADDED ENTRY |
|---|
| -- |
38957 |
| ADDED ENTRY |
|---|
| -- |
38958 |
| SERIES UNIFORM TITLE |
|---|
| -- |
2070 |