Binary resolution - artificial intelligence, Computer Engineering

Binary Resolution:

We looked at unit resolution (a propositional inference law) in the last lecture:

AB,   ¬B /A

We may have this a bit further to propositional binary resolution:

A ∨ B, ¬ B∨ C /A∨C

Binary resolution have its name from the truth that each sentence is a disjunction of accurately two literals. We say the two disparate literals B and ¬B are resolved - they are detached when the disjunctions are combined.

The binary resolution principal may be looked to be sound because if both C and A were not true then at least one of the sentences on the peak line would be untrue. As this is an inference principal, we are pretending that the peak line is true. Hence we can't have both C and A being untrue, which means either C or A should be true. So we can infer the base line.

So far we've only looked at propositional version of resolution. In first-order logic we have to also deal with variables and quantifiers. As we'll look under, we don't

Have to worry for quantifiers: we are going to work with sentences that just contain less variables. Remind that we treat these variables as implicitly   unique quantified, and that they may have any value. This allows us to state a much common first-order binary resolution inference law:


Subset (θ, B) = Subset (&theta, C)

Subset (θ, A  D)

This law has the side condition Subset (θ, B) =  Subset(&theta, C), which demands there to be a substitution θ which forms B and C the similar before we may  use the law. (Note θ may replace fresh variables while forming B and C similar. It doesn't have to be a ground substitution!) If we may search such a θ, then we may create the resolution step and apply θ to the outcome really, the first-order binary law is simply equal to applying the substitution to the real sentences, and then applying the propositional binary law.

Posted Date: 10/2/2012 8:48:02 AM | Location : United States

Posted by site | Posted Date: 1/24/2013 10:24:37 AM

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

Write discussion on Binary resolution - artificial intelligence
Your posts are moderated
Related Questions
Use the input capture to control the digital clock.  In this part, there will be two switches to control the clock, one is for starting the clock and one is for stopping the clock.

Distortion caused on telephone line by an adjacent one is called (A) Cross Fire                      (B) Inductive Disturbance (C)  Cross Talk                     (D) Non

Disadvantages of macro processor

Describe five bit even parity checker. Ans: Five bit even parity checker: EX-OR gates are utilized for checking the parity as they generate output 1, while the input ha

Q. Show the Dynamic Range and Colour Depth? Dynamic Range is the number of colours a colour scan or number of grays a monochrome scanner can distinguish. The dynamic range is t

The number of point to point links required in a fully connected network for 50 entities is? The number of point to point links needed in a completely connected network for 50

De Morgan's Laws Continuing with the relationship between  ∧  and  ∨ , we can also use De Morgan's Law to rearrange sentences involving negation in conjunction with these conne

Explain the Edge-triggered J-K flip-flop? The J-K flip-flop works extremely similar to S-R flip-flop. The merely difference is that this flip-flop has NO invalid state.

Multiprogramming or multitasking? Ans: The OS manages the concurrent execution of many application programs to make best possible use of computer resources. This pattern of si

Name the switching schemes used in a digital exchange? The several switching systems used are:  1. Strowger Switching System 2. Cross bar Switching. 3. Electronic Swit