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 |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Working-Paper-SWP-90-01_Denzinger_Ansatzpunkte-für-heuristische-Methoden-bei-der-Vervollständigung.pdf | 8,83 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.