CS461 AI Lecture: Section 9.4: Backward Chaining

preview_player
Показать описание
This section goes over a backwards chaining algorithm for first-order logic. It also touches on logic programming and ties together Prolog and first-order logic through a couple examples.

// You can now purchase all slides used for the course in one package at a substantial discount:

You can now purchase the slides in this video here:
  1. Professor Hank Stalica
  2. C Tutorial
  3. Professor Hank Stalica
Рекомендации по теме
CS461 AI Lecture: 0:58:33

CS461 AI Lecture: Section 9.4: Backward Chaining

CS461 AI Lecture: 0:28:30

CS461 AI Lecture: Section 9.3: Forward Chaining

Artificial intelligence | 0:28:10

Artificial intelligence | Lecture 9 : Problem Solving by Search - 4

CS461 AI Lecture: 0:36:54

CS461 AI Lecture: Section 9.2: Unification and Lifting

CS461 AI CH09 0:14:42

CS461 AI CH09 Lecture: 9.1: Propositional vs First-Order Logic

CS461 A.I. Lecture 1:10:06

CS461 A.I. Lecture - Beyond classical search [1/6]

CS461 AI CH05 0:52:19

CS461 AI CH05 Lecture: 5.1: Games

CS461 AI CH08 0:41:54

CS461 AI CH08 Lecture: 8.4: Knowledge Engineering in First-Order Logic AND Expert Systems

CS461 Artificial Intelligence 1:17:19

CS461 Artificial Intelligence CH03 Lecture Part 2/5: Solving Problems by Searching

IBA: Intro to 1:10:47

IBA: Intro to AI - Lecture 4 - Search Strategies : Depth vs Breadth First Search

COMP3200 - Intro 1:00:23

COMP3200 - Intro to Artificial Intelligence - Lecture 15 - MDP + Dynamic Programming

CS461 Artificial Intelligence 0:57:00

CS461 Artificial Intelligence CH03 Lecture Part 5/5: Solving Problems by Searching

CS461 Artificial Intelligence 0:19:35

CS461 Artificial Intelligence Lecture Section 1.2: The Foundations of A.I.

CS461 AI CH08 0:41:55

CS461 AI CH08 Lecture: 8.3: Using First-Order Logic

CS461 Artificial Intelligence 1:11:39

CS461 Artificial Intelligence CH03 Lecture Part 3/5: Solving Problems by Searching

CS461 AI CH07 0:49:27

CS461 AI CH07 Lecture: 7.7: Agents Based on Propositional Logic

Lecture 4: Uninformed 1:40:56

Lecture 4: Uninformed (Blind) Search Strategies

Chain Rule: intro 0:31:51

Chain Rule: intro - examples only

FACULTY049 CS481 Kust2020 0:13:08

FACULTY049 CS481 Kust2020 L9 V Uninformed Search BFS

Week#07 | Part-(2) 0:23:34

Week#07 | Part-(2) | Unification | Forward Chaining

Belief Modality - 0:00:24

Belief Modality - Artificial Intelligence for Robotics

Artificial Intelligence - 0:10:35

Artificial Intelligence - Introduction - Part 2

CS461 Artificial Intelligence 1:28:17

CS461 Artificial Intelligence CH03 Lecture Part 1/5: Solving Problems by Searching

Multiagent Systems Lecture 1:13:21

Multiagent Systems Lecture 13 Markov Games