Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-38952
Titel: | A treatment of collection data as constructor algebras |
VerfasserIn: | Boley, Harold |
Sprache: | Englisch |
Erscheinungsjahr: | 1984 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 000 Allgemeines, Wissenschaft |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | This paper gives algebraic definitions of various types of nested variable-length “collections” of elements, usable as data structures. First of all, however, the paper introduces constructor algebras through an integer sequences data type. It then begins with the fundamental CONS algebra of N-tuples and a variant with “negative" elements, complementing it and subsequent homogeneous algebras by heterogeneous ones. For such list algebras, the paper postulates axioms embodying the three “basic properties“ [Commutativity‚ Idempotence, Associativity], and uses these to define the remaining seven "basic collections" [strings‚ communes, acommunes, bags, abags, sets, heaps]. Proceeding to ”non-basic collections", it then introduces "adsorption" properties [”complementary" to absorption], which are characteristic for graphs, and postulates them as axioms in algebras of ordinary graphs and of directed recursive labelnode hypergraphs [DRLHs]. Finally, it defines the property of "Similpotence" [“weaker” than Idempotence] and postulates it for DRLHs with contact labelnodes, as applied in knowledge representation. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-389520 hdl:20.500.11880/35465 http://dx.doi.org/10.22028/D291-38952 |
Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
Band: | 84,6 |
Datum des Eintrags: | 20-Mär-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-MEMO-84-06_Boley_A-Treatment-of-Collection-Data-as-Constructor-Algebras.pdf | 62,62 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.