Artificial Intelligence II

IIT Kharagpur Course , Prof. P.Dasgupta

596 students enrolled

Overview

Contents:
Introduction to Artificial Intelligence - problem Solving by Search - Searching with Costs - Informed State Space Search-Heuristic Search: A* and Beyond - Problem Reduction Search: AND/OR Graphs -Searching Game Trees - Knowledge Based Systems: Logic and Deduction - First Order Logic - Inference in First Order Logic - Resolution Refutation Proofs - Logic Programming : Pro log - Programming, Exercising Control - Additional Topics - Introduction to Planning - Partial Order Planning - GraphPLAN and SATPlan - SATPlan - Reasoning Under Uncer tinity - Bayesian Networks - Reasoning with Bayes Networks - Reasoning Under Uncertainity: Issues - Learning : Decision Trees-Learning : Neural Networks - Back Propagation Learning

Lecture 11: Resolution Refutation Proofs I

Up Next
You can skip ad in
SKIP AD >
Advertisement
      • 2x
      • 1.5x
      • 1x
      • 0.5x
      • 0.25x
        EMBED LINK
        COPY
        DIRECT LINK
        PRIVATE CONTENT
        OK
        Enter password to view
        Please enter valid password!
        0:00
        0 (0 Ratings)

        LECTURES



        Review


        0

        0 Rates
        1
        0%
        0
        2
        0%
        0
        3
        0%
        0
        4
        0%
        0
        5
        0%
        0

        Comments Added Successfully!
        Please Enter Comments
        Please Enter CAPTCHA
        Invalid CAPTCHA
        Please Login and Submit Your Comment