Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-36868
Titel: | Unification of sets and multisets |
VerfasserIn: | Livesey, M. Siekmann, Jörg |
Sprache: | Englisch |
Erscheinungsjahr: | 1976 |
Erscheinungsort: | Bonn |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | The observation that unification under associativity and commutativity reduces to the solution of certain linear diophantine equations is the basis for a complete and minimal unification algorithm. It is also shown that completeness and minimality is closely related to the notion of a basis for the linear solution space of these equations . Terms under associativity (A) and commutativity (C) closely resemble the datastructure multi sets (sets which may contain multiple occurrences of the same element) , which is used in the matching of patterns (pattern directed invocation) in many Al-languages. The problem was first investigated in [ 40], this paper presents an alternative solution, which is an improvement over [ 40]. Unification under associativity, commutativity and idempotence is shown to behave in an exactly parallel manner to unification under {A, C} with the proviso that the arithmetic equations are replaced by Boolean equations. Terms under associativity, commutativity and idempotence closely resemble the datastructure set, which is also used in the matching of patterns in many Al-languages. The combination of these axioms occur in automatic theorem proving, e.g. set theoretic Intersection and union have these properties. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-368687 hdl:20.500.11880/33495 http://dx.doi.org/10.22028/D291-36868 |
Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
Band: | 76,2 |
Datum des Eintrags: | 21-Jul-2022 |
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 | |
---|---|---|---|---|
MEMO_SEKI-76-II__Livesey_UNIFICATION-OF-SETS-AND-MULTISETS_p.pdf | 106,83 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.