Tableau-Algorithmen - uni-bremen.de · Tableau Algorithmus berechnet Sequenz M MI, C(Vini) Mi 1 aus...
Transcript of Tableau-Algorithmen - uni-bremen.de · Tableau Algorithmus berechnet Sequenz M MI, C(Vini) Mi 1 aus...
1
Kapitel 4
Tableau-Algorithmen
2
Ziel des KapitelsZiel des Kapitels
3
Ziel des Kapitels
4
Kapitel 4
Entscheidbarkeit
Tableau-Algorithmen
5
Entscheidbarkeit 1
6
Entscheidbarkeit 2
7
Entscheidbarkeit 3
T4.0
8
Entscheidbarkeit 3
T4.1
9
Entscheidbarkeit 3
10
Algorithmen in der Praxis
11
Praktikable Algorithmen
12
Kapitel 4
ALC ohne TBoxen
Tableau-Algorithmen
13
Tableau Algorithmus
14
Negationsnormalform
T4.2
15
I-Baum
T4.3
16
I-Baum
T4.4
17
Tableau Algorithmus
18
Tableau Regeln
19
Tableau Regeln
20
Tableau Algorithmus
21
T4.5
Ergebnis
22
Lokale Korrektheit
T4.6
23
Terminierung
T4.7
24
Rollentiefe
25
Multimengen
26
Multimengen
27
Multimengen
28
Korrektheit und Vollständigkeit
T4.8
T4.9
29
Komplexitätsanalyse
T4.10
30
Praktikabilität
31
Optimierungen: Backjumping
T4.11
32
Optimierungen: Caching
33
Optimierungen
34
Kapitel 4
ALC mit generellen TBoxen
Tableau-Algorithmen
35
Tableau-Algorithmus
T!!
36
Tableau-Algorithmus
T4.12
37
Blockieren
38
Blockieren
T4.13
39
Blockieren
40
Tableau-Algorithmus
41
Tableau-Algorithmus
T4.14
T4.15
42
Komplexitätsanalyse
T4.16
43
Bemerkung zur TBox-Regel
44
Kapitel 4
Erweiterungen von ALC
Tableau-Algorithmen
45
Erweiterungen
46
Erweiterungen