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 | 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 |
71 | Live Session | 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 |
71 | Live Session | PDF unavailable |
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 |