Scribd Logo
Upload

Welcome to Scribd!

  • AI Lab 4 Unification Algorithm Writeup

    Uploaded by

    utkarsha shirole
    68 views1 page
    This document provides instructions for Lab Assignment 4 on implementing a unification algorithm. Students are asked to write a program that takes two literals as input and outputs a set of substitutions by applying the unification algorithm. The objectives are to study and code the unification algorithm. As background, students should briefly explain unification, resolution as a proof procedure, and applications of unification in 2-3 pages.

    Original Description:

    Original Title

    AI Lab 4 Unification algorithm writeup

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document provides instructions for Lab Assignment 4 on implementing a unification algorithm. Students are asked to write a program that takes two literals as input and outputs a set of substitutions by applying the unification algorithm. The objectives are to study and code the unification algorithm. As background, students should briefly explain unification, resolution as a proof procedure, and applications of unification in 2-3 pages.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    68 views1 page

    AI Lab 4 Unification Algorithm Writeup

    Uploaded by

    utkarsha shirole
    This document provides instructions for Lab Assignment 4 on implementing a unification algorithm. Students are asked to write a program that takes two literals as input and outputs a set of substitutions by applying the unification algorithm. The objectives are to study and code the unification algorithm. As background, students should briefly explain unification, resolution as a proof procedure, and applications of unification in 2-3 pages.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    School of Computer Engineering and Technology

    T. Y. B. Tech. (Computer Science and Engineering) Trimester III (IX)

    Academic Year: 2019-2020

    Artificial Intelligence (CS332)

    Lab Assignment No. 4


    Title: Implementation of Unification algorithm

    Aim: To implement Unification algorithm

    Objective: To study and implement Unification algorithm

    Theory: Write in brief

    1) Unification Algorithm

    2) Resolution as Proof Procedure

    Input: Two Literals L1 and L2

    Output: A set of substitutions

    Algorithm: Unification algorithm

    Platform: Linux

    FAQs:
    1) Why resolution is required?

               2) What are the pre-requisites for applying unification algorithm?

    3) What are the applications of unification algorithm?

    Note: Entire write-up should be between 2-3 pages.

    You might also like