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
Reading Decision Trees: However we can justified by see that a link between decision tree representations and logical representations that can be exploited to make it easier t

what would be the occupancy of each leaf node of a B+ tree

What are the exceptions encountered for FP operation? The exceptions encountered for FP operation are overflow, underflow. /0, inexact and invalid values.

How to fetch random ID from table by SQL query Select * from Table_Name order by NewID()

How many types of size categories and data classes are there? There are five size categories (0-4) and 11 data classes only three of which are suitable for application tables:

What are Different types of Verilog Simulators? There are essentially two types of simulators available. -  Event Driven -  Cycle Based

Q. Explain about Asynchronous message passing? In Asynchronous message passing message transmitting and receiving aren't synchronized in space and time. The store and forward

How a Java program compiles? First source file name should be extended with .java extension. For example Execute javac compiler. javac compiler creates

Ask qDiscuss the risks of having a single root user and how more limited management abilities can be given to others users on Linux/UNIX systems.uestion #Minimum 100 words accepted

State about the multiple inheritance multiple inheritance is shown in Figure. In this, one class is inherited from more than one class.