TY  - BOOK
AU  - Rich, Elaine.
TI  - Artificial intelligence
T2  - McGraw-Hill series in artificial intelligence
SN  - 0070522618
AV  - Q 335 R52A 1983
PY  - 1983///
CY  - New York
PB  - McGraw-Hill
KW  - ARTIFICIAL INTELLIGENCE
N1  - Includes index; Problems and Search -- What Is Artificial Intelligence? -- The AI Problems -- The Underlying Assumption -- What Is an AI Technique? -- The Level of the Model -- Criteria for Success -- Some General References -- One Final Word -- Problems, Problem Spaces, and Search -- Defining the Problem as a State Space Search -- Production Systems -- Problem Characteristics -- Production System Characteristics -- Issues in the Design of Search Programs -- Heuristic Search Techniques -- Generate-and-Test -- Hill Climbing -- Best-First Search -- Problem Reduction -- Constraint Satisfaction -- Means-Ends Analysis -- Knowledge Representation -- Knowledge Representation Issues -- Representations and Mappings -- Approaches to Knowledge Representation -- Issues in Knowledge Representation -- The Frame Problem -- Using Predicate Logic -- Representing Simple Facts in Logic -- Representing Instance and Isa Relationships -- Computable Functions and Predicates -- Resolution -- Natural Deduction -- Representing Knowledge Using Rules -- Procedural versus Declarative Knowledge -- Logic Programming -- Forward versus Backward Reasoning -- Matching -- Control Knowledge -- Symbolic Reasoning under Uncertainty -- Introduction to Nonmonotonic Reasoning -- Logics for Nonmonotonic Reasoning -- Implementation Issues -- Augmenting a Problem Solver -- Implementation: Depth-First Search -- Implementation: Breadth-First Search -- Statistical Reasoning -- Probability and Bayes' Theorem -- Certainty Factors and Rule-Based Systems -- Bayesian Networks; Also issued online
ER  -