+612 9045 4394
 
CHECKOUT
A Resolution Principle for a Logic with Restricted Quantifiers : Lecture Notes in Computer Science / Lecture Notes in Artific - Hans-Jurgen Burckert

A Resolution Principle for a Logic with Restricted Quantifiers

Lecture Notes in Computer Science / Lecture Notes in Artific

Paperback

Published: 11th December 1991
Ships: 5 to 9 business days
5 to 9 business days
$116.16
or 4 easy payments of $29.04 with Learn more

This monograph presents foundations for a constrainedlogic scheme treating constraints as a very general form ofrestricted quantifiers. The constraints - or quantifierrestrictions - are taken from a general constraint systemconsisting of constraint theory and a set of distinguishedconstraints.The book provides a calculus for this constrained logicbased on a generalization of Robinson's resolutionprinciple. Technically, the unification procedure of theresolution rule is replaced by suitable constraint-solvingmethods. The calculus is proven sound and complete for therefutation of sets of constrained clauses. Using a new andelegant generalization of the notion ofa ground instance,the proof technique is a straightforward adaptation of theclassical proof technique.The author demonstrates that the constrained logic schemecan be instantiated by well-known sorted logics orequational theories and also by extensions of predicatelogics with general equational constraints or conceptdescription languages.

Preliminaries.- Unification.- A logic with restricted quantifiers.- Equational constraint theories.- Conclusion.

ISBN: 9783540550341
ISBN-10: 3540550348
Series: Lecture Notes in Computer Science / Lecture Notes in Artific
Audience: General
Format: Paperback
Language: English
Number Of Pages: 120
Published: 11th December 1991
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 0.71
Weight (kg): 0.2