Modules / Lectures
Module NameDownloadDescriptionDownload Size
Week 1 : IntroductionWeek-1 Assessment-1Week-1 Assessment-1 with Answers28 kb
Week 1 : IntroductionWeek 0 Assignment 1Week 0 Assignment 1154 kb
Week 1 : IntroductionWeek 1 Assignment 1Week 1 Assignment 1299 kb
Week 2 : Propositional LogicWeek-2 Assessment-1Week-2 Assessment-1 with Answers109 kb
Week 2 : Propositional LogicWeek 2 Assignment 1Week 2 Assignment 1274 kb
Week 3 : First Order LogicWeek-3 Assessment-1Week-3 Assessment-1 with Answers60 kb
Week 3 : First Order LogicWeek 3 Assignment 1Week 3 Assignment 1265 kb
Week 4 : Rule Based SystemsWeek-4 Assessment-1Week-4 Assessment-1 with Answers83 kb
Week 4 : Rule Based SystemsWeek 4 Assignment 1Week 4 Assignment 1234 kb
Week 5 : Representation in FOLWeek-5 Assessment-1Week-5 Assessment-1 with Answers81 kb
Week 5 : Representation in FOLWeek 5 Assignment 1Week 5 Assignment 1419 kb
(Optional) Natural Language UnderstandingWeek-6 Assessment-1Week-6 Assessment-1 with Answers34 kb
(Optional) Natural Language UnderstandingWeek 6 Assignment 1Week 6 Assignment 1258 kb
Week 6 : Logic Programming with PrologWeek-7 Assessment-1Week-7 Assessment-1 with Answers33 kb
Week 6 : Logic Programming with PrologWeek 7 Assignment 1Week 7 Assignment 1298 kb
Week 7 : Resolution Refutation in FOLWeek-8 Assessment-1Week-8 Assessment-1 Answers with Answers38 kb
Week 7 : Resolution Refutation in FOLWeek 8 Assignment 1Week 8 Assignment 1271 kb
(Optional) Knowledge StructuresWeek-9 Assessment-1Week-9 Assessment-1 with Answers37 kb
(Optional) Knowledge StructuresWeek 9 Assignment 1Week 9 Assignment 1385 kb
Week 8 : Description LogicWeek-10 Assessment-1Week-10 Assessment-1 with Answers109 kb
Week 8 : Description LogicWeek 10 Assignment 1Week 10 Assignment 1314 kb
Week 9 : DL and InheritanceWeek-11 Assessment-1Week-11 Assessment-1 with Answers330 kb
Week 9 : DL and InheritanceWeek 11 Assignment 1Week 11 Assignment 1265 kb
Week 10 : Default ReasoningWeek-12 Assessment-1Week-12 Assessment-1 with Answers93 kb
Week 10 : Default ReasoningWeek-12 Assessment-1Week-12 Assessemnt-1 with Answers93 kb
Week 10 : Default ReasoningWeek 12 Assignment 1Week 12 Assignment 1278 kb
Week 11 : Epistemic LogicWeek-13 Assessment-1Week-13 Assessment-1 with Answers95 kb


New Assignments
Module NameDownload
noc18_cs51_Assignment1noc18_cs51_Assignment1
noc18_cs51_Assignment10noc18_cs51_Assignment10
noc18_cs51_Assignment11noc18_cs51_Assignment11
noc18_cs51_Assignment12noc18_cs51_Assignment12
noc18_cs51_Assignment13noc18_cs51_Assignment13
noc18_cs51_Assignment2noc18_cs51_Assignment2
noc18_cs51_Assignment3noc18_cs51_Assignment3
noc18_cs51_Assignment4noc18_cs51_Assignment4
noc18_cs51_Assignment5noc18_cs51_Assignment5
noc18_cs51_Assignment6noc18_cs51_Assignment6
noc18_cs51_Assignment7noc18_cs51_Assignment7
noc18_cs51_Assignment8noc18_cs51_Assignment8
noc18_cs51_Assignment9noc18_cs51_Assignment9
noc19_cs19_Assignment1noc19_cs19_Assignment1
noc19_cs19_Assignment10noc19_cs19_Assignment10
noc19_cs19_Assignment11noc19_cs19_Assignment11
noc19_cs19_Assignment12noc19_cs19_Assignment12
noc19_cs19_Assignment13noc19_cs19_Assignment13
noc19_cs19_Assignment2noc19_cs19_Assignment2
noc19_cs19_Assignment3noc19_cs19_Assignment3
noc19_cs19_Assignment4noc19_cs19_Assignment4
noc19_cs19_Assignment5noc19_cs19_Assignment5
noc19_cs19_Assignment6noc19_cs19_Assignment6
noc19_cs19_Assignment7noc19_cs19_Assignment7
noc19_cs19_Assignment8noc19_cs19_Assignment8
noc19_cs19_Assignment9noc19_cs19_Assignment9


