Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-24854
Titel: | Extensions of concept languages for a mechanical engineering application |
VerfasserIn: | Baader, Franz Hanschke, Philipp |
Sprache: | Englisch |
Erscheinungsjahr: | 1992 |
Quelle: | Kaiserslautern ; Saarbrücken : DFKI, 1992 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz Terminologische Sprache Computerlinguistik |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | We shall consider an application in mechanical engineering, and shall show that the adequate modeling of the terminology of this problem domain in a conventional concept language poses two main representation problems. The first requires access to concrete domains, such as real numbers, while the second asks for a construct which can be used to represent sequences of varying length. As shown in recent papers by the authors there exist extended concept languages--equipped with sound and complete reasoning algorithms--that satisfy the respective representation demands separately. The main result presented in this paper is that the combination of both extensions leads to undecidable terminological inference problems. In particular, the important subsumption problem is undecidable. It should be noted that the need for these extensions is not particular to the considered problem domain; similar representation demands are likely to occur in other non-toy applications. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-36079 hdl:20.500.11880/24910 http://dx.doi.org/10.22028/D291-24854 |
Schriftenreihe: | Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x] |
Band: | 92-36 |
Datum des Eintrags: | 27-Mai-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 | |
---|---|---|---|---|
RR_92_36.pdf | 9,32 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.