| Module Name | Download |
|---|---|
| noc20_cs30_assigment_1 | noc20_cs30_assigment_1 |
| noc20_cs30_assigment_10 | noc20_cs30_assigment_10 |
| noc20_cs30_assigment_11 | noc20_cs30_assigment_11 |
| noc20_cs30_assigment_12 | noc20_cs30_assigment_12 |
| noc20_cs30_assigment_2 | noc20_cs30_assigment_2 |
| noc20_cs30_assigment_3 | noc20_cs30_assigment_3 |
| noc20_cs30_assigment_4 | noc20_cs30_assigment_4 |
| noc20_cs30_assigment_5 | noc20_cs30_assigment_5 |
| noc20_cs30_assigment_6 | noc20_cs30_assigment_6 |
| noc20_cs30_assigment_7 | noc20_cs30_assigment_7 |
| noc20_cs30_assigment_8 | noc20_cs30_assigment_8 |
| noc20_cs30_assigment_9 | noc20_cs30_assigment_9 |
| Sl.No | Chapter Name | MP4 Download |
|---|---|---|
| 1 | 1.1 - Introduction | Download |
| 2 | 1.2 - Abductive Inferences and Expectationsa | Download |
| 3 | 1.3 - On Machine Learning | Download |
| 4 | 1.4 - A New Test of Intelligence? | Download |
| 5 | 1.5 - The World According to Us | Download |
| 6 | 1.6 - From Particles to Concepts | Download |
| 7 | 1.7 - The Domains for Reasoning | Download |
| 8 | 1.8 - Hierarchies in Representation | Download |
| 9 | 1.9 - Logic and Representation: A Quick Tour | Download |
| 10 | 2.1 - Symbols and Thought | Download |
| 11 | 2.2 - From Gears to Symbols | Download |
| 12 | 2.3 - Truth, Logic, and Provability | Download |
| 13 | 2.4 - A Syntactic Machine | Download |
| 14 | 2.5 - Entailment and Proof | Download |
| 15 | 2.6 - The Languages of Logic | Download |
| 16 | 2.7 - Patterns in Arguments | Download |
| 17 | 2.8 - Rules of Inference | Download |
| 18 | Propositional Logic | Download |
| 19 | Propositional Logic: Syntax | Download |
| 20 | Propositional Logic: Semantics | Download |
| 21 | Proofs: Natural Deduction | Download |
| 22 | The Deduction Theorem | Download |
| 23 | Models | Download |
| 24 | The Tableau Method | Download |
| 25 | First Order Logic | Download |
| 26 | First Order Logic: Syntax | Download |
| 27 | FOL: Universal Instantiation | Download |
| 28 | First Order Logic: Semantics | Download |
| 29 | FOL: Truth Assignments | Download |
| 30 | Modified Modus Ponens | Download |
| 31 | The Unification Algorithm | Download |
| 32 | Skolemization | Download |
| 33 | Expert Systems | Download |
| 34 | Backward Chaining Systems | Download |
| 35 | Deductive Retrieval | Download |
| 36 | The Resolution Refutation Method | Download |
| 37 | Clause Form in FOL | Download |
| 38 | Resolution Refutation in FOL | Download |
| 39 | First Order Logic with Equality | Download |
| 40 | Who was the surgeon? | Download |
| 41 | Consistency vs. Completeness | Download |
| 42 | Logic Programming | Download |
| 43 | Arithmetic | Download |
| 44 | Horn Clauses and Prolog | Download |
| 45 | SLD Derivation = Backward Chaining | Download |
| 46 | Programming in Logic | Download |
| 47 | Prolog: Programming in Logic | Download |
| 48 | Prolog: Procedural Interpretation | Download |
| 49 | Prolog: Query Evaluation | Download |
| 50 | Prolog: Unifying Terms | Download |
| 51 | Prolog: Goal Order | Download |
| 52 | Prolog: Tabling | Download |
| 53 | Prolog: Negation by Failure | Download |
| 54 | Prolog: The Cut Operator | Download |
| 55 | Rule Based Expert Systems | Download |
| 56 | The OPS5 Language | Download |
| 57 | Match, Resolve, Execute | Download |
| 58 | Conflict Resolution Strategies | Download |
| 59 | The Rete Algorithm | Download |
| 60 | The Rete Net | Download |
| 61 | The Rete Net : Examples | Download |
| 62 | Knowledge Representation | Download |
| 63 | Synonyms, Antonyms, Hyponyms, Meronyms | Download |
| 64 | Binary Relations | Download |
| 65 | Describing Family Relations | Download |
| 66 | Recursive Descriptions | Download |
| 67 | Abstract Entities | Download |
| 68 | Reification: Units of Measurement | Download |
| 69 | Semantic Nets & Knowledge Graphs | Download |
| 70 | DL: Description Logics | Download |
| 71 | Defining New Concepts and Roles | Download |
| 72 | The Sentences in DL | Download |
| 73 | A Family of Logics | Download |
| 74 | DL: Some Examples | Download |
| 75 | ALC Tableau | Download |
| 76 | Model Checking in ALC | Download |
| 77 | ALC Tableau: Examples | Download |
| 78 | Language Independent Represntation | Download |
| 79 | Conceptual Dependency Theory | Download |
| 80 | CD States | Download |
| 81 | Inferences in MARGIE | Download |
| 82 | CD: Actions | Download |
| 83 | English to CD | Download |
| 84 | Representing Complex Verbs | Download |
| 85 | Semantic Parsing of Language | Download |
| 86 | Knowledge Structures | Download |
| 87 | Scripts | Download |
| 88 | SAM: Script Apploer Mechanism | Download |
| 89 | A VIP Visit | Download |
| 90 | Invoking Scripts | Download |
| 91 | Goals, Plans, and Actions | Download |
| 92 | Goal Interactions | Download |
| 93 | Explanation Driven Understanding | Download |
| 94 | Tussle Over a Bicycle | Download |
| 95 | Plan Applier Mechanism (PAM) | Download |
| 96 | Requests and Rule Instances | Download |
| 97 | Managing Rule Instances | Download |
| 98 | Knowledge Structures: Frames | Download |
| 99 | Inheritance | Download |
| 100 | A Frame System for Travel Planning | Download |
| 101 | Inheritance in Taxonomies | Download |
| 102 | Default Reasoning | Download |
| 103 | Closed World Assumption | Download |
| 104 | Circumscription | Download |
| 105 | Default Logic | Download |
| 106 | Autoepistemic Reasoning | Download |
| 107 | The Event Calculus | Download |
| 108 | The Effects of Events | Download |
| 109 | Epistemic Logic | Download |
| 110 | Kripke Structures: Possible Worlds Semantics | Download |
| 111 | The Muddy Children Puzzle | Download |
| 112 | The Effects of Epistemic Actions | Download |
| 113 | Reasoning with Beliefs | Download |
| Sl.No | Chapter Name | English |
|---|---|---|
| 1 | 1.1 - Introduction | PDF unavailable |
| 2 | 1.2 - Abductive Inferences and Expectationsa | PDF unavailable |
| 3 | 1.3 - On Machine Learning | PDF unavailable |
| 4 | 1.4 - A New Test of Intelligence? | PDF unavailable |
| 5 | 1.5 - The World According to Us | PDF unavailable |
| 6 | 1.6 - From Particles to Concepts | PDF unavailable |
| 7 | 1.7 - The Domains for Reasoning | PDF unavailable |
| 8 | 1.8 - Hierarchies in Representation | PDF unavailable |
| 9 | 1.9 - Logic and Representation: A Quick Tour | PDF unavailable |
| 10 | 2.1 - Symbols and Thought | PDF unavailable |
| 11 | 2.2 - From Gears to Symbols | PDF unavailable |
| 12 | 2.3 - Truth, Logic, and Provability | PDF unavailable |
| 13 | 2.4 - A Syntactic Machine | PDF unavailable |
| 14 | 2.5 - Entailment and Proof | PDF unavailable |
| 15 | 2.6 - The Languages of Logic | PDF unavailable |
| 16 | 2.7 - Patterns in Arguments | PDF unavailable |
| 17 | 2.8 - Rules of Inference | PDF unavailable |
| 18 | Propositional Logic | PDF unavailable |
| 19 | Propositional Logic: Syntax | PDF unavailable |
| 20 | Propositional Logic: Semantics | PDF unavailable |
| 21 | Proofs: Natural Deduction | PDF unavailable |
| 22 | The Deduction Theorem | PDF unavailable |
| 23 | Models | PDF unavailable |
| 24 | The Tableau Method | PDF unavailable |
| 25 | First Order Logic | PDF unavailable |
| 26 | First Order Logic: Syntax | PDF unavailable |
| 27 | FOL: Universal Instantiation | PDF unavailable |
| 28 | First Order Logic: Semantics | PDF unavailable |
| 29 | FOL: Truth Assignments | PDF unavailable |
| 30 | Modified Modus Ponens | PDF unavailable |
| 31 | The Unification Algorithm | PDF unavailable |
| 32 | Skolemization | PDF unavailable |
| 33 | Expert Systems | PDF unavailable |
| 34 | Backward Chaining Systems | PDF unavailable |
| 35 | Deductive Retrieval | PDF unavailable |
| 36 | The Resolution Refutation Method | PDF unavailable |
| 37 | Clause Form in FOL | PDF unavailable |
| 38 | Resolution Refutation in FOL | PDF unavailable |
| 39 | First Order Logic with Equality | PDF unavailable |
| 40 | Who was the surgeon? | PDF unavailable |
| 41 | Consistency vs. Completeness | PDF unavailable |
| 42 | Logic Programming | PDF unavailable |
| 43 | Arithmetic | PDF unavailable |
| 44 | Horn Clauses and Prolog | PDF unavailable |
| 45 | SLD Derivation = Backward Chaining | PDF unavailable |
| 46 | Programming in Logic | PDF unavailable |
| 47 | Prolog: Programming in Logic | PDF unavailable |
| 48 | Prolog: Procedural Interpretation | PDF unavailable |
| 49 | Prolog: Query Evaluation | PDF unavailable |
| 50 | Prolog: Unifying Terms | PDF unavailable |
| 51 | Prolog: Goal Order | PDF unavailable |
| 52 | Prolog: Tabling | PDF unavailable |
| 53 | Prolog: Negation by Failure | PDF unavailable |
| 54 | Prolog: The Cut Operator | PDF unavailable |
| 55 | Rule Based Expert Systems | PDF unavailable |
| 56 | The OPS5 Language | PDF unavailable |
| 57 | Match, Resolve, Execute | PDF unavailable |
| 58 | Conflict Resolution Strategies | PDF unavailable |
| 59 | The Rete Algorithm | PDF unavailable |
| 60 | The Rete Net | PDF unavailable |
| 61 | The Rete Net : Examples | PDF unavailable |
| 62 | Knowledge Representation | PDF unavailable |
| 63 | Synonyms, Antonyms, Hyponyms, Meronyms | PDF unavailable |
| 64 | Binary Relations | PDF unavailable |
| 65 | Describing Family Relations | PDF unavailable |
| 66 | Recursive Descriptions | PDF unavailable |
| 67 | Abstract Entities | PDF unavailable |
| 68 | Reification: Units of Measurement | PDF unavailable |
| 69 | Semantic Nets & Knowledge Graphs | PDF unavailable |
| 70 | DL: Description Logics | PDF unavailable |
| 71 | Defining New Concepts and Roles | PDF unavailable |
| 72 | The Sentences in DL | PDF unavailable |
| 73 | A Family of Logics | PDF unavailable |
| 74 | DL: Some Examples | PDF unavailable |
| 75 | ALC Tableau | PDF unavailable |
| 76 | Model Checking in ALC | PDF unavailable |
| 77 | ALC Tableau: Examples | PDF unavailable |
| 78 | Language Independent Represntation | PDF unavailable |
| 79 | Conceptual Dependency Theory | PDF unavailable |
| 80 | CD States | PDF unavailable |
| 81 | Inferences in MARGIE | PDF unavailable |
| 82 | CD: Actions | PDF unavailable |
| 83 | English to CD | PDF unavailable |
| 84 | Representing Complex Verbs | PDF unavailable |
| 85 | Semantic Parsing of Language | PDF unavailable |
| 86 | Knowledge Structures | PDF unavailable |
| 87 | Scripts | PDF unavailable |
| 88 | SAM: Script Apploer Mechanism | PDF unavailable |
| 89 | A VIP Visit | PDF unavailable |
| 90 | Invoking Scripts | PDF unavailable |
| 91 | Goals, Plans, and Actions | PDF unavailable |
| 92 | Goal Interactions | PDF unavailable |
| 93 | Explanation Driven Understanding | PDF unavailable |
| 94 | Tussle Over a Bicycle | PDF unavailable |
| 95 | Plan Applier Mechanism (PAM) | PDF unavailable |
| 96 | Requests and Rule Instances | PDF unavailable |
| 97 | Managing Rule Instances | PDF unavailable |
| 98 | Knowledge Structures: Frames | PDF unavailable |
| 99 | Inheritance | PDF unavailable |
| 100 | A Frame System for Travel Planning | PDF unavailable |
| 101 | Inheritance in Taxonomies | PDF unavailable |
| 102 | Default Reasoning | PDF unavailable |
| 103 | Closed World Assumption | PDF unavailable |
| 104 | Circumscription | PDF unavailable |
| 105 | Default Logic | PDF unavailable |
| 106 | Autoepistemic Reasoning | PDF unavailable |
| 107 | The Event Calculus | PDF unavailable |
| 108 | The Effects of Events | PDF unavailable |
| 109 | Epistemic Logic | PDF unavailable |
| 110 | Kripke Structures: Possible Worlds Semantics | PDF unavailable |
| 111 | The Muddy Children Puzzle | PDF unavailable |
| 112 | The Effects of Epistemic Actions | PDF unavailable |
| 113 | Reasoning with Beliefs | PDF unavailable |
| Sl.No | Language | Book link |
|---|---|---|
| 1 | English | Download |
| 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 |