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

Reprezentacja wiedzy i rozumowanie WM-I-S1-E6-RWR
Laboratorium (LAB) Semestr letni 2021/22

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

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

Tematy zajęć:

1. Reprezentacja stwierdzeń w języku naturalnym w logice pierwszego rzędu

2. Reprezentacja stwierdzeń w języku naturalnym w języku CLIPS

3. Instalowanie w laboratorium systemów Answer-Set Programming

4. Programowanie w SWI Prolog (1)

5. Programowanie w SWI Prolog (2)

6. Programowanie w lparse i smodels

7. Omówienie zadań z Prologu

8. Programowanie w logice PS+ (systemy psgrnd i aspps)

9. Programowanie w logice PS^pb

10. Instalacja clingo na komputerach, programowanie w clingo

11. Omówienie zadań z wcześniejszych laboratoriów (6,8,9)

12. Programowanie w clingo

13. Programowanie w clingo

14. System DeReS

15. Podsumowanie laboratoriów

Metody dydaktyczne:

metoda ćwiczebna

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, 11:30 - 13:00, 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)