DatZ5033 : Aprakstošās loģikas un secinātāji
(Description Logics and Reasoners)

 This work is licensed under a Creative Commons License and is copyrighted © 2006-2009 by  me, Karlis Podnieks.

Oficiālais kursa apraksts

Saturs

1. Ievads

• 1.1. Ko lasīt

• 1.2. Zināšanu formalizācija, izmantojot predikātu loģiku

• 1.3. Aprakstošā loģika ALC

• 1.4. Vienkāršākie ALC paplašinājumi

2. Aprakstošo loģiku teorija

• 2.1. T-Box, A-Box un R-Box

• 2.2. Tipiskie secināšanas uzdevumi

• 2.3. Uzdevumu (algoritmiskās) sarežģītības klases

• 2.4. Tālākie ALC paplašinājumi

• 2.5. Acikliskās terminoloģijas

• 2.6. Fiksētā punkta semantika

• 2.7. Slēgtās un atvērtās pasaules semantika

3. Tablo algoritms

• 3.1. Tablo algoritms izteikumu valodai

• 3.2. Tablo algoritms predikātu valodām

• 3.3. Tablo algoritms loģikai ALC at rukšu T-kasti

• 3.4. Tablo algoritms ALC paplašinājumiem

4. Aprakstošās loģikas un semantiskais tīmeklis

• 4.1. OWL DL ontoloģijas un datorlingvistika (3 MB, prof. Gunta Bārzdiņa lekcijas slaidi 29.03.2006)

5. Eksperimenti ar secinātājiem

6. Secināšana UML klašu diagrammās

• 6.1. Sarežģītības apakšējais novērtējums - EXPTIME

• 6.2. Sarežģītības augšejais novērtējums

Turpinājums sekos.