Custom cover image
Introduction to Artificial Intelligence / by Wolfgang Ertel
Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Undergraduate Topics in Computer Science | SpringerLink BücherPublisher: London : Springer-Verlag London Limited, 2011Description: Online-Ressource (XI, 316p, digital)ISBN:- 9780857292995
- 006.3
- Q334-342 TJ210.2-211.495
- Q335
Contents:
Summary: Wolfgang ErtelSummary: This concise and accessible textbook supports a foundation or module course on A.I., covering a broad selection of the subdisciplines within this field. The book presents concrete algorithms and applications in the areas of agents, logic, search, reasoning under uncertainty, machine learning, neural networks and reinforcement learning. Topics and features: presents an application-focused and hands-on approach to learning the subject; provides study exercises of varying degrees of difficulty at the end of each chapter, with solutions given at the end of the book; supports the text with highlighted examples, definitions, and theorems; includes chapters on predicate logic, PROLOG, heuristic search, probabilistic reasoning, machine learning and data mining, neural networks and reinforcement learning; contains an extensive bibliography for deeper reading on further topics; supplies additional teaching resources, including lecture slides and training data for learning algorithms, at an associated website. Dr. Wolfgang Ertel is a professor at the Collaborative Center for Applied Research on Service Robotics at the Ravensburg-Weingarten University of Applied Sciences, Germany.PPN: PPN: 1650841930Package identifier: Produktsigel: ZDB-2-SCS
""Introduction to Artificial Intelligence""; ""Preface""; ""Contents""; ""Chapter 1: Introduction""; ""1.1 What Is Artificial Intelligence?""; ""1.1.1 Brain Science and Problem Solving""; ""1.1.2 The Turing Test and Chatterbots""; ""1.2 The History of AI""; ""1.2.1 The First Beginnings""; ""1.2.2 Logic Solves (Almost) All Problems""; ""1.2.3 The New Connectionism""; ""1.2.4 Reasoning Under Uncertainty""; ""1.2.5 Distributed, Autonomous and Learning Agents""; ""1.2.6 AI Grows up""; ""1.3 Agents""; ""1.4 Knowledge-Based Systems""; ""1.5 Exercises""; ""Chapter 2: Propositional Logic""
""2.1 Syntax""""2.2 Semantics""; ""2.3 Proof Systems""; ""2.4 Resolution""; ""2.5 Horn Clauses""; ""2.6 Computability and Complexity""; ""2.7 Applications and Limitations""; ""2.8 Exercises""; ""Chapter 3: First-order Predicate Logic""; ""3.1 Syntax""; ""3.2 Semantics""; ""3.2.1 Equality""; ""3.3 Quantifiers and Normal Forms""; ""3.4 Proof Calculi""; ""3.5 Resolution""; ""3.5.1 Resolution Strategies""; ""3.5.2 Equality""; ""3.6 Automated Theorem Provers""; ""3.7 Mathematical Examples""; ""3.8 Applications""; ""3.9 Summary""; ""3.10 Exercises""; ""Chapter 4: Limitations of Logic""
""4.1 The Search Space Problem""""4.2 Decidability and Incompleteness""; ""4.3 The Flying Penguin""; ""4.4 Modeling Uncertainty""; ""4.5 Exercises""; ""Chapter 5: Logic Programming with PROLOG""; ""5.1 PROLOG Systems and Implementations""; ""5.2 Simple Examples""; ""5.3 Execution Control and Procedural Elements""; ""5.4 Lists""; ""5.5 Self-modifying Programs""; ""5.6 A Planning Example""; ""5.7 Constraint Logic Programming""; ""5.8 Summary""; ""5.9 Exercises""; ""Chapter 6: Search, Games and Problem Solving""; ""6.1 Introduction""; ""6.2 Uninformed Search""; ""6.2.1 Breadth-First Search""
""Analysis""""6.2.2 Depth-First Search""; ""Analysis""; ""6.2.3 Iterative Deepening""; ""Analysis""; ""6.2.4 Comparison""; ""6.3 Heuristic Search""; ""6.3.1 Greedy Search""; ""6.3.2 A-Search""; ""6.3.3 IDA-Search""; ""6.3.4 Empirical Comparison of the Search Algorithms""; ""6.3.5 Summary""; ""6.4 Games with Opponents""; ""6.4.1 Minimax Search""; ""6.4.2 Alpha-Beta-Pruning""; ""Complexity""; ""6.4.3 Non-deterministic Games""; ""6.5 Heuristic Evaluation Functions""; ""6.5.1 Learning of Heuristics""; ""6.6 State of the Art""; ""6.7 Exercises""; ""Chapter 7: Reasoning with Uncertainty""
""7.1 Computing with Probabilities""""7.1.1 Conditional Probability""; ""Chain Rule""; ""Marginalization""; ""Bayes' Theorem""; ""7.2 The Principle of Maximum Entropy""; ""7.2.1 An Inference Rule for Probabilities""; ""7.2.2 Maximum Entropy Without Explicit Constraints""; ""7.2.3 Conditional Probability Versus Material Implication""; ""7.2.4 MaxEnt-Systems""; ""7.2.5 The Tweety Example""; ""7.3 Lexmed, an Expert System for Diagnosing Appendicitis""; ""7.3.1 Appendicitis Diagnosis with Formal Methods""; ""7.3.2 Hybrid Probabilistic Knowledge Base""; ""7.3.3 Application of Lexmed""
""7.3.4 Function of Lexmed""
No physical items for this record