𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on linear resolution strategies in consequence-finding

✍ Scribed by Eliana Minicozzi; Raymond Reiter

Publisher
Elsevier Science
Year
1972
Tongue
English
Weight
358 KB
Volume
3
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

✦ Synopsis

The completeness, for consequence-finding, of various linear resolution strategies is siudied. Linear resolution with merging and subsL'mption is complete. A.ordered, linear resolution with merging J;Β’, in a certain sense, complete. Linear resolution with merging and C.ordering is incomplete. It is argued that the incompleteness of this latter strategy for consequencefinding recommends it above the other two as a comph,te strotegy for theorem-proving.

πŸ“œ SIMILAR VOLUMES

A note on finding nearest neighbours and
A note on finding nearest neighbours and constructing Delaunay triangulation in the plane
✍ Du, Chongjiang πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 135 KB πŸ‘ 1 views

This paper deals with the largest interior angle property of the Voronoi nearest neighbours and the Delaunay triangulation in two dimensions. It is indicated that each interior angle opposite to an edge of a Delaunay triangle is the largest of the interior angles opposite the same edge of all possib