Unification, Computer Engineering

Unification:

As just above this we have said that the rules of inference for propositional logic detailed in the last lecture can also be required in first-order logic. Moreover we just need to clarify that a little. After one important difference between propositional and first-order logic in which the latter has predicates into terms as arguments. However one clarification we need to make such we can apply the inference rules as long as the predicates so the arguments match up. Thus after not only do we have to check for the correct kinds of sentence ahead of we can carry out a rule of inference so we also have to check that the arguments do not forbid the inference. 

Here if notice for instance, as suppose in our knowledge base if we have these two statement as;  

knows(john,X)→ hates(john, X) 

knows(john, mary) 

As there is shown and we want to use the Modus Ponens rule to infer something new. Here if notice for instance in this case there is no problem so we can infer that it means john hates everyone he knows, and he knows Mary, so then he must hate Mary that is ,, we can infer that hates to john, mary is true.

Posted Date: 1/11/2013 6:19:58 AM | Location : United States







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

Write discussion on Unification
Your posts are moderated
Related Questions
Vector-Memory Instructions : When vector operations with memory M are executed then these are vector-memory instructions. These instructions are denoted with the many function mapp

Explain difference between Dynamic and static binding. Dynamic and static binding: Dynamic binding is a binding performed after the execution of a program has immediately beg

shell script to find the factorial of a given number using the for loop

Q. How can we Resize Layout Cells? To precisely design a page, you can set size of cells you add in a document. You can reposition cells in the page as well. 1.      Click o

What is the main function of the memory-management unit? The runtime mapping from virtual to physical addresses is done by a hardware device known as a memory management unit

Q.  Develop a Menu driven program with following menu: a.  Binary to Decimal b.  Binary to Octal c.  Binary to Hexadecimal d.  Exit (Put proper validation for input

Evidence of intelligent behavior - Artificial Intelligence: Machines mean they could simply be personal computers, or they could be robots with embedded automative systems, or

How can we pass selection and parameter data to a report? There are three options for passing selection and parameter data to the report. Using SUBMIT...WITH Using a rep

ID3 algorithm: Further for the calculation for information gain is the most difficult part of this algorithm. Hence ID3 performs a search whereby the search states are decisio

A socket is one end-point of a two-way communication link among two programs running on the network. Socket classes are used to show the connection among a client program and a ser