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. Illustarte Basic Flip-flops? Let's first see a ordinary latch. A latch or flip-flop can be created employing two NOR or NAND gates. Figure (a) presents logic diagram for S-R

Creation Deductive Inferences : Here we have shown how knowledge can be represented in first-order logic or how rule-based expert systems expressed in logic can be constructed

The performance instrumentation states on how to efficiently gather information about the computation of the parallel computer. The process of instrumentation mainly attempts to ca

Define swapping.  A process needs to be in memory to be implemented. Though a process can be swapped temporarily out of memory to a backing store and then brought back into mem

What criteria should be adopted for choosing type of file organization. Selecting a file organization is a design decision; therefore it must be done having in mind the achieve

Assemblies are made up of IL code modules and the metadata that explains them. Although programs may be compiled by an IDE or the command line, in fact, they are easily translated

a. Explain the future of mobile commerce in world? b. 'Push and Pull' are two ways of transferring information to and from a phone, through WAP. Now, with the help of diagram, s

VBScript is an easy and powerful to learn tool which can be used to add interaction to your Web pages. Web browser receives scripts along with rest of the Web document. Browser par

Question: a) Write a small program using floating-point operations in Reverse Polish Notation to evaluate the following: Volume of Sphere = (4/3)πr 3 Consider that the u