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
Classification of Pipeline Processors In this part, we explain various types of pipelining that can be useful in computer operations. These types depend on the following factor

What is Electronic Data Interchange? Electronic Data Interchange (EDI): It is used by organizations for transactions which arise on regular basis to a pre-found format.

What is write-back or copy-back protocol? For a write operation using this protocol during write-hit: the method is to update only the cache and to mark it as updated with an a

Internet:  The Internet, an umbrella term cover countless network and services that comprise a super-network, is a global network of computer networks that was started in the 1

Give an intuitive explanation of why the maximum throughput, for small beta, is approximately the same for CSMA slotted Aloha and FCFS splitting with CSMA. Show the optimal expecte

Set Value is ready to ActiveX Object from the form. Let Value is retried to ActiveX Object from the form. Get- Assigns the value of an expression to a variable or property.

There are various limitations of primary memory like limited capacity which is its not enough to store a very large volume of data and volatility which is when power is turned off

Eliminating data hazards: Forwarding NOTE: In the following instance, computed values are in bold, whereas Register numbers are not. Forwarding involves adding output

In digital ICs, Schottky transistors are preferred over normal transistors because of their ? Ans. Lower  propagation  delay  in digital ICs, as  shottky  transistors  reduce