Binary resolution, Computer Engineering

Binary Resolution:

However we saw unit resolution for a propositional inference rule in the previous lecture: 

(A?  B,   ¬B) /A

Thus we can take this a little further to propositional binary resolution: 

A ? B,    ¬ B ? C / A?  C

There would be in Binary resolution gets its name from the fact that each sentence is a disjunction of exactly two literals. Thus we say here the two opposing literals B and ¬B are  resolved - and they are removed where the disjunctions are merged. 

Now in the binary resolution rule can be seen to be sound it means that if both A and C were false then at least one of the sentences at the top line would be false. Hence as this is an inference rule then we are supposing that the top line is true. So thus we can't have both A and C being false, that means either A or C must be true. After that we can infer the bottom line.

Posted Date: 1/11/2013 6:14:40 AM | Location : United States







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

Write discussion on Binary resolution
Your posts are moderated
Related Questions
Q. How Dreamweaver Work in Layout View? Dreamweaver has two visual design views-Standard view and Layout view. You will start by working in Layout view, which allows you to dra

Gordon Grant, majority shareholder and Chief Executive Officer of Finance-IT Ltd, is determined to be one of the entrepreneurs making money out of the recession. He started the fir

Multiple valued logics: Multiple valued logics, where altered types of truth value such as "unknown" are may be allowed. These have some of the particular advantages of fuzzy

What are the Objectives of UML trace development of UML; recognize and describe notations for object modelling using UML; describe a variety of structural and be

Specifying Constraint Problems: However as with most successful "AI" techniques there constraint solving is all about solving problems as: somehow phrase the intelligent task

Concept of Multithreading: This problem rises in design of large scale multiprocessors like MPP. So a solution for optimizing this latency must be acquired at. The idea of Mul

Byteland county is very famous for luminous jewels. Luminous jewels are used in making beautiful necklaces. A necklace consists of various luminous jewels of particular colour. Nec

What are the special unit related fields and methods?   The most significant method (in fact pseudo method) related to units is get_enclosing_unit().  The mostly used field in

Explain Deadlock in operating system ? Deadlock: all process in a set of processes is waiting for an event which only a process in the set can cause.

Differentiate between Transport and Session layers of OSI model. OSI Model Transport Layer The transport layer utilizes the services provided through the network layer, as