Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie - Centralny System Uwierzytelniania
Strona główna

Reprezentacja wiedzy i rozumowanie WM-I-S1-E6-RWR
Wykład (WYK) Semestr letni 2021/22

Informacje o zajęciach (wspólne dla wszystkich grup)

Strona zajęć: https://e.uksw.edu.pl/course/view.php?id=28063
Liczba godzin: 30
Limit miejsc: (brak limitu)
Zakres tematów:

Tematy zajęć:

1. Logika zdaniowa i logika pierwszego rzędu

2. Język CLIPS

3. Benchmarki do eksperymentów - TheoryBase, Stanford GraphBase

4. Programowanie logiczne. Język Prolog

5. Język Prolog (c.d.)

6. Wprowadzenie do Answer Set Programming

7. Answer Set Programming - systemy lparse i smodels

8. Answer Set Programming - logika PS+, systemy psgrnd i aspps

9. Answer Set Programming - logika PS^pb

10. Implementacja nieformalnej semantyki formalizmów logicznych - program pspbdb

11. Answer Set Programming - system clingo (1)

12. Answer Set Programming - system clingo (2)

13. Answer Set Programming - system dlv

14. Formalizmy niemonotoniczne - logika domniemań

15. Podsumowanie kursu

Metody dydaktyczne:

wykład informacyjny (konwencjonalny)

Grupy zajęciowe

zobacz na planie zajęć

Grupa Termin(y) Prowadzący Miejsca Liczba osób w grupie / limit miejsc Akcje
1 każda środa, 9:45 - 11:15, sala 1221
Artur Mikitiuk 15/17 szczegóły
Wszystkie zajęcia odbywają się w budynku:
Kampus Wóycickiego Bud. 12
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.
ul. Dewajtis 5,
01-815 Warszawa
tel: +48 22 561 88 00 https://uksw.edu.pl
kontakt deklaracja dostępności USOSweb 6.8.0.0-5 (2022-09-30)