Unification Algorithm:

Here if notice for instance that to unify two sentences as we must find a substitution that makes the two sentences the same. Furthermore remember there that we write V/T to signify in which we have substituted term T for variable V as read the "/" sign as "is substituted by". So now here our purpose of this algorithm will be to produce a substitution as a set of pairs V/T for a given pair of sentences. Here notice for instance example like the output for the pair of sentences as: 

 knows(john,X) 

knows(john, mary) 

will be: {X/mary}. Whether for the two sentences above involving jack and the function should fail as there was no way to unify the sentences. 

• Thus if notice for describe instance the algorithm we use to simplify some functions it calls internally as.

  There the function isa_variable(x) checks where x is a variable. 

• And another function isa_compound(x) checks whether x is a compound expression:

Here if we considered for instance that either a predicate or type a function or a connective usually contains subparts. Hence the subparts of a predicate or function are the arguments. Now there subparts of a connective are the things it connects. In fact we write  args(x)  for the subparts of compound expression x. So always remember that args(x) outputs a list: as the list of subparts.

Posted Date: 1/11/2013 6:21:15 AM | Location : United States

Ask an Expert

Related Discussions:- Unification algorithm, Assignment Help, Ask Question on Unification algorithm, Get Answer, Expert's Help, Unification algorithm Discussions

Write discussion on Unification algorithm
Your posts are moderated

Write your message here..

Related Questions

Briefly explain the floating point representation, Briefly explain the floa... Briefly explain the floating point representation with an example? The floating point representation has 3 fields 1.sign bit 2.siginificant bits 3.exponent For  exa

What do youe mean of quality of service, Quality of Service: This is asses... Quality of Service: This is assessed on the basis of customer's satisfaction.

Calculate traffic lost in a particular exchange, In a particular exchange d... In a particular exchange during busy hour 1200 calls were offered to a group of trunks, during this time 6 calls were lost. The average call duration being 3 minutes Calculate Tr

Pervasive computing, Explain why pervasive computing can be termed as a “te... Explain why pervasive computing can be termed as a “technology that disappears”

Why are binary, Q. Why are binary, octal and hexadecimal used for computer ... Q. Why are binary, octal and hexadecimal used for computer applications? Q. Perform the following: (189.3) 10 = (?) 2

Units of artificial neural networks, Units of artificial neural networks: ... Units of artificial neural networks: However the input units simply output the value that was input to them from the example to be propagated. So every other unit in a network

Automated injection, There are tools to automate the process of SQL Injecti... There are tools to automate the process of SQL Injection into login and other fields. One hacker process, using a one tool, will be to search out a number of weak targets using Goo

Dma controllers - computer architecture, DMA controllers in computer system... DMA controllers in computer system:   DMA Controller   Part of the I/O device interface   DMA Channels   Performs functions that in general would be performed by t

Display frames (horizontal and vertical lines) in lists, How can you displa... How can you display frames (horizontal and vertical lines) in lists? You can show tabular lists with horizontal and vertical lines (FRAMES) using the ULINE command and the syst

Sql requirements in the sap development system, Which interface converts SQ... Which interface converts SQL requirements in the SAP development system to those of the database? Database Interface converts SQL in the SAP.