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:

AB, ¬CD

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





site">http://site.ru/">site
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
Q. Explain about Multiple Program Multiple Data? Like SPMD, MPMD is in fact a 'high level' programming model that can be built on any combination of previously described parall

Q. Major characteristics of a computer family? Let us summarise the major characteristics of a computer family. These are as below: Figure: Characteristics of computer

State about the Three-dimensional digitizers Three-dimensional digitizers use sonic or electromagnetic transmissions to record positions. One electromagnet transmission method

If we have multiple filters impleted, what is the order in which these filters get implemented?   Ans) 1. Authorization filters 2. Response filters 3. Action filters

Compute the number of Ethernet frames formed for a data of 64 KB IP packet. Following figure demonstrates the format of the Ethernet frame. Here maximum data into a frame is 15

Are there any special rules about inlining? Yes, there are some rules about inlining - a.) Any source files which used inline function should contain function's definition.

Which is not a valid page replacement policy? Ans. RU policy (Recurrently used) is not a valid page replacement policy.

Question (a) A 500 MHz Pentium III processor takes 2 ms to run a program with 200,000 instructions. A 300 MHz UltraSparc processor takes 1.8 ms to run the same program with 23

Why is packet switching important? Give at least two reasons. Packet switching is significant due to the following two purposes: 1. A sender and the receiver require coordin

How are devices represented in UNIX? All devices are shown by files called special files that are located in /dev directory. Therefore, device files and other files are named a