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
How Online Databases Work? An online or web-based database keeps data on a cloud of servers somewhere on the Internet, which is accessible by any authorized user with an Intern

What is Page-Stealer process? This is the Kernel process that makes rooms for the incoming pages, by swapping the memory pages that are not the part of the working set of a pro

Explain about the term false path? How it find out in circuit? What the effect of false path in circuit? By timing all the paths into the circuit the timing analyzer can find o

The Gantt chart shows the several activities of each processor with respect to progress in time in idle-overhead -busy modes with respect to each processor. Kiviat diagram:  Th

Q. Explain Open-systems interconnections architecture model The most common network architecture model is the open-systems interconnections (OSI). Figure shows the ISO (Intern

Strong AI makes the bold claim that computers can be made to think on a level (at least) equivalent to humans. Weak AI only states that some "thinking-like" features can be added t

how to breadboARD THE 4 BIT COMPARATOR

What are different types of Log records? V1 and V2.  V1 must be processed before V2.  But, we can have more than single V2 logs

Visual basic applications have very rich and flexible applications but there is single limitation when using pointer function. Windows API has limited support for function pointers

Differentiate between exception and validation testing. - Validation testing is done to test the software in conformance to the needs specified. It aims to demonstrate that the