Scribd
Upload
222 views1 page

AI Lab 4 Unification Algorithm Writeup

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.

Uploaded by

utkarsha shirole
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
222 views1 page

AI Lab 4 Unification Algorithm Writeup

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.

Uploaded by

utkarsha shirole
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd

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