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ößeFormat 
SEKI-Report-SR-92-03_Avenhaus-Denzinger-Hoffmann_Efficient-AC1=Matching-using-Constraints.pdf3,63 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.