Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Resolution – Further Considerations

  • Resolution can be used to establish that a given sentence is entailed by a set of axioms
    • However, it cannot , in general, be used to generate all logical consequences of a set axioms
    • Also, the resolution cannot be used to prove that a given sentence is not entailed by a set of axioms

  • Resolution defines a search space
    • The decision which clauses will be resolved against which others define the operators in the space
    • A search method is required

  • Worst case: Resolution is exponential in the number of clauses to resolve

Speaker notes:

Content Tools


There are currently no sources for this slide.