Unification, Computer Engineering

Assignment Help:

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.


Related Discussions:- Unification

What are primary keys and foreign keys, What are primary keys and foreign k...

What are primary keys and foreign keys? Primary keys are the unique identifiers for every row. They must have unique values and cannot be null. Due to their significance in rel

Show the main drawback of cav disk, Q. Show the main drawback of CAV disk? ...

Q. Show the main drawback of CAV disk? The main drawback of CAV disk is that a lot of storage space is wasted because longer outer tracks are storing data only equal to the sho

Simplify the expression by using karnaugh map, Simplify   the   following  ...

Simplify   the   following   expression   into   sum   of   products   using   Karnaugh   map F(A, B, C, D) = ∑ (1,3,4,5,6,7,9,12,13) Ans. Simplification of the giv

Determine the example of timescale, Determine the Example of timescale ...

Determine the Example of timescale 'timescale 10ns / 1ps Indicates delays are in 10 nanosecond units with 3 decimal points of precision (1 ps is 1/1000ns which is .001 ns).

What are the attributes of the method, What are the attributes of the metho...

What are the attributes of the method? During implementation a process is characterized by various attributes maintain by the system: Its state Its identification

Define the system analysis of object oriented modelling, Define the System ...

Define the System Analysis of Object oriented modelling System Analysis: In this stage a statement of the queries is formulated and a model is designed by the analyst in enc

Explain about subsystem and object of object oriented, Explain about subsys...

Explain about subsystem and object of object oriented modeling A subsystem is a grouping of elements of that constitutes a specification of behaviour offered by other contained

Explain the categories of design patterns, Question: (a) Explain the th...

Question: (a) Explain the three categories of design patterns. Give two examples from each category. (b) When describing a pattern what is the purpose of "The Intent", an

Centres of keycaps, A full size keyboard has distance between centres of ke...

A full size keyboard has distance between centres of keycaps (keys) like 19mm (0.75in).The keycaps have a top of nearly 0.5in (12.5in) that is shaped as a sort of dish to help you

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd