5673056533

Spis treści

Oznaczenia i skróty stosowane w pracy.........................................................................4

Rozdział 1. Wprowadzenie.............................................................................................5

1.1    Zarządzanie a wiedza............................................................................................5

1.2    Wiedza a zarządzanie...........................................................................................6

1.3    Informatyczny system zarządzania wiedzą..........................................................7

1.4    Ontologie oparte na logice opisowej....................................................................8

1.5    Semantyczny Internet...........................................................................................8

1.6    Zakres, motywacje i cele pracy..........................................................................11

1.7    Struktura dalszej części pracy.............................................................................13

Rozdział 2. Podstawy teoretyczne wybranych metod reprezentacji wiedzy................14

2.1    Wprowadzenie....................................................................................................14

2.2    Interpretacja w logice formalnej.........................................................................14

2.3    Logika opisowa...................................................................................................17

2.3.1    Wprowadzenie................................................................................................17

2.3.2    Model świata i baza wiedzy w logice opisowej..................................................18

2.3.3    Problemy wnioskowania w logice opisowej......................................................22

2.3.4    Założenie świata otwartego..............................................................................26

2.3.5    Dialekty i rozszerzenia logiki opisowej.............................................................29

2.3.6    Zaawansowane problemy wnioskowania w logice opisowej...............................35

2.4    RDF i OWL, czyli grafy w Semantycznym Internecie.......................................37

Rozdział 3 Algorytmy wnioskowania z ontologii opartych na logice opisowej..........43

3.1    Wprowadzenie....................................................................................................43

3.2    Metoda wnioskowania strukturalnego................................................................43

3.3    Algorytmy tableau..............................................................................................47

Rozdział 4 Metoda kartograficzna................................................................................55

4.1    Wprowadzenie....................................................................................................55

4.2    Podstawy metody kartograficznej.......................................................................56

4.3    Formalizm kartografii wiedzy............................................................................62

4.4    Algorytmy tworzenia mapy konceptów..............................................................75

4.4.1    Algorytm ATMK............................................................................................77

4.4.2    Algorytm ATMK-OBDD.................................................................................86

4.4.3    Algorytm TreeFusion......................................................................................95