SciDok

Eingang zum Volltext in SciDok

Lizenz

Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-50135
URL: http://scidok.sulb.uni-saarland.de/volltexte/2012/5013/


Attributive description formalisms and the rest of the world

Nebel, Bernhard ; Smolka, Gert

pdf-Format:
Dokument 1.pdf (1.187 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
SWD-Schlagwörter: Künstliche Intelligenz
Institut: DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
DDC-Sachgruppe: Informatik
Dokumentart: Report (Bericht)
Schriftenreihe: Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Bandnummer: 91-15
Sprache: Englisch
Erstellungsjahr: 1991
Publikationsdatum: 05.12.2012
Kurzfassung auf Englisch: Research in knowledge representation has led to the development of so-called terminological logics, which have the purpose to support the representation of the conceptual and terminological part of Artificial Intelligence applications. Independently, in Computational Linguistics so-called feature logics have been developed, which are aimed at representing the semantic and syntactic information natural language sentences convey. Since both of these logics rely mainly on attributes as the primary notational primitives for representing knowledge, they can be jointly characterized as attributive description formalisms.
Although the intended applications for terminological logics and feature are not identical, and the computational services of systems based on the respective formalisms are quite different for this reason, the logical foundations turn out to be very similar - as we pointed out elsewhere. In this paper, we will show how attributive description formalisms relate to "the rest of the world." Recently, a number of formal results in the area of attributive description formalisms have been obtained by exploiting other research fields, such as formal language theory, automata theory, and modal logics. This connection between different fields of formal research will be highlighted in the sequel.
Lizenz: Standard-Veröffentlichungsvertrag

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English