Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-25365
Titel: | Integration von Sorten als ausgezeichnete taxonomische Prädikate in eine relational-funktionale Sprache |
VerfasserIn: | Hall, Victoria |
Sprache: | Deutsch |
Erscheinungsjahr: | 1995 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz |
Freie Schlagwörter: | artificial intelligence |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Sorts are incorperated into RELFUN as distinguished unary predicates usable as first-class citizens. Inheritance is integrated into the unification process via a taxonomy defined by a partial-order relation on the sorts. Sort knowledge describes which individuals belong to a sort (ABOX) and which order dependencies exist between the sorts (TBOX). This special knowledge should be recognizable as such. The separation can be reached by a special (second-order) predicate subsumes or by partitioning the knowledge base. Focusing on partitioning, we can choose a dynamic (run-time) or static (compile-time) model for the unification involving sorted terms. In the static model a precompiler generates an internal structure representing the refiexive-transitive sort closure and the defined individuals of each sort. Using this structure, unification is reduced to list intersectiom (sort-sort unification, succeeding with the glb) 01' a membership test (sort-individual unification). It also provides elementary validation operations for taxonomy acylicity, unique glb's, and the equivalence of intensional (TBOX) and exensional (ABOX) glb's. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-55668 hdl:20.500.11880/25421 http://dx.doi.org/10.22028/D291-25365 |
Schriftenreihe: | Document / Deutsches Forschungszentrum für Künstliche Intelligenz : D [ISSN 0946-0098] |
Band: | 95-04 |
Datum des Eintrags: | 28-Nov-2013 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
D_95_04.pdf | 22,38 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.