Reprezentacja wiedzy

Reprezentacja wiedzy w logice.

Filozoficzne podstawy reprezentacji wiedzy: kategorie ontologiczne, obiekty konkretne i abstrakcyjne.

Pojęcia i ich własności (nieostrość, odniesienie przedmiotowe, znaczenie), sądy, wnioskowania.

Mereologia,

Reprezentacja czasu i przestrzeni, nazw, przedmiotów, akcji, ról i bytów mentalnych.

Zasady reprezentacji wiedzy i sposoby reprezentacji: układy (frames), reguły, pojęcia. Różnice między reprezentacją wiedzy opartą o pojęcia a opartą o logikę lub reguły.

Reprezentacja wiedzy a semantyka języka naturalnego

Grafy pojęć

Formalna analiza pojęć: konteksty formalne, kraty pojęć, systemy implikacji

Języki reprezentacji wiedzy,

Ontologie, Sieci semantyczne

Sposoby reprezentacji ontologii

Bazy wiedzy: CYC, DBpedia i inne

Integracja modeli danych

Wyszukiwanie semantyczne

Inżynieria wiedzy

Wnioskowanie o sytuacjach i przekonaniach,

Rewizja przekonań.

Wiedza:

1. ma pogłębioną wiedzę z działów matematyki niezbędnych do reprezentacji wiedzy (język logiki pierwszego rzędu, teoria krat) (K_W01).

2. dobrze rozumie rolę i znaczenie konstrukcji wnioskowań formalnych w inżynierii wiedzy (K_W02).

3. ma wiedzę na temat narzędzi i środowisk reprezentacji wiedzy (K_W10).

4. zna metody konstruowania ontologii (K_W02).

5. ma podstawową wiedzę w zakresie podstawowych niezależnych od dziedziny kategorii ontologicznych (K_W02).

Umiejętności:

1. posiada umiejętność konstruowania modelu dziedziny na podstawie nieformalnej specyfikacji (K_U01).

2. analizuje pojęcia sformalizowane w wybranych systemach logicznych o znaczeniu informatycznym, tworzy w nich formalizacje zadanych pojęć (K_U10).

3. posiada pogłębioną umiejętność komunikacji z ekspertami nie posiadającymi wiedzy informatycznej (K_U11).

4. potrafi opisywać wybrane problemy informatyczne i ich rozwiązania w sposób zrozumiały dla nieinformatyka (K_U12).

Kompetencje:

1. zna ograniczenia własnej wiedzy i rozumie potrzebę dalszego kształcenia, w tym zdobywania wiedzy pozadziedzinowej (K_K01).

2. potrafi precyzyjnie formułować pytania, służące pogłębieniu własnego zrozumienia danego tematu, w szczególności w kontaktach z nieinformatykiem (K_K02).

3. potrafi prezentować zagadnienia informatyczne w kontaktach z nieinformatykiem (K_K06).