• Keine Ergebnisse gefunden

Kapitel 4 Tableau-Algorithmen

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Kapitel 4 Tableau-Algorithmen"

Copied!
46
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 46 Seite )

Volltext

(1)

1

Kapitel 4

Tableau-Algorithmen

(2)

Ziel des Kapitels

Ziel des Kapitels

(3)

3

Ziel des Kapitels

(4)

Kapitel 4

Entscheidbarkeit

Tableau-Algorithmen

(5)

5

Entscheidbarkeit 1

(6)

Entscheidbarkeit 2

(7)

7

Entscheidbarkeit 3

T4.0

(8)

Entscheidbarkeit 3

T4.1

(9)

9

Entscheidbarkeit 3

(10)

Algorithmen in der Praxis

(11)

11

Praktikable Algorithmen

(12)

Kapitel 4

ALC ohne TBoxen

Tableau-Algorithmen

(13)

13

Tableau Algorithmus

(14)

Negationsnormalform

T4.2

(15)

15

I-Baum

T4.3

(16)

I-Baum

T4.4

(17)

17

Tableau Algorithmus

(18)

Tableau Regeln

(19)

19

Tableau Regeln

(20)

Tableau Algorithmus

(21)

21

T4.5

Ergebnis

(22)

Lokale Korrektheit

T4.6

(23)

23

Terminierung

T4.7

(24)

Rollentiefe

(25)

25

Multimengen

(26)

Multimengen

(27)

27

Multimengen

(28)

Korrektheit und Vollständigkeit

T4.8

T4.9

(29)

29

Komplexitätsanalyse

T4.10

(30)

Praktikabilität

(31)

31

Optimierungen: Backjumping

T4.11

(32)

Optimierungen: Caching

(33)

33

Optimierungen

(34)

Kapitel 4

ALC mit generellen TBoxen

Tableau-Algorithmen

(35)

35

Tableau-Algorithmus

T!!

(36)

Tableau-Algorithmus

T4.12

(37)

37

Blockieren

(38)

Blockieren

(39)

39

Blockieren

(40)

Tableau-Algorithmus

(41)

41

Tableau-Algorithmus

T4.14

T4.15

(42)

Komplexitätsanalyse

T4.16

(43)

43

Bemerkung zur TBox-Regel

(44)

Kapitel 4

Erweiterungen von ALC

Tableau-Algorithmen

(45)

45

Erweiterungen

(46)

Erweiterungen

Referenzen

Jetzt herunterladen ( PDF - 46 Seite - 3.49 MB )

ÄHNLICHE DOKUMENTE

Grundlagen der Algorithmen und Datenstrukturen Kapitel 4

belle T der Größe m>2en mittels einer zufälligen Hashfunktion h gespeichert werden, dann ist für jedes T[i] die erwartete Länge eines Laufes in T, der T[i] enthält, O(1)..

Grundlagen der Programmierung!Kapitel 4: "Algorithmen und "Textersetzungssysteme!

–" Die zweite Definition (“Ein Algorithmus muss terminieren.”) bezieht sich auf die Berechnung einer einzelnen Funktion, und da ist es schon besser, wenn wir für eine

Kapitel 10 Parallele Algorithmen

indem die linke Hälfte aufsteigend, die rechte Hälfte absteigend sortiert wird... Leader election

Kapitel 4 - Algorithmen auf Zahlen

Der Algorithmus von Strassen benötigt zur Multiplikation zweier nxn-Matrizen 7n log 7 viele arithmetische Operationen. Nachrechnen ergibt: Strassen-Algorithmus schlägt Schulmethode

Kapitel V Algorithmen auf Graphen

Sollte (u, v) sp¨ ater noch einmal kritisch werden, so muss zun¨ achst zu einem Zeitpunkt die umgekehrte Kante (v, u ) wieder vorhanden sein und auf dem entsprechenden

Effiziente Algorithmen Kapitel 6 Online-Algorithmen Walter Unger

Für jedes Stück der Eingabe muss der Algorithmus sofort eine Entscheidung treffen.. Getroffene Entscheidungen können nicht

Effiziente Algorithmen Kapitel 6 Online-Algorithmen Walter Unger

Randomisierter Marking-Algorithmus (6:43) <> Walter Unger 8.6.2012 14:06 SS2012 Z s.

Effiziente Algorithmen Kapitel 9 Randomisierte Algorithmen Walter Unger

Kann bei schweren Problemen mit ausreichender Wahrscheinlichkeit ein gutes Ergebnis erreicht werden?.