Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-43953
Titel: Ansatzpunkte für heuristische Methoden bei der Vervollständigung
VerfasserIn: Denzinger, Jörg
Sprache: Deutsch
Erscheinungsjahr: 1990
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: We deal with the most important features of the Knuth-Bendix completion procedure considered as search problems. There are four indeterminisms in this algorithm: ordering, computation of normalforms, interreduction and selection of critical pairs. They are represented as search trees in order to show the programmer's choices when implementing such an algorithm. The problems are outlined by examples and some possible heuristic criteria for their solutions are given.
Wir betrachten den Knuth-Bendix-Vervollständigungsalgorithmus unter dem Aspekt von Suchproblemen. Die vier Indeterminismen: Ordnung, Normalformbildung, Interreduction und Auswahl des nächsten kritischen Paares werden als Suchbäume uniform dargestellt, um die Wahlmöglichkeiten eines Programmierers bei dem Implementation einer Vervollständigung aufzuzeigen. Die auftretenden Probleme werden an Hand von Beispielen geschildert und Ansatzpunkte für Heuristiken zur Lösung dieser Probleme gegeben.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-439536
hdl:20.500.11880/39374
http://dx.doi.org/10.22028/D291-43953
Schriftenreihe: SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931]
Band: 90,1
Datum des Eintrags: 13-Jan-2025
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



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.