LATPub103: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname= | |ErsterAutorVorname=Franz | ||
|ErsterAutorNachname=Baader | |ErsterAutorNachname=Baader | ||
|FurtherAuthors= | |FurtherAuthors= | ||
| Zeile 18: | Zeile 18: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=Nach einer kurzen Betrachtung der Anforderungen, die eine | |Abstract=Nach einer kurzen Betrachtung der Anforderungen, die eine Wissensrepr"asentationssprache erf"ullen sollte, werden wir auf Beschreibungslogiken, Modallogiken und nichtmonotone Logiken als Formalismen zur Repr"asentation terminologischen Wissens, zeitabh"angigen und subjektiven Wissens sowie unvollst"andigen Wissens eingehen. Am Ende jedes Abschnitts wird kurz auf die Verbindung zur Logischen Programmierung eingegangen. | ||
Wissensrepr"asentationssprache erf"ullen sollte, werden wir | |||
auf Beschreibungslogiken, Modallogiken und nichtmonotone Logiken | |||
als Formalismen zur Repr"asentation terminologischen Wissens, | |||
zeitabh"angigen und subjektiven Wissens sowie unvollst"andigen Wissens | |||
eingehen. Am Ende jedes Abschnitts wird kurz auf die Verbindung zur Logischen | |||
Programmierung eingegangen. | |||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 43: | Zeile 35: | ||
year = {1996}, | year = {1996}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:24 Uhr
Logik-basierte Wissensrepräsentation
Franz BaaderFranz Baader
Franz Baader
Logik-basierte Wissensrepräsentation
KI, {3/96}:8-16, 1996
Logik-basierte Wissensrepräsentation
KI, {3/96}:8-16, 1996
- KurzfassungAbstract
Nach einer kurzen Betrachtung der Anforderungen, die eine Wissensrepr"asentationssprache erf"ullen sollte, werden wir auf Beschreibungslogiken, Modallogiken und nichtmonotone Logiken als Formalismen zur Repr"asentation terminologischen Wissens, zeitabh"angigen und subjektiven Wissens sowie unvollst"andigen Wissens eingehen. Am Ende jedes Abschnitts wird kurz auf die Verbindung zur Logischen Programmierung eingegangen. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ Baader-KI-96,
author = {F. {Baader}},
journal = {{KI}},
pages = {8--16},
title = {{L}ogik-basierte {W}issensrepr{\"a}sentation},
volume = {{3/96}},
year = {1996},
}
