Lecture - 11 Resolution - Refutation Proofs

Course Lectures

• Lecture - 1 Introduction

  Prof. P. Dasgupta

  Play
• Lecture - 2 Problem Solving by Search

  Prof. P. Dasgupta

  Play
• Lecture - 3 Searching with Costs

  Prof. P. Dasgupta

  Play
• Lecture - 4 Informed State Space Search

  Prof. P. Dasgupta

  Play
• Lecture - 5 Heuristic Search: A* and Beyond

  Prof. P. Dasgupta

  Play
• Lecture - 6 Problem Reduction Search: AND/OR Graphs

  Prof. P. Dasgupta

  Play
• Lecture - 7 Searching Game Trees

  Prof. P. Dasgupta

  Play
• Lecture - 8 Knowledge Based Systems: Logic and Deduction

  Prof. P. Dasgupta

  Play
• Lecture - 9 First Order Logic

  Prof. P. Dasgupta

  Play
• Lecture - 10 Inference in First Order Logic

  Prof. P. Dasgupta

  Play
• Lecture - 11 Resolution - Refutation Proofs

  Prof. P. Dasgupta

  Playing
• Lecture - 12 Resolution Refutation Proofs

  Prof. P. Dasgupta

  Play
• Lecture - 13 Logic Programming : Prolog

  Prof. P. Dasgupta

  Play
• Lecture - 14 Prolog Programming

  Prof. P. Dasgupta

  Play
• Lecture - 15 Prolog: Exercising Control

  Prof. P. Dasgupta

  Play
• Lecture - 16 Additional Topics

  Prof. P. Dasgupta

  Play
• Lecture - 17 Introduction to Planning

  Prof. P. Dasgupta

  Play
• Lecture - 18 Partial Order Planning

  Prof. P. Dasgupta

  Play
• Lecture - 19 GraphPLAN and SATPlan

  Prof. P. Dasgupta

  Play
• Lecture - 20 SATPlan

  Prof. P. Dasgupta

  Play
• Lecture - 21 Reasoning Under Uncertainity

  Prof. P. Dasgupta

  Play
• Lecture - 22 Bayesian Networks

  Prof. P. Dasgupta

  Play
• Lecture - 23 Reasoning with Bayes Networks

  Prof. P. Dasgupta

  Play
• Lecture - 24 Reasoning with Bayes networks (Contd.)

  Prof. P. Dasgupta

  Play
• Lecture - 27 Learning : Neural Networks

  Prof. P. Dasgupta

  Play
• Lecture - 25 Reasoning Under Uncertainity: Issues

  Prof. P. Dasgupta

  Play
• Lecture - 28 Back Propagation Learning

  Prof. P. Dasgupta

  Play
• Lecture - 26 Learning : Decision Trees

  Prof. P. Dasgupta

  Play