Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-25053
Titel: | PAntUDE - an anti-unification algorithm for expressing refined generalizations |
VerfasserIn: | Fischer, Cornelia |
Sprache: | Englisch |
Erscheinungsjahr: | 1994 |
Quelle: | Kaiserslautern ; Saarbrücken : DFKI, 1994 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | In this paper some improvements for the basic algorithm for anti-unification are presented. The standard (basic) algorithm for anti-unification still may give too general answers with respect to the intended use of the result. "Too general" means obtaining an unwanted answer when instantiating some variables of the anti-unification output term. To avoid this, a term sometimes should be generalized by regarding certain (semantic) restrictions. In PAntUDE (partial anti-unification with domains and exclusions) two principal improvements of the basic algorithm were implemented and tested: it can use masks for preventing anti-unification of certain arguments (partial anti-unification); it can also use finite domains for enumerating input-term constants instead of introducing a new (universally quantified) variable, and finite exclusions for specifying forbidden constants (anti-unification with domains and exclusions). |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-38948 hdl:20.500.11880/25109 http://dx.doi.org/10.22028/D291-25053 |
Schriftenreihe: | Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071] |
Band: | 94-04 |
Datum des Eintrags: | 8-Jul-2011 |
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 | |
---|---|---|---|---|
TM_94_04.pdf | 234,6 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.