| Module Name | Download | Description | Download Size |
|---|---|---|---|
| Week 1 : Introduction | Week-1 Assessment-1 | Week-1 Assessment-1 with Answers | 28 kb |
| Week 1 : Introduction | Week 0 Assignment 1 | Week 0 Assignment 1 | 154 kb |
| Week 1 : Introduction | Week 1 Assignment 1 | Week 1 Assignment 1 | 299 kb |
| Week 2 : Propositional Logic | Week-2 Assessment-1 | Week-2 Assessment-1 with Answers | 109 kb |
| Week 2 : Propositional Logic | Week 2 Assignment 1 | Week 2 Assignment 1 | 274 kb |
| Week 3 : First Order Logic | Week-3 Assessment-1 | Week-3 Assessment-1 with Answers | 60 kb |
| Week 3 : First Order Logic | Week 3 Assignment 1 | Week 3 Assignment 1 | 265 kb |
| Week 4 : Rule Based Systems | Week-4 Assessment-1 | Week-4 Assessment-1 with Answers | 83 kb |
| Week 4 : Rule Based Systems | Week 4 Assignment 1 | Week 4 Assignment 1 | 234 kb |
| Week 5 : Representation in FOL | Week-5 Assessment-1 | Week-5 Assessment-1 with Answers | 81 kb |
| Week 5 : Representation in FOL | Week 5 Assignment 1 | Week 5 Assignment 1 | 419 kb |
| (Optional) Natural Language Understanding | Week-6 Assessment-1 | Week-6 Assessment-1 with Answers | 34 kb |
| (Optional) Natural Language Understanding | Week 6 Assignment 1 | Week 6 Assignment 1 | 258 kb |
| Week 6 : Logic Programming with Prolog | Week-7 Assessment-1 | Week-7 Assessment-1 with Answers | 33 kb |
| Week 6 : Logic Programming with Prolog | Week 7 Assignment 1 | Week 7 Assignment 1 | 298 kb |
| Week 7 : Resolution Refutation in FOL | Week-8 Assessment-1 | Week-8 Assessment-1 Answers with Answers | 38 kb |
| Week 7 : Resolution Refutation in FOL | Week 8 Assignment 1 | Week 8 Assignment 1 | 271 kb |
| (Optional) Knowledge Structures | Week-9 Assessment-1 | Week-9 Assessment-1 with Answers | 37 kb |
| (Optional) Knowledge Structures | Week 9 Assignment 1 | Week 9 Assignment 1 | 385 kb |
| Week 8 : Description Logic | Week-10 Assessment-1 | Week-10 Assessment-1 with Answers | 109 kb |
| Week 8 : Description Logic | Week 10 Assignment 1 | Week 10 Assignment 1 | 314 kb |
| Week 9 : DL and Inheritance | Week-11 Assessment-1 | Week-11 Assessment-1 with Answers | 330 kb |
| Week 9 : DL and Inheritance | Week 11 Assignment 1 | Week 11 Assignment 1 | 265 kb |
| Week 10 : Default Reasoning | Week-12 Assessment-1 | Week-12 Assessment-1 with Answers | 93 kb |
| Week 10 : Default Reasoning | Week-12 Assessment-1 | Week-12 Assessemnt-1 with Answers | 93 kb |
| Week 10 : Default Reasoning | Week 12 Assignment 1 | Week 12 Assignment 1 | 278 kb |
| Week 11 : Epistemic Logic | Week-13 Assessment-1 | Week-13 Assessment-1 with Answers | 95 kb |
| Module Name | Download |
|---|---|
| noc18_cs51_Assignment1 | noc18_cs51_Assignment1 |
| noc18_cs51_Assignment10 | noc18_cs51_Assignment10 |
| noc18_cs51_Assignment11 | noc18_cs51_Assignment11 |
| noc18_cs51_Assignment12 | noc18_cs51_Assignment12 |
| noc18_cs51_Assignment13 | noc18_cs51_Assignment13 |
| noc18_cs51_Assignment2 | noc18_cs51_Assignment2 |
| noc18_cs51_Assignment3 | noc18_cs51_Assignment3 |
| noc18_cs51_Assignment4 | noc18_cs51_Assignment4 |
| noc18_cs51_Assignment5 | noc18_cs51_Assignment5 |
| noc18_cs51_Assignment6 | noc18_cs51_Assignment6 |
| noc18_cs51_Assignment7 | noc18_cs51_Assignment7 |
| noc18_cs51_Assignment8 | noc18_cs51_Assignment8 |
| noc18_cs51_Assignment9 | noc18_cs51_Assignment9 |
| noc19_cs19_Assignment1 | noc19_cs19_Assignment1 |
| noc19_cs19_Assignment10 | noc19_cs19_Assignment10 |
| noc19_cs19_Assignment11 | noc19_cs19_Assignment11 |
| noc19_cs19_Assignment12 | noc19_cs19_Assignment12 |
| noc19_cs19_Assignment13 | noc19_cs19_Assignment13 |
| noc19_cs19_Assignment2 | noc19_cs19_Assignment2 |
| noc19_cs19_Assignment3 | noc19_cs19_Assignment3 |
| noc19_cs19_Assignment4 | noc19_cs19_Assignment4 |
| noc19_cs19_Assignment5 | noc19_cs19_Assignment5 |
| noc19_cs19_Assignment6 | noc19_cs19_Assignment6 |
| noc19_cs19_Assignment7 | noc19_cs19_Assignment7 |
| noc19_cs19_Assignment8 | noc19_cs19_Assignment8 |
| noc19_cs19_Assignment9 | noc19_cs19_Assignment9 |
| Sl.No | Chapter Name | MP4 Download |
|---|---|---|
| 1 | Introduction | Download |
| 2 | Introduction to Knowledge Representation and Reasoning | Download |
| 3 | An Introduction to Formal Logics | Download |
| 4 | Propositional Logic: Language, Semantics and Reasoning | Download |
| 5 | Propositional Logic: Syntax and Truth Values | Download |
| 6 | Propositional Logic: Valid Arguments and Proof Systems | Download |
| 7 | Propositional Logic: Rules of Inference and Natural Deduction | Download |
| 8 | Propositional Logic: Axiomatic Systems and Hilbert Style Proofs | Download |
| 9 | Propositional Logic: The Tableau Method | Download |
| 10 | Propositional Logic: The Resolution Refutation Method | Download |
| 11 | Syntax | Download |
| 12 | Semantics | Download |
| 13 | Entailment and Models | Download |
| 14 | Proof Systems | Download |
| 15 | Forward Chaining | Download |
| 16 | Unification | Download |
| 17 | Forward Chaining Rule Based Systems | Download |
| 18 | The Rete Algorithm | Download |
| 19 | Rete Algorithm - Example | Download |
| 20 | Programming in a Rule Based Language | Download |
| 21 | The OPS5 Expert System Shell | Download |
| 22 | Skolemization | Download |
| 23 | Terminological Facts | Download |
| 24 | Properties and Categories | Download |
| 25 | Reification and Abstract Entities | Download |
| 26 | Resource Description Framework (RDF) | Download |
| 27 | The Event Calculus: Reasoning About Change | Download |
| 28 | Natural Language Semantics | Download |
| 29 | CD Theory | Download |
| 30 | CD Theory (contd) | Download |
| 31 | English to CD Theory | Download |
| 32 | Backward Chaining | Download |
| 33 | Logic Programming | Download |
| 34 | Prolog | Download |
| 35 | Search in Prolog | Download |
| 36 | Controlling Search | Download |
| 37 | The Cut Operator in Prolog | Download |
| 38 | Incompleteness | Download |
| 39 | The Resolution Method for FOL | Download |
| 40 | Clause Form | Download |
| 41 | FOL with Equality | Download |
| 42 | Complexity of Resolution Refutation | Download |
| 43 | Semantic Nets and Frames | Download |
| 44 | Scripts | Download |
| 45 | Applying Scripts | Download |
| 46 | Goals, Plans and Actions | Download |
| 47 | Plan Applier Mechanism | Download |
| 48 | Top Down and Bottom Up Reasoning | Download |
| 49 | Introduction | Download |
| 50 | Normalisation | Download |
| 51 | Structure Matching | Download |
| 52 | Structure Matching - Example | Download |
| 53 | Classification | Download |
| 54 | A-box reasoning | Download |
| 55 | DL: Extensions | Download |
| 56 | DL: ALC | Download |
| 57 | ALC examples | Download |
| 58 | Taxonomies and Inheritance | Download |
| 59 | Beliefs | Download |
| 60 | Inheritance Hierarchies: | Download |
| 61 | Introduction. | Download |
| 62 | Circumscription | Download |
| 63 | Circumscription (contd) | Download |
| 64 | Minimal Models | Download |
| 65 | Event Calculus Revisited | Download |
| 66 | Circumscription in EC | Download |
| 67 | Defaul Logic | Download |
| 68 | Autoepistemc Logic | Download |
| 69 | Epistemic Logic | Download |
| 70 | The Muddy Children Puzzle | Download |
| Sl.No | Chapter Name | English |
|---|---|---|
| 1 | Introduction | Download Verified |
| 2 | Introduction to Knowledge Representation and Reasoning | Download Verified |
| 3 | An Introduction to Formal Logics | Download Verified |
| 4 | Propositional Logic: Language, Semantics and Reasoning | Download Verified |
| 5 | Propositional Logic: Syntax and Truth Values | Download Verified |
| 6 | Propositional Logic: Valid Arguments and Proof Systems | Download Verified |
| 7 | Propositional Logic: Rules of Inference and Natural Deduction | Download Verified |
| 8 | Propositional Logic: Axiomatic Systems and Hilbert Style Proofs | Download Verified |
| 9 | Propositional Logic: The Tableau Method | Download Verified |
| 10 | Propositional Logic: The Resolution Refutation Method | Download Verified |
| 11 | Syntax | Download Verified |
| 12 | Semantics | Download Verified |
| 13 | Entailment and Models | Download Verified |
| 14 | Proof Systems | Download Verified |
| 15 | Forward Chaining | Download Verified |
| 16 | Unification | Download Verified |
| 17 | Forward Chaining Rule Based Systems | Download Verified |
| 18 | The Rete Algorithm | Download Verified |
| 19 | Rete Algorithm - Example | Download Verified |
| 20 | Programming in a Rule Based Language | Download Verified |
| 21 | The OPS5 Expert System Shell | Download Verified |
| 22 | Skolemization | Download Verified |
| 23 | Terminological Facts | Download Verified |
| 24 | Properties and Categories | Download Verified |
| 25 | Reification and Abstract Entities | Download Verified |
| 26 | Resource Description Framework (RDF) | Download Verified |
| 27 | The Event Calculus: Reasoning About Change | Download Verified |
| 28 | Natural Language Semantics | Download Verified |
| 29 | CD Theory | Download Verified |
| 30 | CD Theory (contd) | Download Verified |
| 31 | English to CD Theory | Download Verified |
| 32 | Backward Chaining | Download Verified |
| 33 | Logic Programming | Download Verified |
| 34 | Prolog | Download Verified |
| 35 | Search in Prolog | Download Verified |
| 36 | Controlling Search | Download Verified |
| 37 | The Cut Operator in Prolog | Download Verified |
| 38 | Incompleteness | Download Verified |
| 39 | The Resolution Method for FOL | Download Verified |
| 40 | Clause Form | Download Verified |
| 41 | FOL with Equality | Download Verified |
| 42 | Complexity of Resolution Refutation | Download Verified |
| 43 | Semantic Nets and Frames | Download Verified |
| 44 | Scripts | Download Verified |
| 45 | Applying Scripts | Download Verified |
| 46 | Goals, Plans and Actions | Download Verified |
| 47 | Plan Applier Mechanism | Download Verified |
| 48 | Top Down and Bottom Up Reasoning | Download Verified |
| 49 | Introduction | Download Verified |
| 50 | Normalisation | Download Verified |
| 51 | Structure Matching | Download Verified |
| 52 | Structure Matching - Example | Download Verified |
| 53 | Classification | Download Verified |
| 54 | A-box reasoning | Download Verified |
| 55 | DL: Extensions | Download Verified |
| 56 | DL: ALC | Download Verified |
| 57 | ALC examples | Download Verified |
| 58 | Taxonomies and Inheritance | Download Verified |
| 59 | Beliefs | Download Verified |
| 60 | Inheritance Hierarchies: | Download Verified |
| 61 | Introduction. | Download Verified |
| 62 | Circumscription | Download Verified |
| 63 | Circumscription (contd) | Download Verified |
| 64 | Minimal Models | Download Verified |
| 65 | Event Calculus Revisited | Download Verified |
| 66 | Circumscription in EC | Download Verified |
| 67 | Defaul Logic | Download Verified |
| 68 | Autoepistemc Logic | Download Verified |
| 69 | Epistemic Logic | Download Verified |
| 70 | The Muddy Children Puzzle | Download Verified |
| Sl.No | Language | Book link |
|---|---|---|
| 1 | English | Not Available |
| 2 | Bengali | Not Available |
| 3 | Gujarati | Not Available |
| 4 | Hindi | Not Available |
| 5 | Kannada | Not Available |
| 6 | Malayalam | Not Available |
| 7 | Marathi | Not Available |
| 8 | Tamil | Not Available |
| 9 | Telugu | Not Available |