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
Example Multi-layer ANN with Sigmoid Units: However we will concern ourselves here that with ANNs containing only one hidden layer and as this makes describing the backpropaga

What is Dynamic Modelling  As you know that computer systems are built from the objects which respond to events. External events arrive at boundary of system; you understan

Name the language processors are? Assembler, Compiler and Interpreter are the language processors.

This part looks at Berliner's program, two backprop versions by Tesauro and a temporal difference process by Tesauro. This latter program is VERY good quality and has found strateg

Activity of a some  enzyme was calculated  in extracts from brain, heart and lung. In every  tissue,  the activity was calculated  various  times, giving the following results (in

Cache-Only Memory Access Model (COMA) As we have considered earlier, shared memory multiprocessor systems can use cache memories with each processor for decreasing the execution

What is the benefit of MITRE''s evolutionary approach to KM?

Line A Line is, on a simple level, a mark connecting 2 points. However, how lines are used in an image is extremely important. By varying the quality of line used in an image,

Briefly explain how server form post-back works?  Post Back: The process in which a Web page sends data back to the similar page on the server. View State: View State is the m

Define the method of Implementation Once "final" system has been designed it is then essential to put together the software and hardware and introduce the new system. There ar