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 book explains the following
topics: Scope of Artificial Intelligence, Problem Solving, Knowledge
Representation, Rule Based Systems, Structured Knowledge Representation,
Handling Uncertainty and Learning, Expert Systems.
Author(s): Guru Jambheshwar
University of Science and Technology, Hisar
AI is the part of computer science concerned with designing intelligent
computer systems, that is, computer systems that exhibit the characteristics we
associate with intelligence in human behaviour - understanding language,
learning, reasoning and solving problems .A theme we will develop in this course
note is that most AI systems can broken into: Search, Knowledge Representation
and applications of the above.
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