Resolution Method:

For a minor miracle occurred in 1965 where Alan Robinson published his resolution method as uses a method to generalised version of the resolution rule of inference we saw in the previous lecture. So there it has been mathematically proven to be refutation-complete over first order logic. Because if you write any set of sentences in first order logic that are unsatisfiable so that means  taken together they are false however in that they have no models so the resolution method will eventually derive the False symbol as indicating that the sentences somehow contradict each other. 

Now we see in particularly if the set of first order sentences comprises a set of axioms and the negation of a theorem you want to prove then the resolution method can be used in a proof-by-contradiction approach. Because if your first order theorem is true such as proof by contradiction using the resolution method is guaranteed to find the proof to a theorem eventually.

Posted Date: 1/11/2013 6:09:37 AM | Location : United States

Ask an Expert

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

Write discussion on Resolution method
Your posts are moderated

Write your message here..

Related Questions

Explain optimizing transformations, Explain optimizing transformations? ... Explain optimizing transformations? Optimizing transformations: It is a rule for rewriting a segment of a program to enhance its execution efficiency without influencing i

What are concentrators, What are concentrators? Explain how it helps in con... What are concentrators? Explain how it helps in connecting number of subscribers. In rural areas, subscribers are usually dispersed. This is both unessential and expensive to g

Explain the criteria to classify data structures, Explain the criteria to c... Explain the criteria to classify data structures used for language processors? The data structures utilized in language processing can be classified upon the basis of the subse

Describe about the embedded applications assembly, Describe about the Embed... Describe about the Embedded applications assembly Embedded applications assembly and C programs are developed since embedded programs aren't large. For all others high-level an

Credit line, The Credit Line The Credit Line is a set of informational f... The Credit Line The Credit Line is a set of informational facts usually found below or beside a picture of a work of art. Should the picture appear in a book, magazine, poster,

Illustrate working of rubber dome keyboards, Q. Illustrate working of rubbe... Q. Illustrate working of rubber dome keyboards? Rubber Dome: In rubber dome keyboards both positioning and contact are controlled by a puckered sheet of elastomer that is a s

Design a bcd to seven segment decoder, Design a BCD to seven segment decode... Design a BCD to seven segment decoder that accepts a decimal digit in BCS and generates the appropriate output for segments in display indicator. Ans: BCD-TO-seven-Segment

What is meant by inter process communication, What is meant by inter proces... What is meant by inter process communication? Inter process Communication: The OS give the means for cooperating processes to communicate with each other through an inter pro

Explain the random scan and raster scan displays, Define Random scan/Raste... Define Random scan/Raster scan displays?  Random scan is a method in which the display is made by the electronic beam which is directed only to the points or part of the screen

Information system for strategic advantage, Q. Describe short note on Infor... Q. Describe short note on Information system for strategic advantage? Ans. Strategic role of information systems engage using information technology to develop products or serv