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
Explain the architecture of SS7 . A block schematic diagram of the CCITT no. 7 signaling system is demonstrated in figure. Signal messages are passed by the central proces

What guarantees the integration of all application modules? The R/3 basis system guarantees the integration of all application modules.  The R/3 basis s/w gives the run time e

Processing elements (PEs)  : Every processing element consists of ALU, local memory and its registers  for storage of distributed data. This PEs has been interconnected via an inte

When a database developer uses Hybrid OLAP it seperates the data among relational and specialized storage. In some certain modifications a HOLAP database may store vast amounts of


What are the importance of Decentralization? a) Self responsibility b) Work autonomy c) Quick decisions d) Continuous involvement and e) Better control. What are the differe

What is event-driven control? Control resides within a dispatcher or monitors that language, subsystem or OS provider. Developers attach application process to events and dispa

Why disable statements are not allowed in functions? If  disble  statement  is used  in function,it  invalids  function  and  its  return  value.  So  disable statements aren't

Discuss the concept of segmentation? Segmentation is method for the non contiguous storage allocation. This is different from paging as this supports user's view of his program

Q. Creating a New Directory in DOS? You can create any directory under any directory in the hard disk or floppy disk. The command to create a new directory is MKDIR or MD. To c