Drawbacks to resolution theorem, Computer Engineering

Drawbacks to resolution theorem:

Thus the underlining here identifies some drawbacks to resolution theorem proving:

  • It only works for true theorems that can be expressed in first order logic:

Just cannot to check at the same time where a conjecture is true or false, but it can't work in higher order logics. So if there are related techniques which address these problems, than to varying degrees of success. 

  • While it is proven such the method will find the solution, there in practice the search space is often too large to find one in a reasonable amount of time, so even for fairly simple theorems.

 

So notwithstanding these drawbacks, there resolution theorem proving is a complete method: but if your theorem does follow from the axioms of a domain so such resolution can prove it. However, it only uses one rule of deduction the resolution but the multitude we saw in the last lecture. Thus it is comparatively simple to understand how resolution theorem provers work. Here for these reasons and the development of the resolution method was a major accomplishment in logic in which with serious implications to "Artificial Intelligence" research. 

There resolution works by taking two sentences and resolving them with one ultimately resolving two sentences to produce the False statement. So we can say that the resolution rule is more complicated other than the rules of inference we've seen before we require  to cover some preparatory notions before we can understand how it works. Now here in particularly we use to look at conjunctive normal form and unification before we can state the full resolution rule at the heart of the resolution method to justified.

Posted Date: 1/11/2013 6:13:41 AM | Location : United States







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

Write discussion on Drawbacks to resolution theorem
Your posts are moderated
Related Questions

Illustrate the term EDI Trading Patterns? EDI Trading Patterns are illustrated below: a. Hubs and Spokes: Several of the prime movers into the adoption of Electronic Da

Problem : (a) Show whether or not a standard format for representing data, such as XML, is needed. (b) Using an appropriate example, describe how data is organized in a dat

A computer system with 16K of memory, a Memory Management Unit with a page size of 2000, and the following page translation table :      Logical Address    Physical Start 0000

Explain the CCITT hierarchical structure of switching using block schematic. Hierarchical network are able of handing heavy traffic where needed, and at similar time use mini

What is the greatest benefit of using asp.net mvc over asp.net webforms? Ans) It is complex to unit test UI with webforms, where views in mvc can be very simply unit tested.

What are the Applications of Linked List are a) Fixed block storage allocation b) garbage collection

Discuss the advantages of Electronics Data Exchange (EDI). Advantages of EDI: Electronics Data Exchange's saves needless re-capture of data. It leads to faster transfer of d

"A datagram cannot be larger than the MTU of a network over which it is sent." Is the statement true or false? Explain with the help of a suitable example. All hardware technol

Q. What do you mean by Supercomputers? The upper end of state of art mainframe machine is supercomputers. These are among the fastest machines in terms of processing speed and