Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40776
Titel: | Efficient AC1-Matching using Constraints |
VerfasserIn: | Avenhaus, Jürgen Denzinger, Jörg Hoffmann, T. |
Sprache: | Englisch |
Erscheinungsjahr: | 1992 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | We present an algorithm for the matching problem modulo the theory AC1 of associativity, commutativity and a unit element. Straight forward matching algorithms create a large number of branching points for backtracking. To reduce the enormous search space we propose to postpone the solution of subproblems and instead to approximate the solutions by constraints. This allows one to have a global view on the whole problem and so to reduce the large number of branching points. We demonstrate the algorithm by some examples and give hints how the general idea - contraint propagation - can be used for other theory matching algorithms and how term constraints from calling functions of our algorithm can be incorporated. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-407764 hdl:20.500.11880/37666 http://dx.doi.org/10.22028/D291-40776 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 92,3 |
Datum des Eintrags: | 17-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öße | Format | |
---|---|---|---|---|
SEKI-Report-SR-92-03_Avenhaus-Denzinger-Hoffmann_Efficient-AC1=Matching-using-Constraints.pdf | 3,63 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.