Defaults in deduktiven Datenbanken

SYMBOLVERZEICHNIS 173scwa (∆,❁) starke CWA (5.3.7, S. 114)sel modelltheoretische Vervollständigung (2.2.6, S. 30)Th(I) eine Formelmenge mit den Modellen I (2.1.15, S. 19)th(I) eine variablenfreie Formel mit den Modellen I (2.1.15, S. 19)Sonstige Zeichen∧ Junktor ”und“ in logischen Formeln, Element von A L∨ Junktor ”oder“ in logischen Formeln, Element von A L← Junktor ”wenn“ in logischen Formeln, Element von A L→ Junktor ”dann“ in logischen Formeln, Element von A L¬ Junktor ”nicht“ in logischen Formeln, Element von A L∼ Umwandlung zwischen positiven und negativen Literalen (2.1.24, S. 24)⇐= metasprachliches ”wenn“=⇒ metasprachliches ”dann“⇐⇒metasprachliches ”genau dann, wenn“:⇐⇒ gelte definitionsgemäß genau dann, wenn“”:= sei definiert als“”∼ = ist logisch äquivalent zu“ (2.1.15, S. 19)”∼ =∆ ∗ erfüllt dieselben Defaults (4.3.1, S. 84)|= ”ist Modell von“ (2.1.15, S. 19)⊢ die logische Folgerungsrelation (2.1.15, S. 19)⊢ c vervollständigte Folgerungsrelation (2.2.10, S. 36)⊢ sel durch sel gegebene vervollständigte Folgerungsrelation (2.2.11, S. 37)⊢ comp durch comp gegebene vervollständigte Folgerungsrelation (2.2.11, S. 37)⊢ cons(∆,❁)konstruktive Implikation (5.3.11, S. 116)⊆ ”ist Teilmenge von (oder gleich)“⊂ ”ist echte Teilmenge von“✷ die leere Klausel (2.1.25, S. 25)❁ Prioritätsrelation auf ∆ bzw. ∆ ∗ , kleiner: höhere Priorität (2.2.3, S. 29)≺ Präferenzrelation auf den Modellen (5.1.2, S. 90)≺ ∆ durch ∆ gegebene Präferenzrelation (5.1.1, S. 90)≺ (∆,l) durch (∆, l) gegebene Präferenzrelation (5.1.11, S. 95)≺ (∆,❁) durch (∆, ❁) gegebene Präferenzrelation (5.1.18, S. 98)|D| von D überdeckte maximalen Extensionen (6.1.19, S. 141)