A Resolution Principle for a Logic with Restricted Quantifiers
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
64.19 €
32 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „A Resolution Principle for a Logic with Restricted Quantifiers “
Klappentext zu „A Resolution Principle for a Logic with Restricted Quantifiers “
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.
Inhaltsverzeichnis zu „A Resolution Principle for a Logic with Restricted Quantifiers “
Preliminaries.- Unification.- A logic with restricted quantifiers.- Equational constraint theories.- Conclusion.
Bibliographische Angaben
- Autor: Hans-Jürgen Bürckert
- 1991, 1991, 120 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer
- ISBN-10: 3540550348
- ISBN-13: 9783540550341
- Erscheinungsdatum: 11.12.1991
Sprache:
Englisch
Kommentar zu "A Resolution Principle for a Logic with Restricted Quantifiers"
0 Gebrauchte Artikel zu „A Resolution Principle for a Logic with Restricted Quantifiers“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "A Resolution Principle for a Logic with Restricted Quantifiers".
Kommentar verfassen