This note explains the following topics: State Space
Search, Decision Trees, Evaluating Hypotheses, Evaluation of hypothesis, Neural
Networks, Computational Learning Theory, DMF Clustering, Data Mining, Text
Mining, Graph Mining, Text Mining.
This note provides a
general introduction to artificial intelligence and its techniques. Topics
covered includes: Biological Intelligence and Neural Networks, Building
Intelligent Agents, Semantic Networks, Production Systems, Uninformed Search,
Expert Systems, Machine Learning, Limitations and Misconceptions of AI.
This note provides an introduction to artificial intelligence.
Topics covered include: representation and inference in first-order logic,
modern deterministic and decision-theoretic planning techniques, basic
supervised learning methods, and Bayesian network inference and learning.
Author(s): Prof. Tomas Lozano-Perez and Prof.
This book covers the following
topics: Introduction to Type Theory, Statements and Definitions in Nuprl,
Proofs, Proof Tactics, System Description, The Rules, The Metalanguage, Building
Theories, Recursive definition.
and Information Science, Cornell University