Reprezentacja Wiedzy
Egzamin pisemny odbędzie się 27.01.2020 o godz. 12:00 w sali 2070.
Egzamin ustny odbędzie się 30.01.2020 o godz. 11:00 w pokoju 4220.
Na egzaminie pisemnym wolno korzystać z przyniesionych przez siebie notatek i slajdów.
Slajdy z wykładu
- Logika, Logic
- Peri physeos, Peri_physeos
- Grafy pojęć i byty mentalne, Conceptual Graphs and Mental Objects
- Reasoning about Actions and Causality
- Wnioskowanie o sytuacjach
- Ontologie w Semantic Web, Ontologies in the Semantic Web,
- SPARQL, DBpedia, inżynieria wiedzy i integracja modeli danych, SPARQL, DBpedia, knowledge engineering and data model integration
- Bazy Wiedzy, Knowledge Bases
Literatura
John F. Sowa, "Knowledge Representation: Logical, Philosophical, and Computational Foundations"
Inne materiały
Zadanie zaliczeniowe 1
Termin oddania 31.12.2019 godz. 23:59
Zapisz następujące zdania za pomocą grafów pojęć.
- Do szkół uczęszczał w Warszawie.
- Po uzyskaniu w 1951 świadectwa dojrzałości w Liceum Ogólnokształcącym Towarzystwa Przyjaciół Dzieci im. B. Limanowskiego studiował polonistykę na Uniwersytecie Warszawskim, uzyskując w 1955 magisterium.
- W 1950-51 pracował jako urzędnik w Koninie, ucząc się jednocześnie w wieczorowym liceum ogólnokształcącym.
- Następnie mieszkał w Warszawie, gdzie uzyskawszy stypendium Stowarzyszenia PAX uczęszczał do Liceum Ogólnokształcącego św. Augustyna.
- W 1911-14 studiował kolejno w Zurychu, Paryżu i Lwowie.
Dodaj do ontologii LKIF-Core pojęcia występujące w powyższych zdaniach.
Utwórz ich reprezentację powyższych zdań datalogu.
Dodaj aksjomaty umożliwiające wnioskowanie, tak by datalog udzielał poprawnych odpowiedzi na pytania:
- Jakie są narzędzia edukacji?
- W których organizacjach zdarzenia miały miejsce?
- Kiedy zostały uzyskane certyfikaty?
- Jakie zdarzenia następowały po sobie?
- Gdzie miały miejsce poszczególne zdarzenia? (podaj zarówno nazwę miejsca, jak i id zdarzenia)
- Jakie organizacje znajdują się w Warszawie?
Zapisz też powyższe pytania w datalogu.
Rozwiązania zadań należy wysłać mailem. Grafy pojęć można ewentualnie oddać na papierze.
Za zadanie można uzyskać maksymalnie 20 punktów. Za każdy dzień spóźnienia odejmowany jest 1 punkt.
Wyniki zadania należy przesłać na adres wjaworski@mimuw.edu.pl.
Uwagi:
- Zdania nie łączą się w ciągły tekst.
- Dodanie pojęć do ontologii wystarczy zilustrować za pomocą drzew, w których korzeniach są pojęcia z LKIF,
a w pozostałych węzłach dodawane pojęcia.
Zadanie zaliczeniowe 2
Termin oddania 27.01.2020 godz. 12:00
Zapisz treść restrykcji zawartych w załączonym pliku w języku logiki
(za pomocą notacji zdefiniowanej na slajdach z wykładu).
Na przykład dla pojęcia Organization opis powinien mieć postać
Rozwiązania zadań można wysłać mailem lub oddać na papierze.
Wojciech Jaworski
09.01.2020