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