Resolution method - artificial intelligence, Computer Engineering

Resolution Method - Artificial intelligence:

A minor miracle happened in 1965 when Alan Robinson published his resolution function. This function uses a generalized format of the resolution principal of inference we looked in the last lecture. It has been mathematically proven to be disclaimer - complete over first categorize logic. This proves that if you write any set of sentences in first classify logic which are disagree (i.e., taken together they are false, in that they have no models), then the resolution process will eventually derive the fake symbol, indicating that the sentences somehow contradict each other.

In particular, if the position of first order sentences comprises a position of axioms and the negation of a theorem you desire to prove, the resolution manner can be used in a proof-by-contradiction method. These means that, if your first order theorem is true then verify by contradiction using the resolution process is guaranteed to search the proof to a theorem eventually. The underlining here identifies some disadvantage to resolution theorem prove.

  • It just works for true theorems which may be articulated in first arrangement logic: it may not check at the similar time whether a conjecture is true or false, and it can't do task in senior order logics. (There are related methods which locate these troubles, to varying degree of success.)
  • While it is proven that the way will find the answer, in performance the search space is often too large to search one in a sensible total of time, even for fairly easy theorems.

Not with standing  these  disadvantage,  resolution  theorem  proving  is  a  whole process: if your theorem does follow from the axiom of a area, then changes can justify it. Moreover, it only uses single law of deduction ,rather than the  massive amount  we  looked  in  the  previous  talk.  Hence,  it  is  comparatively  simple  to

Understand how resolution theorem justify task  For these reasons, the growth of the resolution manner was a huge accomplishment in logic, with serious implication to Artificial Intelligence study.

Resolution works by having two sentences and to resolve them into single, eventually resolving two sentences to construct the false report. The resolution law is more complex than the rules of inference we've seen in past, and we have to cover some preliminary notions before we can get how it works. In particular, we have to see at conjunctive simple form and unification before we may  state the complete resolution method at the center of the resolution method.

Posted Date: 10/2/2012 8:42:47 AM | Location : United States

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

Write discussion on Resolution method - artificial intelligence
Your posts are moderated
Related Questions
Call by value and Call by reference Call by value means sending the values of the arguments- The value of each of the original arguments in the calling function is copied in

Explain the Client- Server Interface Using Procedures Developers must realize that client-server impose a division of labor in application programs. Programs must be broken up

The hexadecimal number for (95.5) 10 is ? Ans. (95.5) 10 = (5F.8) 16 Integer part Fractional part 0.5x16=8.0

What is the difference between the C#.NET and VB.NET? VB.NET - It didn't have the XML Documentation. - It didn't have the Operator Overloading. - It didn't have the P

What are Sequential Algorithms? The central assumption of the RAM model is that instructions are implemented one after   another, one operation at a time. Accordingly, algorith

Q. Explain about FAT - Inode? Today modern PC comprises total capacity of nearly 40GB for storage of program and data Due to this huge capacity in place of having just one oper

Define the concept of Inheritance Inheritance is property of reusing the code within the object oriented development. While modelling, we look at the all the classes, and try

Determine about the security- accidental damage accidental damage is best guarded against by keeping back up files or use Grandfather-Father-Son (GFS) method; also use of passw

User Compatibility & Appropriateness of Inputs and Outputs User compatibility - this is the degree to which the machine works towards task completion in way that suits the u

Make a base class called figure that store the dimensions of several geometrical objects and compute their areas. Explain a function set_dim( ),a standard member  function and show