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
Compact Disc; Compact Disc ( CD)   is an optical disc  which is used to  store digital data. It was initially developed to store sound recordings completely, but later it als


Q. Define Stack segment ? 8086 Microprocessor supports Word stack. Stack segment parameters tell the assembler to alert linker that this segment statement states the program s

Implementing Protection with Virtual Memory - computer architecture: To enable the operating system to implement protection in the VM system, the HW have to: I. Support at

Acting Rationally: "Al" Capone was finally convicted for tax evasion. Were the police reacting on rationally?? To solve this puzzle, we must first look at how the performance

Compare hypertext versus hypermedia.  Hypertext is basically similar as regular text - it can be stored, read, searched, or edited - with a significant except ion: hyper text h

design modulo 12 up synchronous counter using t flip flop


What is Organizational Structure? A business organization may be structured in many dissimilar ways, depending upon the environment within which it handles.  There is always

What is partition? Partitions divide a system into several independent or weakly coupled subsystems, each giving one kind of service. Partitions use peer-peer subsystems.