The course is partially based on the book: Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig. Some slides use the material from the book page.

The logic and rule-based part is partially based on the book: Logical Foundations for Rule_based Systems by Antoni Ligęza. Sample content

Selected course materials:

• Introduction
• Selected AI Projects
• Logical Foundations
• Rule-Based Systems
• Rule_based Systems: Tools and Techniques
• Rule-Based Systems: The HeKatE Project and XTT
• Rule-Based Systems: HeKatE Tools
• Search: Intro and Blind Methods
• Search: Heuristic Algorithms
• Robust Route Planning
• Constraint Programming Intro
• Automated Diagnosis
• Fuzzy Sets, Fuzzy Control
• Semantic Web: 4 lectures

Basic Logic Support:

• Basic Math
• Basic Logic Notions
• Boolean Algebra, Logical Gates and Circuits
• All Together

• Tools for learning AI
• Rule-Based Systems: HeKatE Tools