Universal elimination, Computer Engineering

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 we write the following to represent this rule:

  ∀v A/Subst({v/g}, A)

As show an example from Russell and Norvig that a rule can be used on the following sentence: as ∀X, likes(X, ice_cream) to substitute the variable 'ben' for X, for giving us the sentence as ben, ice_cream. In generally English, this might says that there given everyone like ice cream, so we can infer here that Ben likes ice cream. Thus this is not exactly rocket science and  just  for that it is worth bearing in mind beneath all the fancy symbols in logic, so we're really only saying simple things.

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







Related Discussions:- Universal elimination, Assignment Help, Ask Question on Universal elimination, Get Answer, Expert's Help, Universal elimination Discussions

Write discussion on Universal elimination
Your posts are moderated
Related Questions
Q. Which things should microprocessor validate? A microprocessor should validate: Powerful addressing modes More addressing capability More throughput Po

How many lists can a program can produce? Every program can produce up to 21 lists: one basic list and 20 secondary lists.  If the user makes a list on the next level (that is,

Define Software is in machine language or not Software is in machine language, today it is often developed by first writing in a high-level language or an assembly language or

Determine about the Voice Systems Speech recognizers are used in some graphics workstations as input devices to accept voice commands. The voice-system input can be used to ini

Consider the following statements about the types of fruit people like. If people like apples, then they do not like oranges. If people do not like apples, then they like orang

a. Explain the meaning of frame buffer? Draw a block diagram showing the method for scanning out an image from frame buffer to display surface. b. Explain the structure of plasm

Illustrated about the layered architecture of Electronic Data Interchange? Layered Architecture of EDI: Electronic Data Interchange is most commonly applied into th

how does a ohms law c++ programming works

dear sir,kindly describe the above tpoic completely

What are null values? If the value of a field in a table is indeterminate or unknown, it is known as a null value.