Blick ins Buch

A Resolution Principle for a Logic with Restricted Quantifiers

Hans-Jürgen Bürckert (Autor)

Buch | Softcover

XII, 120 Seiten

1991
Springer Berlin (Verlag)
9783540550341 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

Erscheint lt. Verlag	11.12.1991
Reihe/Serie	Lecture Notes in Artificial Intelligence
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XII, 120 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	1 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Beschränkte Quantoren • Calculus • Deduction and Theorem Proving • Deduktion und Beweisen • extension • Knowledge Representation • Logic • Logic Programming • Logik • Logisches Programmieren • Mathematical Logic • Mathematische Logik • Quantor • Resolution • Restricted Quantifiers • Sets • Wissens-Darstellung
ISBN-13	9783540550341 / 9783540550341
Zustand	Neuware