NOC:Artificial Intelligence - Knowledge Representation and Reasoning


Lecture 1 - Introduction


Lecture 2 - Introduction to Knowledge Representation and Reasoning


Lecture 3 - An Introduction to Formal Logics


Lecture 4 - Propositional Logic: Language, Semantics and Reasoning


Lecture 5 - Propositional Logic: Syntax and Truth Values


Lecture 6 - Propositional Logic: Valid Arguments and Proof Systems


Lecture 7 - Propositional Logic: Rules of Inference and Natural Deduction


Lecture 8 - Propositional Logic: Axiomatic Systems and Hilbert Style Proofs


Lecture 9 - Propositional Logic: The Tableau Method


Lecture 10 - Propositional Logic: The Resolution Refutation Method


Lecture 11 - Syntax


Lecture 12 - Semantics


Lecture 13 - Entailment and Models


Lecture 14 - Proof Systems


Lecture 15 - Forward Chaining


Lecture 16 - Unification


Lecture 17 - Forward Chaining Rule Based Systems


Lecture 18 - The Rete Algorithm


Lecture 19 - Rete Algorithm - Example


Lecture 20 - Programming in a Rule Based Language


Lecture 21 - The OPS5 Expert System Shell


Lecture 22 - Skolemization


Lecture 23 - Terminological Facts


Lecture 24 - Properties and Categories


Lecture 25 - Reification and Abstract Entities


Lecture 26 - Resource Description Framework (RDF)


Lecture 27 - The Event Calculus: Reasoning About Change


Lecture 28 - Natural Language Semantics


Lecture 29 - CD Theory


Lecture 30 - CD Theory (Continued...)


Lecture 31 - English to CD Theory


Lecture 32 - Backward Chaining


Lecture 33 - Logic Programming


Lecture 34 - Prolog


Lecture 35 - Search in Prolog


Lecture 36 - Controlling Search


Lecture 37 - The Cut Operator in Prolog


Lecture 38 - Incompleteness


Lecture 39 - The Resolution Method for FOL


Lecture 40 - Clause Form


Lecture 41 - FOL with Equality


Lecture 42 - Complexity of Resolution Refutation


Lecture 43 - Semantic Nets and Frames


Lecture 44 - Scripts


Lecture 45 - Applying Scripts


Lecture 46 - Goals, Plans and Actions


Lecture 47 - Plan Applier Mechanism


Lecture 48 - Top Down and Bottom Up Reasoning


Lecture 49 - Introduction


Lecture 50 - Normalisation


Lecture 51 - Structure Matching


Lecture 52 - Structure Matching - Example


Lecture 53 - Classification


Lecture 54 - A-box reasoning


Lecture 55 - DL: Extensions


Lecture 56 - DL: ALC


Lecture 57 - ALC examples


Lecture 58 - Taxonomies and Inheritance


Lecture 59 - Beliefs


Lecture 60 - Inheritance Hierarchies


Lecture 61 - Introduction


Lecture 62 - Circumscription


Lecture 63 - Circumscription (Continued...)


Lecture 64 - Minimal Models


Lecture 65 - Event Calculus Revisited


Lecture 66 - Circumscription in EC


Lecture 67 - Defaul Logic


Lecture 68 - Autoepistemc Logic


Lecture 69 - Epistemic Logic


Lecture 70 - The Muddy Children Puzzle