Defaults in deduktiven Datenbanken

9ten dieser Semantiken untersucht und ihre Beziehung zueinander geklärt. Zum Vergleichwerden schließlich auch noch weitere Semantiken definiert, unter anderem eine Verallgemeinerungder originalen CWA.Im Kapitel 6 werden zwei Antwort-Algorithmen vorgestellt, wobei einer ”top-down“arbeitet (entsprechend Prolog) und einer ”bottom-up“ (wie üblich bei deduktiven Datenbanken).Diese Algorithmen sind sowohl auf die ”minimale Modelle“-Semantik als auchdie ”vorsichtige CWA“ anwendbar.Schließlich werden in Kapitel 7 einige Perspektiven für die zukünftige Arbeit aufgezeigt.Allgemeine LiteraturhinweiseLehrbücher der mathematischen Logik sind etwa [BN77, EFT86, Sch87, BW91]. Grundkenntnisseim automatischen Beweisen werden in [CL73, Sch87, HK89] vermittelt.Übersichtsartikel und Lehrbücher zu deduktiven Datenbanken sind [GMN84, Rei84,Ull88, Ull89, HPRV89, NT89, CGT90, Gog90].Die Grundlagen des logischen Programmierens finden sich in [Llo87, She88], etwasknapper auch in manchen Prolog-Lehrbüchern, z.B. [NM90]. Die neueren Vorschläge zurSemantik der Negation sind etwa in [VGRS91, Prz91] beschrieben.Zu den verschiedenen Formalismen des nichtmonotonen Schließens gibt es inzwischeneine ganze Reihe von Monographien [Rei85, Bes88, Bra88, Eth88, ̷Luk90, Bre91]. Allediese Bücher basieren aber nicht auf einem solchen abstrakten Ansatz, wie er hier verfolgtwird. Die Zielsetzung ist auch eine andere: In der vorliegenden Arbeit wird kein Überblicküber die bekannten nichtmonotonen Logiken angestrebt, sondern es wird eine Semantikfür einfache Defaults gesucht.