A Resolution Principle for a Logic with Restricted Quantifiers
Seiten
1991
Springer Berlin (Verlag)
978-3-540-55034-1 (ISBN)
Springer Berlin (Verlag)
978-3-540-55034-1 (ISBN)
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 | 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-10 | 3-540-55034-8 / 3540550348 |
| ISBN-13 | 978-3-540-55034-1 / 9783540550341 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Eine praxisorientierte Einführung
Buch | Softcover (2025)
Springer Vieweg (Verlag)
CHF 53,15
Buch | Softcover (2025)
Reclam, Philipp (Verlag)
CHF 11,20
die materielle Wahrheit hinter den neuen Datenimperien
Buch | Hardcover (2024)
C.H.Beck (Verlag)
CHF 44,75
