Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-39776
Titel: | Some Relationships between Unification, Restricted Unification, and Matching |
VerfasserIn: | Bürckert, Hans-Jürgen |
Sprache: | Englisch |
Erscheinungsjahr: | 1986 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | We present restricted T-unification that is unification of terms under a given equational theory T with the restriction that not all variables are allowed to be substituted. Some relationships between restricted T-unification, unrestricted T-unification and T-matching (one-sided T-unification) are established. Our main result is that, in the case of an almost collapse free equational theory the most general restricted unifiers and for certain termpairs the most general matchers are also most general unrestricted unifiers, this does not hold for more general theories. Almost collapse free theories are theories, where only terms starting with projection symbols may collapse (Le to be T-equal) to variables. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-397767 hdl:20.500.11880/36025 http://dx.doi.org/10.22028/D291-39776 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 86,5 |
Datum des Eintrags: | 22-Jun-2023 |
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-86-05_Bürckert_Some-Relationships-between-Unification-Restricted-Unification-and-Matching.pdf | 12,88 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.