Reprezentacja wiedzy i rozumowanie - zajęcia fakultatywne WM-I-S1-RWiR

Przegląd aktualnych technik i narzędzi do reprezentacji wiedzy i rozumowania: logika klasyczna, logiki niemonotoniczne, CLIPS, programowanie logiczne, answer-set programming.

Dyscyplina naukowa, do której odnoszą się efekty uczenia się

informatyka techniczna i telekomunikacja

Grupa przedmiotów ogólnouczenianych

nie dotyczy

Koordynatorzy przedmiotu

Dorota Dąbrowska
Artur Mikitiuk

Opis nakładu pracy studenta w ECTS

WYKŁAD uczestnictwo w zajęciach: 30 godz. udział w konsultacjach: 4 godz. przygotowanie do zajęć: 6 godz. przygotowanie do zaliczenia: 35 godz. Łącznie 75 godz. 1,4 ECTS - kontakt bezpośredni z prowadzącym 1,6 ECTS - praca własna LABORATORIUM uczestnictwo w zajęciach: 30 godz. udział w konsultacjach: 4 godz. przygotowanie do zajęć: 11 godz. przygotowanie do zaliczenia: 30 godz. Łącznie 75 godz. 1,4 ECTS - kontakt bezpośredni z prowadzącym 1,6 ECTS - praca własna

Poziom przedmiotu

zaawansowany

Symbol/Symbole kierunkowe efektów uczenia się

wykład lub konwersatorium: I1_W14 laboratoria: I1_U18 OPIS SYMBOLI - Absolwent: wykład lub konwersatorium I1_W14 - zna i rozumie teoretyczne i techniczne podstawy wybranej dziedziny informatycznej. laboratoria I1_U18 - potrafi stosować w wybranej dziedzinie narzędzia i metody informatyczne.

Typ przedmiotu

fakultatywny dowolnego wyboru

Wymagania wstępne

Podstawowy kurs sztucznej inteligencji

Efekty uczenia się

WYKŁAD

Student:
W1 - charakteryzuje wybrane formalizmy stosowane do reprezentacji wiedzy i modelowania ludzkiego rozumowania (I1_W14),
W2 - opisuje narzędzia stosowane w reprezentacji wiedzy oraz automatycznym rozumowaniu (I1_W14).

LABORATORIUM

Student:
U1 - przekształca stwierdzenia wyrażone w języku naturalnym do postaci odpowiedniej dla wybranych formalizmów reprezentacji wiedzy (I1_U18),
U2 - koduje problemy z zakresu reprezentacji wiedzy i rozumowania z wykorzystaniem odpowiednich formalizmów oraz narzędzi informatycznych (I1_U18),
U3 - wykorzystuje systemy answer-set programming)do modelowania i rozwiązywania wybranych problemów z zakresu reprezentacji wiedzy i rozumowania (I1_U18).

Kryteria oceniania

Dla wszystkich efektów przyjmuje się następujące kryteria oceny we wszystkich formach weryfikacji:
ocena 5: osiągnięty w pełni (bez uchwytnych niedociągnięć)
ocena 4,5: osiągnięty niemal w pełni i nie są spełnione kryteria przyznania wyższej oceny
ocena 4: osiągnięty w znacznym stopniu i nie są spełnione kryteria przyznania wyższej oceny
ocena 3,5: osiągnięty w znacznym stopniu – z wyraźną przewagą pozytywów – i nie są spełnione kryteria przyznania wyższej oceny
ocena 3: osiągnięty dla większości przypadków objętych weryfikacją i nie są spełnione kryteria przyznania wyższej oceny
ocena 2: nie został osiągnięty dla większości przypadków objętych weryfikacją

Więcej informacji

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

Strona przedmiotu WM-I-S1-RWiR w USOSweb