Sl.No Chapter Name MP4 Download
1 IntroductionDownload
2 Introduction to Knowledge Representation and ReasoningDownload
3An Introduction to Formal LogicsDownload
4 Propositional Logic: Language, Semantics and ReasoningDownload
5 Propositional Logic: Syntax and Truth ValuesDownload
6 Propositional Logic: Valid Arguments and Proof SystemsDownload
7Propositional Logic: Rules of Inference and Natural DeductionDownload
8Propositional Logic: Axiomatic Systems and Hilbert Style ProofsDownload
9Propositional Logic: The Tableau MethodDownload
10 Propositional Logic: The Resolution Refutation MethodDownload
11SyntaxDownload
12SemanticsDownload
13Entailment and ModelsDownload
14Proof SystemsDownload
15Forward ChainingDownload
16UnificationDownload
17Forward Chaining Rule Based SystemsDownload
18The Rete AlgorithmDownload
19Rete Algorithm - ExampleDownload
20Programming in a Rule Based LanguageDownload
21The OPS5 Expert System ShellDownload
22SkolemizationDownload
23Terminological FactsDownload
24Properties and CategoriesDownload
25Reification and Abstract EntitiesDownload
26Resource Description Framework (RDF)Download
27The Event Calculus: Reasoning About ChangeDownload
28Natural Language SemanticsDownload
29CD TheoryDownload
30CD Theory (contd)Download
31English to CD TheoryDownload
32Backward ChainingDownload
33Logic ProgrammingDownload
34PrologDownload
35Search in PrologDownload
36Controlling SearchDownload
37The Cut Operator in PrologDownload
38IncompletenessDownload
39The Resolution Method for FOLDownload
40Clause FormDownload
41FOL with EqualityDownload
42Complexity of Resolution RefutationDownload
43Semantic Nets and FramesDownload
44ScriptsDownload
45Applying ScriptsDownload
46Goals, Plans and ActionsDownload
47Plan Applier MechanismDownload
48Top Down and Bottom Up ReasoningDownload
49IntroductionDownload
50NormalisationDownload
51Structure MatchingDownload
52Structure Matching - ExampleDownload
53ClassificationDownload
54A-box reasoningDownload
55DL: ExtensionsDownload
56DL: ALCDownload
57ALC examplesDownload
58Taxonomies and InheritanceDownload
59BeliefsDownload
60Inheritance Hierarchies:Download
61Introduction.Download
62CircumscriptionDownload
63Circumscription (contd)Download
64Minimal ModelsDownload
65Event Calculus RevisitedDownload
66Circumscription in ECDownload
67Defaul LogicDownload
68Autoepistemc LogicDownload
69Epistemic LogicDownload
70The Muddy Children PuzzleDownload

Sl.No Chapter Name English
1 IntroductionDownload
Verified
2 Introduction to Knowledge Representation and ReasoningDownload
Verified
3An Introduction to Formal LogicsDownload
Verified
4 Propositional Logic: Language, Semantics and ReasoningDownload
Verified
5 Propositional Logic: Syntax and Truth ValuesDownload
Verified
6 Propositional Logic: Valid Arguments and Proof SystemsDownload
Verified
7Propositional Logic: Rules of Inference and Natural DeductionDownload
Verified
8Propositional Logic: Axiomatic Systems and Hilbert Style ProofsDownload
Verified
9Propositional Logic: The Tableau MethodDownload
Verified
10 Propositional Logic: The Resolution Refutation MethodDownload
Verified
11SyntaxDownload
Verified
12SemanticsDownload
Verified
13Entailment and ModelsDownload
Verified
14Proof SystemsDownload
Verified
15Forward ChainingDownload
Verified
16UnificationDownload
Verified
17Forward Chaining Rule Based SystemsDownload
Verified
18The Rete AlgorithmDownload
Verified
19Rete Algorithm - ExampleDownload
Verified
20Programming in a Rule Based LanguageDownload
Verified
21The OPS5 Expert System ShellDownload
Verified
22SkolemizationDownload
Verified
23Terminological FactsDownload
Verified
24Properties and CategoriesDownload
Verified
25Reification and Abstract EntitiesDownload
Verified
26Resource Description Framework (RDF)Download
Verified
27The Event Calculus: Reasoning About ChangeDownload
Verified
28Natural Language SemanticsDownload
Verified
29CD TheoryDownload
Verified
30CD Theory (contd)Download
Verified
31English to CD TheoryDownload
Verified
32Backward ChainingDownload
Verified
33Logic ProgrammingDownload
Verified
34PrologDownload
Verified
35Search in PrologDownload
Verified
36Controlling SearchDownload
Verified
37The Cut Operator in PrologDownload
Verified
38IncompletenessDownload
Verified
39The Resolution Method for FOLDownload
Verified
40Clause FormDownload
Verified
41FOL with EqualityDownload
Verified
42Complexity of Resolution RefutationDownload
Verified
43Semantic Nets and FramesDownload
Verified
44ScriptsDownload
Verified
45Applying ScriptsDownload
Verified
46Goals, Plans and ActionsDownload
Verified
47Plan Applier MechanismDownload
Verified
48Top Down and Bottom Up ReasoningDownload
Verified
49IntroductionDownload
Verified
50NormalisationDownload
Verified
51Structure MatchingDownload
Verified
52Structure Matching - ExampleDownload
Verified
53ClassificationDownload
Verified
54A-box reasoningDownload
Verified
55DL: ExtensionsDownload
Verified
56DL: ALCDownload
Verified
57ALC examplesDownload
Verified
58Taxonomies and InheritanceDownload
Verified
59BeliefsDownload
Verified
60Inheritance Hierarchies:Download
Verified
61Introduction.Download
Verified
62CircumscriptionDownload
Verified
63Circumscription (contd)Download
Verified
64Minimal ModelsDownload
Verified
65Event Calculus RevisitedDownload
Verified
66Circumscription in ECDownload
Verified
67Defaul LogicDownload
Verified
68Autoepistemc LogicDownload
Verified
69Epistemic LogicDownload
Verified
70The Muddy Children PuzzleDownload
Verified


Sl.No Language Book link
1EnglishNot Available
2BengaliNot Available
3GujaratiNot Available
4HindiNot Available
5KannadaNot Available
6MalayalamNot Available
7MarathiNot Available
8TamilNot Available
9TeluguNot Available