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 are priority Queues? There are many queues in which we can insert items or delete items from any of the position based on some property. Now, those queues based on the pro

Software Project Planning In the previous days of computing software costs comprised a small % of overall computer based system cost. In order of magnitude error software cost

Massively Parallel System Refers to a parallel computer system having a great number of processors. The number in a great number of keeps increasing and currently it means more

General principles of pruning: The general principles are such that: 1. Given a node N that can be chosen by player one, thus if there is another node, X, along any path,

What are the drawbacks of Electronic Data Interchange processes? Disadvantages of EDI processes are given below: 1. The X12 standard is so huge and general 2. Electron

B2B - Business to Business  It is a mode of conducting business among two or more companies over the Internet, rather than more traditional modes like as telephone, mail, and f

The Concept of Program From a programmer's viewpoint, generally a program is a well-defined set of instructions written in a specific programming language, with predefined sets

Data packets: A data packet consists of the PID which is followed a 16-bit CRC and by 0-1023 bytes of data payload (up to 1024 in high speed and at most 8 at low speed) The

what is semi conductor

What is the purpose of putchar function Putchar writes one character to the standard output file, stdout. Syntax #include int putchar(int c); The putchar macro wr