First-order inference rules - artificial intelligence, Computer Engineering

First-Order Inference Rules -artificial intelligence:

Now we have a perfect definition of a first-order model is,in the same way, we may define soundness for first-order inference rules as we did for propositional inference rules: the rule is sound if given a model of the sentences above the line, this is always a model of the sentence below.

To be able to specify these new rules, we might use the notion of substitution. We've already seen substitutions which replace propositions with propositional expressions (7.2 above) and other substitutions which replace variables with terms that represent a given object (7.5 pt. above). In this section we use substitutions which replace variables with ground terms (terms without variables) so being clear we will call these ground substitutions. Another name for the ground substitution is an instantiation,

I.e. If we begin with the superbly optimistic sentence that everyone likes everyone else:X, Y (likes(X, Y)), then we can select specific values for X and Y. So, we may instantiate this sentence to say: likes(tony,George). Because we have selected a specific value, the quantification not makes sense longer, so we might drop it.

The activity of performing an instantiation is a function, as there is just one possible outcome, so we may write it as a function. The notation

Subst({X/george, Y/tony}, likes(X,Y)) = likes(george, tony)

Show that we have made a ground substitution.

We also need to recognize that we are working with sentences which form part of a knowledge base of various such like sentences. More to the point, there will be constants which seem throughout the knowledge base and some which are local to a specific sentence.

Posted Date: 10/2/2012 8:23:33 AM | Location : United States







Related Discussions:- First-order inference rules - artificial intelligence, Assignment Help, Ask Question on First-order inference rules - artificial intelligence, Get Answer, Expert's Help, First-order inference rules - artificial intelligence Discussions

Write discussion on First-order inference rules - artificial intelligence
Your posts are moderated
Related Questions
Q. How to Set Cell Properties in dreamweaver? Cell height determines the height of space within a cell row. Notice the space around Compass logo. You want to remove the extra s

Concept Development Journal General Information: Once you have researched and gained some insight into the topic you must then begin developing your ideas and your conceptua

How do you turn off cookies for single page in your site? We can turn off the cookies for one page:- By setting the Cookie. Discard property false.

Q. MICRO-PROGRAMMED CONTROL? A substitute to a hardwired control unit is a micro-programmed control unit in which logic of the control unit is specified by a micro-program. A m

The process which is underlined throughout the check of base data is called as candidate check. When performing candidate check performance varies either towards the positive side

We might model such a scenario using three types of object: one for Customers, one for BankAccounts and another for Transactions. In terms of data required, for Customers assume we

What are the two ways for restricting the value range for a domain? By specifying fixed values. By stipulating a value table.


Universal Elimination: Here for any sentence, there is A, containing a universally quantified variable, v, just for any ground term, g, so we can substitute g for v in A. Thus

Q. Write a program to find 1's and 2's complement of a Binary number. Perform necessary checking that if entered number is not a valid number, ask user to enter valid Binary n