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
Write a Verilog code for synchronous and asynchronous reset? Synchronous  reset, synchronous means clock dependent so reset must not be present in sensitivity disk eg: alway

Fingerprint- Biometric computer security systems First of all, fingerprint is the most commonly used biometric technology, because every person has unique fingerprints and the

What is strong-typing versus weak-typing? Which is preferred? Why? Strong type is checking the types of variables as early as possible, usually at compile time. Whereas weak ty

Q. Explain about Micro-instruction Formats? Now let's focus on format of a micro-instruction. The two widely used formats employed for micro-instructions are vertical and horiz

Simple codes for robot using applet

Constant Current Sources An ideal constant current source delivers a given current to a circuit regardless of the voltage required to do so. . Constant current supplies are r

Primary objectives/details of Load Sharing Facility Resource Management Software (LSFRMS) are better resource utilisation by routing task to most suitable system as well a better u

What are the basic functions of Database utility? The basic features of database utility are: Make database objects. Remove database objects. Adjust database obj

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

Basic Concept of Data Parallelism Thinking the condition where the same problem of submission of „electricity bill? is Handled as follows: Again, three are counters. Howeve