Inference in First Order Logic 2 | Artificial Intelligence |Video lecture

Review Score0

Resolution Refutalion Proofs

[divider]

Topics in Video:

Resolution Refutalion ProofsThe basic steps

Conversion to Normal Form

Resolution

Example

Resolution Strategies

preview of next Lecture

Lecture # 13

Logic Programming: Prolog

Basics

Monkey and Banana Example

1:011:07

4:55

6:01

7:37

31:43

52:30

52:36

53:00

53:48

56:54

Download links:

MP4 format server 1 server 2
FLV format server 1 server 2
3gp format server 1 server 2