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ößeFormat 
MEMO_SEKI-76-II__Livesey_UNIFICATION-OF-SETS-AND-MULTISETS_p.pdf106,83 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.