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

Which method do you invoke on the DataAdapter control to load  your generated dataset with data? DataAdapter.Fill(ds). The beauty of this method is it automatically implicitly

What is compiler? A system software program known as a compiler translates the high-level language program into a suitable machine language program having instruction such as t

Q. Explain use of parallel sections construct? This illustration explains use of parallel sections construct. Three functions, fun1, fun2, and fun3, all can be executed simulta

Aggregation Aggregation is a special form of association that models the "part-whole" or "a-part-of" relationship as an aggregate (the whole) and parts. The most important pro

What are the blocks of microprocessor based system 1.  The Memory and I/O System 2.  The DOS Operating System 3.  The Microprocessor

Q. Explain about Synchronous DRAM? One of the most broadly used forms of DRAM is synchronous DRAM (SDRAM). Unlike the conventional DRAM that is asynchronous SDRAM exchanges dat


3-variable K-maps have 8 squares which arenormally arranged in 4 columns and 2 rows.Columns are labeled with 2 variables. The columns are arranged so that either A or B cha

Unit testing and integration testing: Unit testing focuses on the least element of software design by the module. Unit test is conducted on every of the modules to uncover er