Unit resolution, Computer Engineering

Unit Resolution:

By assuming that we knew the sentence as "Tony Blair is prime minister or may the moon is made of blue cheese", is true or we later found out that the moon isn't in fact made of cheese. It means that the first disjoined sentence is true; so than we can infer that Tony Blair is indeed prime minister. Hence we say that this typifies the essence of the unit resolution rule: 

((A ? B),    ¬ B ))/A

So in the generalised version of this inference rule is one subject of a whole area of "Artificial Intelligence" research called as resolution theorem proving, that we cover in detail in the next lecture.

Posted Date: 1/11/2013 5:52:55 AM | Location : United States







Related Discussions:- Unit resolution, Assignment Help, Ask Question on Unit resolution, Get Answer, Expert's Help, Unit resolution Discussions

Write discussion on Unit resolution
Your posts are moderated
Related Questions
What is object orientation? Object orientation means that we classify software as a collection of discrete objects that incorporate with together DS and behaviour. Four aspe

Layout view is helpful for laying out Web pages. However you can adjust most of your design elements in Layout view, certain changes should be completed in Standard view. When you

HOW TO SAVE YOUR FILE? Step 1: Click on FILE Step 2: Click on SAVE Step 3: Choose the folder in which you want to save Step 4: Provide a name to the file (with .htm /

What is pipelining? What are the various hazards encountered in pipelining?  Explain in detail. The major characteristics of a pipeline are: a) Pipelining cannot be exe


Q. Learn synchronization principles? To learn synchronization subsequent dependencies are recognized:  i)  Data Dependency: These are RAW, WAW and WAR dependency.  ii) Co

Propositional Inference Rules: Propositional Inference Rules Equivalence rules are mostly useful because of the vice-versa aspect, that means like we can search backwards and

Problem: Develop three sub-systems namely Staff Profiling System, Inventory Management System and Time-tabling systems. (a) Show about any three design patterns you have us


Message passing is possible the most widely used parallel programming paradigm these days. It is the most portable, natural and efficient scheme for distributed memory systems. It