Ground substitution, Computer Engineering

Ground substitution:

Here the act of performing an instantiation is a function like there is only one possible outcome means we can write it as a function. And the notation Subst({X/george, Y/tony}, as (X,Y)) = likes(george, tony)  it indicates that we have made a ground substitution. 

So now we also have to recognise that we are working with sentences that form part of a knowledge base of many such sentences. Just to move on the point we see there will be constants that appear throughout the knowledge base so some that are local to a particular sentence.

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

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

Write discussion on Ground substitution
Your posts are moderated
Related Questions
How many flip flops are required to construct a decade counter ? Ans. 4 FlipFlop's are required because decade counter counts 10 states from 0 to 9 (that is from 0000 to 1001).

How will you reuse a plan? Reuse is an benefit of OO technology. Two aspects of reuse: Using existing things and making reusable new things It is simpler to reus

Explain the outsourcing barriers that an organization faces. 1. Critical operations that cannot be outsourced. 2. Negative customer reaction. 3. Employee resistance. 4

In a 10000 line exchange, 0000 to 2999 is allotted to x group of subscribers, out of which 40% are active during busy hour. The remaining numbers are domestic numbers out of which

Explain briefly Loop-invariant code motion of the commonly used code optimization techniques. Loop-invariant code motion If a quantity is calculated inside a loop duri

Q. Limitation identified in Amdahls law? There is one main limitation identified in Amdahl's law. As said by Amdahl's law workload or problem size is forever fixed as well as n

Create your own Subprogram that uses at least 1input parameter and a return parameter. You decide the theme. You should give the pseudocode and an example Subroutine call. Be sure

There can be more than one node at the highest level in the structure. False.  One can describe only single node at the highest level in the structure on LDB

Q. Explain Usenet and Newsgroups? In Internet there exists another way to meet people and share information. One such way is through Usenet newsgroups. These are special groups

Receive a message. tid is integer task identifier of transmitting process supplied by user and msgtag is message tag supplied by user( must be non negative integer). The process re