Wnioskowanie w serwisach i systemach informatycznych

1. Wprowadzenie do modelowania i praktycznego wnioskowania w logikach.

2. Zagadnienia planowania w systemach inteligentnych.

3. Dedukcyjne bazy danych i metody reprezentacji wiedzy.

4. Wnioskowanie w sztucznej inteligencji.

5. Podstawy semantycznego Internetu.

6. Modelowanie niewiedzy i sprzeczności.

7. Modelowanie i sterowanie rozmyte.

8. Wnioskowanie modalne i temporalne.

Wiedza

1. Ma uporządkowaną, podbudowaną teoretycznie wiedzę ogólną w zakresie złożoności, dedukcyjnych baz danych, inżynierii oprogramowania w zakresie systemów inteligentnych (K_W02).

2. Ma wiedzę na temat zarządzania informacją, w tym dotyczącą dedukcyjnych baz danych, logicznego modelowania danych, wyszukiwania informacji (K_W08).

3. Zna logiczne metody definiowania semantyki programów, z ich matematycznymi podstawami i praktycznymi technikami, a także pojęcia poprawności programów oraz techniki i formalizmy dla ich dowodzenia (K_W13).

Umiejętności

1. Potrafi zastosować wiedzę matematyczną do formułowania, analizowania i rozwiązywania związanych z informatyką zadań o średnim poziomie złożoności (K_U01).

2. Potrafi pozyskiwać informacje z literatury, baz wiedzy, Internetu oraz innych wiarygodnych źródeł, integrować je, dokonywać ich interpretacji oraz wyciągać wnioski i formułować opinie (K_U02).

3. Potrafi zrozumieć opis semantyki języka; posługuje się semantyką formalną przy wnioskowaniu o poprawności programów (K_U03).

4. Potrafi formułować zapytania do bazy danych w wybranym języku zapytań (K_U19).

Kompetencje

1. Zna ograniczenia własnej wiedzy i rozumie potrzebę dalszego kształcenia (K_K01)

2. Potrafi samodzielnie wyszukiwać informacje w literaturze, także w językach obcych (K_K04).