{L}ogik-basierte {W}issensrepräsentation

F. BaaderF. Baader

F. Baader
{L}ogik-basierte {W}issensrepräsentation
{KI}, {3/96}:8--16, 1996

Details
Bibtex

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},
}