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
Are there standards for electronic imaging? Given the sensitive nature of most permanent records, there are microphotography standards in place which contain microfilm, compute

Define Step by Step Procedure in Computer Programming? The Computer programming is the skill and art of creating a computer program a defined set of instructions in source code

Which interface controls what is shown on the p.c.? Presentation Interface  controls what is shown on the p.c

Explain the term middleware in context of RPC. A variety of commercial tools have been urbanized to assist the programmer in constructing client- server software. These tools a

How many types of stages include in process of data mining? The process of data mining comprised three stages as given below: a) The initial exploration b) Model buildin

Program Level This is usually the dependability of the operating system, which runs processes simultaneously. Different programs are evidently independent of each other. So par

What is a shell? A shell is an interactive user interface to an operating system services that permits an user to enter commands as character strings or by a graphical user int

Define MFC. To accommodate the variability in response time, the processor waits unless it receives an indication that the requested read operation has been done. The control s

In AI the process of perception is studied as a set operations. A visual scene may be encoded by sensors and represented as matrix of intensity values. These are processed b