PMAS Arid Agriculture University Rawalpindi
University Institute of Information Technology
CS- Knowledge Representation and Reasoning
Credit Hours: 3(3-2) Prerequisites: None
Teacher: Dr. Tariq Ali
Course Description:
Knowledge Representation and Reasoning is at the core of Artificial Intelligence. It is
concerned with the representation of knowledge in symbolic form and the use of this
knowledge for reasoning. This course presents current trends and research issues in
Knowledge Representation and Reasoning. It enables students interested in Artificial
Intelligence to deepen their knowledge in this important area and gives them a solid
background for doing their own work/research in this area. The topics covered in more
detail are AI Logics, Probabilistic Reasoning, Constraints, and Stochastic models
Course Outcomes:
On completion of this module, students should be able to: Demonstrate an
understanding of the fundamental ideas of Knowledge Representation and Reasoning;
Demonstrate an understanding of the principles of a number of different approaches in
Machine Learning; Demonstrate the ability to apply AI and Computational Intelligence
techniques to a variety of research and application projects.
Teaching Methodology:
Lectures, Assignments, Presentations, Course Project etc. Major component of the
course should be covered using practical implementation of AI techniques.
Courses Assessment:
Exams, Assignments, Quizzes. Course will be assessed using a combination of written
examinations.
Books &Reference Materials:
“Knowledge Representation and Reasoning” by Ron Brachman and Hector
Levesque.
"Artificial Intelligence: A Guide to Intelligent Systems" by Michael Negnevitsky
"Expert Systems: Principles and Programming" by Joseph C. Giarratano and Gary
D. Riley
Course Learning Outcomes (CLOs):
At the end of the course the students will be able to: Domain BT Level*
1. Students should be able to describe the underlying
concepts of data mining. Understand the Data Mining
C 1
Process and implement data mining process based
solutions.
2. Application of data mining algorithms. P 3
3. Analysis of valid patterns in test data using data mining
C 4
experiments with test data.
* BT= Bloom’s Taxonomy, C=Cognitive domain, P=Psychomotor domain, A= Affective
domain
Knowledge Representation and Reasoning
Week 1 Modelling
Propositional Logic
Formal Logic and Reasoning, First-order Logic
Week 2 Different Kinds of Reasoning
Model-Finding and Satisfiability
Reasoning using Description Logic
Formal Reasoning
Week 3
Commonsense Reasoning
Expressing Knowledge
Reasoning with Horn Clauses
Horn Clauses and SLD Resolution
Week 4
Forward Chaining and Backward Chaining
Advantages and uses
Procedural Control of Reasoning
Facts and Rules
Week 5
Rule Formation and Search Strategy
Dynamic Databases
Probability
Objective Probability and Subjective Probability
Week 6
Basic Bayesian Approach
Belief Networks
Semantic networks, Components
Mutualist networks
Week 7 Aggregate networks
Empirical networks
Hashtag network
Ontologies
Ontology Languages
Week 8
Ontology (case frames)
MIDTERMS
Week 9
Agents
Rule based Agents
Week 10 Multi-agent Resource Allocation
Rule-based system
Rule-based Knowledge Representation
Reasoning Under Uncertainty
Week 11
Bayesian Networks Representation
Inference in Bayesian Networks
Week 12 Expert Systems and Decision Support Systems
Expert Systems Components
Expert System Rules and Working
Fuzzy Logic
Week 13 Fuzzy Rules
Inference using Fuzzy Rules
Stochastic models
Markov Models
Hidden Markov model
Week 14
Markov chain
Monte Carlo Simulation
Week 15 Regression Models
Presentations
Week 16
Sr. No Course Learning Outcomes
Course Learning Outcomes BT
PLO Level
*
s
CLO-1 Students should be able to describe the underlying
concepts of data mining. Understand the Data Mining
Process and implement data mining process based 3 1
solutions.
CLO-2 Application of data mining algorithms.
1 3
CLO-3 Analysis of valid patterns in test data using data mining
experiments with test data. 1 4
* BT= Bloom’s Taxonomy, C=Cognitive domain, P=Psychomotor domain,
A= Affective doma
