Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40428
Titel: Vade-mecum of Polynomial Orderings
VerfasserIn: Steinbach, Joachim
Zehnter, Michael
Sprache: Englisch
Erscheinungsjahr: 1990
Erscheinungsort: Kaiserslautern
Freie Schlagwörter: E-compatible
E-termination
Homeomorphic embedding
Interpretation
Knuth-Bendix ordering
Lexicographical ordering
Monomial
Multiset ordering
Path and decomposition orderings
Polynomial
Simplification ordering
Status
Termination
Term rewriting system
Well-founded ordering
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Orderings on polynomial interpretations of operators represent a powerful technique for proving the termination of rewrite systems. We discuss most of the well-known features concerning this method including heuristics for the generation of adequate interpretations orienting a given system, strategies for deciding the positiveness of a polynomial, restricted interpretations to guarantee E-termination and some improvements [such as the Cartesian product of polynomials]. This report is a detailed source of examples that illustrate the uncertainties of polynomial orderings. Furthermore, we develop new aspects involving two approaches that are suitable to simple implementations, a few suggestions for producing adequate interpretations [e.g., a technique for automatically generating linear polynomials], some new orderings handling underlying theories, a new improved version of polynomial orderings [based on the Knuth-Bendix ordering with status] as well as a detailed comparison of the various approaches together with path and decomposition orderings. Thus, the report in hand is a kind of vade-mecum of most of the known as well as new results concerned with polynomial orderings.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-404289
hdl:20.500.11880/37646
http://dx.doi.org/10.22028/D291-40428
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 90,3
Datum des Eintrags: 16-Mai-2024
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI_Report-SR-90-03_Steinbach-Zehnter_Vade=mecum-of-Polynomial-Orderings.pdf89,85 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.