Defaults in deduktiven Datenbanken

Weitere Magazine

Empfehlungen

Info

194 INDEXDIS 79Disjunktions-Eigenschaftfür Defaults 87Umformulierung von DED 79EigenschaftCD 84CON 73CUM 76DDIS 87DED 78DIS 79EXP 81NCWA 87RCUT 75RMON 75SCD 86EinführungImplikation 78Ergebnisvariablen 39Erhaltung der Konsistenz 73EXP 81Expansions-Eigenschaft 81Expertensystem 3Extensionkonstruktive 116maximalebei partiell geordneten Defaults 106mit Prioritätsstufen 104ohne Prioritäten 102Faktum 129Folgerungsregeln 72Folgerungsrelationdurch Vervollständigung gegeben 37logische 19vervollständigte 36folgt logisch 19Formel 18atomare 18bereichsbeschränkt 13bereichsbeschränkte 21Funktionssymbol 12Gleichheit 12Herbrand-Interpretation 16Erweiterung 17Redukt 17Herbrandmodell 13Hyperresolution 132, 133einfache 129, 130ImplikationEinführung 78konstruktive 116Integritätsbedingung 13, 47, 48Interpretation 16Herbrand 16Klausel 25bereichsbeschränkte 26konsistent 19konsistenzerhaltend 73Konsistenzerhaltung 32Konstante 14Kopf-Literal 129kumulierend 76Lernen, maschinelles 33linksstabil 72Literal 24auswertbares 129Kopf- 129negatives 24positives 24Rumpf- 129Logik 11, 13allgemeine 12autoepistemische 28Default 74Default- 27deontische 11dynamische 11epistemische 11temporale 11logisch äquivalent 19
INDEX 195Modell 19Herbrand- 13intendiertes 30minimales 31, 89Modell-Beziehung 19, 25Monotonie 74beschränkte 75Nameneindeutige 16, 29NCWA-Eigenschaft 87Nullwerte 3, 16, 50, 58Objektekomplexe 11OL-Resolution 151ORACLE 135Ordnung, partielle 89Prädikat 14eingebautes 12Priorität 28, 29von Default-Ausprägungen 30Prolog 35, 40, 43Rahmenregel 64RCUT 75Regel 129RMON 75Rumpf-Literal 129SCD 86Schema 14Schlüssel 13Schnittregel 75beschränkte 75schwächer als 83Semantikvon Defaults 39Signatur 13, 14Semantik 15unabhängig von 42skeptisch 116Sorte 14SQL 136stärker als 83Standardprädikat 12stratifiziert 52String 14Substitution 20Symbol 14Teilsignatur 15Term 18TermeAuswertung 19Testdatengenerierung 33Typisierung 11Typprädikat 12Typprüfung 12, 14UNA 16, 29Unabhängigkeit von der Signatur 42Updates 64Variablenbelegung 18Variablendeklaration 17verträglichmit Defaults 84mit Prioritätsrelation 114Vervollständigung 30, 34modelltheoretische 12, 30schwächste 83stärkste 83syntaktische 35Wissenserwerb 33Zahl 14Zeichen 14logische 14Zeichenkette 14Zustand 15Zweierpotenzen 43
Seite 5:
iiiDanksagungIch möchte Herrn Prof
Seite 9 und 10:
Kapitel 1EinführungZiel dieser Arb
Seite 11 und 12:
3Beitrag dieser Arbeit eine Untersu
Seite 13 und 14:
5Prolog löst dieses Problem, indem
Seite 15 und 16:
7wären die Defaults ein bloßes Mi
Seite 17:
9ten dieser Semantiken untersucht u
Seite 20 und 21:
12 KAPITEL 2. DEDUKTIVE DATENBANKEN
Seite 22 und 23:
Seite 24 und 25:
Seite 26 und 27:
Seite 28 und 29:
Seite 30 und 31:
Seite 32 und 33:
Seite 34 und 35:
Seite 36 und 37:
Seite 38 und 39:
Seite 40 und 41:
Seite 42 und 43:
Seite 44 und 45:
Seite 46 und 47:
Seite 48 und 49:
Seite 50 und 51:
Seite 52 und 53:
Seite 54 und 55:
Seite 56 und 57:
Seite 58 und 59:
50 KAPITEL 3. ANWENDUNGSBEISPIELEIm
Seite 60 und 61:
52 KAPITEL 3. ANWENDUNGSBEISPIELEbe
Seite 62 und 63:
54 KAPITEL 3. ANWENDUNGSBEISPIELEDi
Seite 64 und 65:
56 KAPITEL 3. ANWENDUNGSBEISPIELEUn
Seite 66 und 67:
58 KAPITEL 3. ANWENDUNGSBEISPIELENu
Seite 68 und 69:
60 KAPITEL 3. ANWENDUNGSBEISPIELEEs
Seite 70 und 71:
62 KAPITEL 3. ANWENDUNGSBEISPIELEun
Seite 72 und 73:
64 KAPITEL 3. ANWENDUNGSBEISPIELEAn
Seite 74 und 75:
66 KAPITEL 3. ANWENDUNGSBEISPIELEso
Seite 76 und 77:
68 KAPITEL 3. ANWENDUNGSBEISPIELEde
Seite 79 und 80:
Kapitel 4Eigenschaften vonVervollst
Seite 81 und 82:
4.1. FOLGERUNGSREGELN 73Diese Tabel
Seite 83 und 84:
4.1. FOLGERUNGSREGELN 75Es ist dage
Seite 85 und 86:
4.1. FOLGERUNGSREGELN 77Die Folgeru
Seite 87 und 88:
4.1. FOLGERUNGSREGELN 79Hat man umg
Seite 89 und 90:
4.2. MODELLTHEORETISCHE EIGENSCHAFT
Seite 91 und 92:
4.3. VERVOLLSTÄNDIGUNGEN ALS SEMAN
Seite 93 und 94:
Seite 95 und 96:
Seite 97 und 98:
Kapitel 5Semantik von DefaultsIn di
Seite 99 und 100:
5.1. MINIMALE MODELLE 91• Da die
Seite 101 und 102:
5.1. MINIMALE MODELLE 93Satz 5.1.8:
Seite 103 und 104:
5.1. MINIMALE MODELLE 95Erweiterung
Seite 105 und 106:
5.1. MINIMALE MODELLE 97Beispiel 5.
Seite 107 und 108:
5.1. MINIMALE MODELLE 99Lemma 5.1.1
Seite 109 und 110:
5.2. DIE VORSICHTIGE CWA 101untersc
Seite 111 und 112:
5.2. DIE VORSICHTIGE CWA 103minimal
Seite 113 und 114:
5.2. DIE VORSICHTIGE CWA 105Φ [pq]
Seite 115 und 116:
5.2. DIE VORSICHTIGE CWA 107Lemma 5
Seite 117 und 118:
5.2. DIE VORSICHTIGE CWA 109I 0 ̸|
Seite 119 und 120:
5.3. WEITERE SEMANTIKEN 111Charakte
Seite 121 und 122:
5.3. WEITERE SEMANTIKEN 113Die modi
Seite 123 und 124:
5.3. WEITERE SEMANTIKEN 115Satz 5.3
Seite 125 und 126:
5.3. WEITERE SEMANTIKEN 117Angenomm
Seite 127 und 128:
5.3. WEITERE SEMANTIKEN 119nun zuer
Seite 129 und 130:
5.4. ZUSAMMENFASSUNG 121Dies ist so
Seite 131 und 132:
5.4. ZUSAMMENFASSUNG 123Die konstru
Seite 133 und 134:
Kapitel 6Berechnung von AntwortenIn
Seite 135 und 136:
6.1. BOTTOM-UP 127Die erweiterte Ax
Seite 137 und 138:
6.1. BOTTOM-UP 129Einfache Hyperres
Seite 139 und 140:
6.1. BOTTOM-UP 131Lemma 6.1.8: Sei
Seite 141 und 142:
6.1. BOTTOM-UP 133folgen ja wirklic
Seite 143 und 144:
6.1. BOTTOM-UP 135und default seien
Seite 145 und 146:
6.1. BOTTOM-UP 137tionsstufe nichts
Seite 147 und 148:
6.1. BOTTOM-UP 139Die Disjunktion a
Seite 149 und 150:
6.1. BOTTOM-UP 141Aus den in der er
Seite 151 und 152: 6.1. BOTTOM-UP 143Beispiel 6.1.26:
Seite 153 und 154: 6.1. BOTTOM-UP 145Beweis: Da {θ 1
Seite 155 und 156: 6.1. BOTTOM-UP 147die potentielle A
Seite 157 und 158: 6.1. BOTTOM-UP 149Die beiden Konfli
Seite 159 und 160: 6.2. TOP-DOWN 151Identifikatoren f
Seite 161 und 162: 6.2. TOP-DOWN 153werden, und sogar
Seite 163 und 164: 6.2. TOP-DOWN 155Man könnte die Te
Seite 165 und 166: 6.2. TOP-DOWN 157auch gleich hätte
Seite 167 und 168: 6.2. TOP-DOWN 159Die Grundidee ist
Seite 169 und 170: 6.2. TOP-DOWN 161Da beim vorsichtig
Seite 171 und 172: 6.2. TOP-DOWN 163refuteSkept(Φ, ψ
Seite 173 und 174: 6.2. TOP-DOWN 165inkonsistent ist.
Seite 175 und 176: Kapitel 7AusblickZiel dieser Arbeit
Seite 177 und 178: 169Entsprechend besteht bei einigen
Seite 179 und 180: SymbolverzeichnisGriechische Buchst
Seite 181 und 182: SYMBOLVERZEICHNIS 173scwa (∆,❁)
Seite 183 und 184: Literaturverzeichnis[ABW88] K. R. A
Seite 185 und 186: LITERATURVERZEICHNIS 177[BR86][Bra8
Seite 187 und 188: LITERATURVERZEICHNIS 179In diesem L
Seite 189 und 190: LITERATURVERZEICHNIS 181[Ern92][ESS
Seite 191 und 192: LITERATURVERZEICHNIS 183legung eine
Seite 193 und 194: LITERATURVERZEICHNIS 185[KNN90]W. K
Seite 195 und 196: LITERATURVERZEICHNIS 187[Mak89]hard
Seite 197 und 198: LITERATURVERZEICHNIS 189[Plü90]Die
Seite 199 und 200: LITERATURVERZEICHNIS 191[She88]Dies
Seite 201: IndexAbleitungsregeln 72Änderungso
Seite 205: LEBENSLAUF 197LebenslaufName:Stefan
Alle anzeigen

Defaults in deduktiven Datenbanken

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?