Learn · Fundamentals of Artificial Intelligence
Lecture 12 of 34Week 4: Knowledge Representation and Reasoning - I
Lec 3: First Order Logic -I
Prof. Shyamanta M. Hazarika · IIT Guwahati
Credits and licence
- From
- Fundamentals of Artificial Intelligence, IIT Guwahati (at NPTEL)
- Licence
- CC BY-NC-SA, as NPTEL states it. Non-commercial use only.
- Attribution
- NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
- Who can watch
- Tweens profiles and older. How courses are placed
All the lectures
- Lec 1: Introduction to Artificial Intelligence
- Lec 2: Problem Solving as State Space Search
- Lec 3: Uninformed Search
- Lec 1: Heuristic Search
- Lec 2: Informed Search
- Lec 3: Constraint Satisfaction Problems
- Lec 1: Searching AND/OR Graphs
- Lec 2: Game Playing
- Lec 3: Minimax + Alpha-Beta
- Lec 1: Introduction to Knowledge Representation
- Lec 2: Propositional Logic
- Lec 3: First Order Logic -I
- Lec 1: First Order Logic -II
- Lec 2: Inference in First Order Logic -I
- Lec 1: Inference in FOL - II
- Lec 2: Answer Extraction
- Lec 3: Procedural Control of Reasoning
- Lec 1: Reasoning under Uncertainty
- Lec 2: Bayesian Network
- Lec 3: Decision Network
- Lec 1: Introduction to Planning
- Lec 2: Plan Space Planning
- Lec 3: Planning Graph and GraphPlan
- Lec 1: Practical Planning and Acting
- Lec 2: Sequential Decision Problems
- Lec 3: Making Complex Decisions
- Lec 1: Introduction to Machine Learning
- Lec 2: Learning Decision Trees
- Lec 1: Linear Regression
- Lec 2: Support Vector Machines
- Lec 3: Unsupervised Learning
- Lec 1: Reinforcement Learning
- Lec 2: Learning in Neural Networks
- Lec 3: Deep Learning: A Brief Overview