Course materials and learning resources for Knowledge Representation and Reasoning (KRR), including lecture materials, practical activities, assignments, examinations, model answers, textbooks, references, and supplementary resources.
Table Of Content
- Course Information
- Current Semester — 2026–2027
- Lecture Materials
- Tutorial Sheets
- Practical Activities
- Course Notes
- Assignments
- Exams & Model Ans
- Knowledge Bases & Code
- Textbook & References
- Primary Textbook
- Supplementary References
- Video Resources
- Knowledge Representation and Reasoning | Teaching Machines How to Think
Course Information
| Course Information | Details |
|---|---|
| Course Title | Knowledge Representation and Reasoning |
| Course Code | AI 225 / AI 212 |
| Level | Undergraduate |
| Current Semester | Current Semester — 2026–2027 |
| Academic Year | 2026–2027 |
| Instructor | Prof. Mostafa Elhosseini |
| Primary Textbook | Ronald J. Brachman and Hector J. Levesque Knowledge Representation and Reasoning Morgan Kaufmann / Elsevier |
Current Semester — 2026–2027
Course resources for the current semester are provided below and will be updated throughout the semester as new lectures, practical activities, assignments, and assessment materials become available.
Lecture Materials
| Lecture | Topic | Slides | Handout |
|---|---|---|---|
| 1 | Introduction to Knowledge Representation & Reasoning | Slides | |
| 2 | The Vocabulary of Knowledge & Reasoning | Slides | |
| 3 | Connectives | Slides | |
| 4 | Implications (Conditional) | Slides | |
| 5 | Bi-Implication (If and only if) | Slides | |
| 6 | Tautology and Logical Equivalences | Slides | |
| 7 | Propositional satisfiability | Slides | |
| 8 | First-Order Logic (FOL) – (aka Predicate Logic) – Why do we need Predicate Logic? | Slides | |
| 9 | Structure – Atom – Predicate – Function | Syntax | Slides | |
| 10 | Quantifiers | Syntax | Slides | |
| 11 | Quantifiers Negation – Nested Quantifiers – Scope | Syntax | Slides | |
| 12 |
Tutorial Sheets
Guided problem-solving sheets designed to reinforce the concepts introduced in the Knowledge Representation & Reasoning lectures. The sheets include practice questions, logical reasoning exercises, representation problems, and worked examples to help students strengthen their understanding of KRR concepts.
| # | Tutorial Sheet / Topic | Download |
|---|---|---|
| 1 | Introduction to Knowledge Representation & Reasoning | |
| 2 | Propositional Logic |
Practical Activities
| Activity | Topic | Resource | Supporting Files |
|---|---|---|---|
| 1 | Worksheet | ||
Course Notes
Concise notes and quick-reference materials designed to support students in reviewing the main concepts of Knowledge Representation & Reasoning, including logic, inference, knowledge representation techniques, reasoning methods, and related examples.
| # | Note / Topic | Download |
|---|---|---|
| 1 | Sufficient, Necessary, and Necessary-and-Sufficient Conditions | |
| 2 |
Assignments
| Assignment | Topic | Due Date | Download |
|---|---|---|---|
| Assignment 1 | Logic and Knowledge Representation | — | |
| Assignment 6 | Propositional Equivalence |
Exams & Model Ans
| Resource | Download |
|---|---|
| Taibah University – AI 212 Midterm 01 Exam – March 2026 | Exam Model Ans |
| Taibah University – AI 212 Midterm 02 Exam – April 2026 | Exam Model Ans |
| Taibah University – AI 212 Final Exam – June 2026 | PDF Model Ans |
| Taibah University – AI 212 / AI 225 Midterm 01 Exam – 11 Oct. 2026 | PDF Model Ans |
Knowledge Bases & Code
| Resource | Description | Access |
|---|---|---|
| Logic Examples | Propositional and predicate logic examples | Files |
Textbook & References
Primary Textbook
- Ronald J. Brachman and Hector J. Levesque
Knowledge Representation and Reasoning
Morgan Kaufmann / Elsevier
Supplementary References
- Stuart Russell & Peter Norvig
Artificial Intelligence: A Modern Approach
Video Resources
Explore supporting video lectures covering Artificial Intelligence, logic, reasoning, and related foundational concepts relevant to Knowledge Representation and Reasoning.
Knowledge Representation and Reasoning | Teaching Machines How to Think
Watch the complete KRR video lecture series featuring clear explanations, examples, and visual walkthroughs of the main concepts in Knowledge Representation and Reasoning.
No Comment! Be the first one.