Artificial Intelligence

Artificial Intelligence

Course Materials, Lecture Notes, Springer Book Chapters and Learning Resources

Based on the Springer Nature Book Fundamentals of Artificial Intelligence

Course Information

Artificial Intelligence is one of the most important disciplines of Computer Science, covering intelligent problem solving, knowledge representation, reasoning, machine learning, planning, natural language processing, computer vision and intelligent agents. This page follows the organization of the Springer Nature book Fundamentals of Artificial Intelligence.

Book Information

Course Modules

Module 1: Foundations of Artificial Intelligence

Chapter 1: Introduction to Artificial Intelligence

Introduction to AI, intelligent systems, history, goals of AI, Turing Test, symbol systems, knowledge representation, engineering applications and future directions of Artificial Intelligence.

Springer Chapter 1

Module 2: Logic and Automated Reasoning

Chapter 2: Propositional Logic

Logical foundations of AI including propositional logic, syntax, semantics, reasoning, semantic tableaux, normal forms, resolution, and non-monotonic reasoning.

Springer Chapter 2

Chapter 3: First Order Predicate Logic

Predicate logic, quantifiers, clause forms, unification, resolution theorem proving, Herbrand universe, most general unifier and knowledge representation.

Springer Chapter 3

Module 3: Rule-Based Systems and Logic Programming

Chapter 4: Rule-Based Systems

Forward and backward chaining, inference engines, rule selection, model-based reasoning, case-based reasoning and expert systems.

Springer Chapter 4

Chapter 5: Prolog

Logic programming, facts, rules, recursion, control strategy, Prolog interpreters and AI programming examples.

Springer Chapter 5

Module 4: Knowledge Representation

Chapter 6: Knowledge Representation

Taxonomies, ontologies, commonsense reasoning, default reasoning, action and change, situation calculus and real-world knowledge.

Springer Chapter 6

Chapter 7: Semantic Networks and Frames

Semantic networks, conceptual graphs, frames, description logic, conceptual dependency and scripts.

Springer Chapter 7

Module 5: State Space and Heuristic Search

Chapter 8: State Space Search

State-space representation, breadth-first search, depth-first search, iterative deepening, bidirectional search and complexity analysis.

Springer Chapter 8

Chapter 9: Heuristic Search

Hill climbing, best-first search, A* search, simulated annealing, genetic algorithms and heuristic optimization.

Springer Chapter 9

Module 6: Constraint Satisfaction and Game Playing

Chapter 10: Constraint Satisfaction Problems

Constraint graphs, backtracking, constraint propagation, generate-and-test algorithms, cryptarithmetic and CSP applications.

Springer Chapter 10

Chapter 11: Game Playing and Alpha-Beta Search

Game theory, minimax search, alpha-beta pruning, game strategies, zero-sum games and adversarial search.

Springer Chapter 11

Module 7: Reasoning Under Uncertainty

Chapter 12: Probabilistic and Fuzzy Reasoning

Probability theory, Bayesian reasoning, Bayesian networks, Dempster-Shafer theory, fuzzy sets and fuzzy inference.

Springer Chapter 12

Module 8: Machine Learning

Chapter 13: Fundamentals of Machine Learning

Learning systems, supervised and unsupervised learning, decision trees, inductive learning, reinforcement learning, analogy, explanation-based learning and applications.

Springer Chapter 13

Chapter 14: Statistical Machine Learning

Support Vector Machines, k-nearest neighbours, Naïve Bayes classifiers, artificial neural networks, deep learning and instance-based learning.

Springer Chapter 14

Module 9: Automated Planning and Intelligent Agents

Chapter 15: Automated Planning

Classical planning, STRIPS, planning graphs, partial-order planning, hierarchical planning, planning languages and multi-agent planning.

Springer Chapter 15

Chapter 16: Intelligent and Multi-Agent Systems

Agent architectures, autonomous agents, mobile agents, communication languages, coordination, cooperation and coalition formation.

Springer Chapter 16

Module 10: Data Mining

Chapter 17: Data Mining and Knowledge Discovery

Knowledge discovery from large databases, classification, clustering, association rules, sequential pattern mining and scientific applications.

Springer Chapter 17

Module 11: Information Retrieval and Web Intelligence

Chapter 18: Information Retrieval

Vector space model, probabilistic retrieval, indexing, query expansion, semantic web, distributed information retrieval and Bayesian methods.

Springer Chapter 18

Module 12: Natural Language Processing and Speech Recognition

Chapter 19: Natural Language Processing

Natural language understanding, grammars, parsing, information extraction, question answering, commonsense reasoning and NLP tools.

Springer Chapter 19

Chapter 20: Speech Recognition

Speech recognition process, language and acoustic models, Hidden Markov Models, Kaldi, CMU-Sphinx, HTK and DeepSpeech.

Springer Chapter 20

Module 13: Computer Vision

Chapter 21: Machine Vision

Image understanding, computer vision, object recognition, 3-D reconstruction, object tracking, robot vision and vision applications.

Springer Chapter 21

Further Learning

The Springer book contains numerous worked examples, algorithms, illustrations, review questions and exercises, making it suitable for undergraduate, postgraduate and self-learning courses in Artificial Intelligence.

👉 Springer Book: Fundamentals of Artificial Intelligence

👉 Visit My Amazon Author Page