Completed
Lecture - 14 Reasoning Using First Order Logic
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Artificial Intelligence
Automatically move to the next video in the Classroom when playback concludes
- 1 Lecture - 1 Introduction to Artificial Intelligence
- 2 Lecture - 2 Intelligent Agents
- 3 Lecture - 3 State Space Search
- 4 Lecture - 4 Uninformed Search
- 5 Lecture - 5 Informed Search
- 6 Lecture - 6 Informed Search - 2
- 7 Lecture - 7 Two Players Games - I
- 8 Lecture - 8 Two Players Games - II
- 9 Lecture - 9 Constraint Satisfaction Problems - 1
- 10 Lecture - 10 Constraint Satisfaction Problems 2
- 11 Lecture - 11 Knowledge Representation and Logic
- 12 Lecture - 12 Interface in Propositional Logic
- 13 Lecture - 13 First Order Logic
- 14 Lecture - 14 Reasoning Using First Order Logic
- 15 Lecture - 15 Resolution in FOPL
- 16 Lecture - 16 Rule Based System
- 17 Lecture - 17 Rule Based Systems II
- 18 Lecture - 18 Semantic Net
- 19 Lecture - 19 Reasoning in Semantic Net
- 20 Lecture - 20 Frames
- 21 Lecture - 21 Planning - 1
- 22 Lecture - 22 Planning - 2
- 23 Lecture - 23 Planning - 3
- 24 Lecture - 24 Planning - 4
- 25 Lecture - 25 Rule Based Expart System
- 26 Lecture - 26 Reasoning with Uncertainty - I
- 27 Lecture - 27 Reasoning with Uncertainty - II
- 28 Lecture - 28 Reasoning with Uncertainty III
- 29 Lecture - 29 Reasoning with Uncertainty - IV
- 30 Lecture - 30 Fuzzy Reasoning - I
- 31 Lecture - 31 Fuzzy Reasoning - II
- 32 Lecture - 32 Introduction to Learning - I
- 33 Lecture - 33 Introduction to Learning - II
- 34 Lecture - 34 Rule Induction and Decision Trees - I
- 35 Lecture - 35 Rule Induction and Decision Trees - II
- 36 Lecture - 36 Leavning Using neural Networks - I
- 37 Lecture - 37 Learning Using Neural Networks - II
- 38 Lecture - 38 Probabilistic Learning
- 39 Lecture - 39 Natural Language Processing - I
- 40 Lecture - 40 Natural Language Processing II
