Logiki deskryptywne (ang. description logics) to dziedzina informatyki znajdująca zastosowanie w sztucznej inteligencji, w zagadnieniach związanych z reprezentacją wiedzy. Na wykładzie interesować nas będą teoretyczne podstawy logik deskryptywnych. W szczególności, badać będziemy rozstrzygalność i złożoność obliczeniową pewnych problemów decyzyjnych (takich jak spełnialność).
Na liście wymaganych przedmiotów umieściłem jedynie Logikę dla informatyków,
ale łatwiej będzie osobom, które mają przynajmniej podstawową wiedzę z Języków formalnych i złożoności obliczeniowej, Matematyki dyskretnej oraz Algorytmów i struktur danych. .
Literatura:
# F. Baader, D. Calvanese, D.L. McGuiness, D. Nardi, P. F. Patel-Schnider, The
Descrption Logic Handbook (część I: Theory), Cambride University Press,
2003-2010.
# F. Baader, C. Lutz, Description Logics rozdział z The Handbook of Modal
Logic, Elsevier, 2006
# F. Baader, Description Logics rozdział w Reasoning Web: Semantic
Technologies for Information Systems, Springer, LNCS 5689, 2009
# pewne artykuły, których tytuły podamy później.