Course Log (Theory)

Knowledge Representation and Reasoning

Credit Hours 3(3-2) Prerequisites
Teacher: Dr. Noureen Zafar

Week# Date Lect# Topics

21-2-2024  Knowledge Representation and Reasoning
I
Week 1
21-2-2024 II  Modeling
21-2-2024 III  Propositional Logic
28-2-2024  Formal Logic and Reasoning, First-order Logic
I
Quiz 01 in Week 02 announced
28-2-2024  Different Kinds of Reasoning
II
Week 2
28-2-2024  Model-Finding and Satisfiability
III
Quiz 01 in Class
6-3-2024  Reasoning using Description Logic
I
Assignment -01 given
6-3-2024  Formal Reasoning
II
Week 3  Commonsense Reasoning
6-3-2024  Expressing Knowledge
III
Quiz 01 Returned
13-3-2024 I  Reasoning with Horn Clauses
13-3-2024 II  Horn Clauses and SLD Resolution
Week 4 13-3-2024  Forward Chaining and Backward Chaining
III  Advantages and uses
Assignment -01 Returned
20-3-2024 I  Procedural Control of Reasoning
20-3-2024  Facts and Rules
II
Week 5 Assignment -02 given
20-3-2024  Rule Formation and Search Strategy
III
 Dynamic Databases
27-3-2024  Probability
I  Objective Probability and Subjective Probability
Quiz 02 in Week 06 announced
Week 6
27-3-2024 II  Basic Bayesian Approach
27-3-2024  Belief Networks
III
Quiz 02 in Class
Week 7 3-4-2024  Semantic networks, Components
I
Assignment -02Returned
3-4-2024 II  Mutualist networks
 Aggregate networks
 3-4-2024  Empirical networks
III  Hashtag network
Quiz 02 returned
16-4-2024  Ontologies
I
Week 8 16-4-2024  Ontology Languages
II
16-4-2024 III  Ontology (case frames)
Midterm Exam
25-4-2024  Agents
I
25-4-2024  Rule based Agents
Week 9  Multi-agent Resource Allocation
II
Quiz 03 in Week 09 announced
25-4-2024  Rule-based system
III
Assignment -03 given
2-5-2024 I  Rule-based Knowledge Representation
2-5-2024  Reasoning Under Uncertainty
 Bayesian Networks Representation
II
Week 10
Assignment -03Returned
2-5-2024  Inference in Bayesian Networks
III
Quiz 03 in Class
8-5-2024  Expert Systems and Decision Support Systems
I
8-5-2024  Expert Systems Components
Week 11 II
Quiz 03 returned
8-5-2024  Expert System Rules and Working
III
15-5-2024  Fuzzy Logic
I
15-5-2024  Fuzzy Rules
Week 12 II  Inference using Fuzzy Rules
Assignment -04 given
15-5-2024  Fuzzy Logic scenario
III Quiz 04 in Week 12 announced
Week 13 22-5-2024  Stochastic models
I
22-5-2024  Markov Models
II  Hidden Markov model

22-5-2024 III  Markov chain

 Quiz 04 in Class
29-5-2024  Monte Carlo Simulation
I
Assignment -04Returned
Week 14 29-5-2024 II  Regression Models
29-5-2024  Regression Models
III
Quiz 04 returned
5-6-2024 I Term Project Presented/ Demonstrated
Week 15 5-6-2024 II Term Project Presented/ Demonstrated
5-6-2024 III Term Project Presented/ Demonstrated
12-6-2024 I Term Project Presented/ Demonstrated
Week 16 12-6-2024 II Term Project Presented/ Demonstrated
12-6-2024 III Term Project Presented/ Demonstrated
Final Term Exam