Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-24990
Titel: On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Verfasser: Baader, Franz
Bürckert, Hans-Jürgen
Nebel, Bernhard
Nutt, Werner
Smolka, Gert
Sprache: Englisch
Erscheinungsjahr: 1991
Quelle: Kaiserslautern ; Saarbrücken : DFKI, 1991
SWD-Schlagwörter: Künstliche Intelligenz
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: Feature logics are the logical basis for so-called unification grammars studied in computational linguistics. We investigate the expressivity of feature terms with complements and the functional uncertainty construct needed for the description of long-distance dependencies and obtain the following results: satisfiability of feature terms is undecidable, sort equations can be internalized, consistency of sort equations is decidable if there is at least one atom, and consistency of sort equations is undecidable if there is no atom.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-37959
hdl:20.500.11880/25046
http://dx.doi.org/10.22028/D291-24990
Schriftenreihe: Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Band: 91-01
SciDok-Publikation: 1-Jul-2011
Fakultät: Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Fakultät / Institution:SE - Sonstige Einrichtungen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
RR_91_01.pdf9,99 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.