Modules / Lectures


New Assignments
Module NameDownload
noc20_cs30_assigment_1noc20_cs30_assigment_1
noc20_cs30_assigment_10noc20_cs30_assigment_10
noc20_cs30_assigment_11noc20_cs30_assigment_11
noc20_cs30_assigment_12noc20_cs30_assigment_12
noc20_cs30_assigment_2noc20_cs30_assigment_2
noc20_cs30_assigment_3noc20_cs30_assigment_3
noc20_cs30_assigment_4noc20_cs30_assigment_4
noc20_cs30_assigment_5noc20_cs30_assigment_5
noc20_cs30_assigment_6noc20_cs30_assigment_6
noc20_cs30_assigment_7noc20_cs30_assigment_7
noc20_cs30_assigment_8noc20_cs30_assigment_8
noc20_cs30_assigment_9noc20_cs30_assigment_9


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