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
Q. Illustrate about FAT structure? DOS file system maintains a table of pointers known as FAT (File allocation table) that comprises an array of 16-bit values. There is one ent

Like a normal read, your input should break on the new line character "\n"   and also on the up and down arrow keys. You will process the input made by the user when he/she enters

Layout view is helpful for laying out Web pages. However you can adjust most of your design elements in Layout view, certain changes should be completed in Standard view. When you

A data set with 1000 rows is input to a neural network in Weka. The test option is set to 10-fold cross validation and the neural network option validationSetSize = 20%. How many r

What is the advantage of buffering? Is buffering always effective? Justify your answer with help of an example. I/O buffer: One type of input-output requirement arises from d

Define dynamic linking.  Dynamic linking is same to dynamic loading, rather that loading being postponed unless execution time, linking is postponed. This feature is usually us

Q. What is Master Clock Signal in Control Unit? The Master Clock Signal: This signal causes micro-operations to be executed in a square. In a single clock cycle either a single

How can we change almost any algorithm to have a good best case running time? Check whether the input constitutes an input at the very starting Or else run the original algo

What is the protocol used by SAP Gateway process? The SAP Gateway method communicates with the clients based on the TCP/IP Protocol.

-8 is equal to which signed binary number ? Ans. 10001000 is the signed binary number that equal to - 8.   To show negative numbers in the binary system, Digit 1 is utilized fo