Co to jest reprezentacja wiedzy? Reprezentacja wiedzy w logice Rachunek zdaĹ Logika pierwszego rzÄdu DobĂłr predykatĂłw Definicje Logika i ontologia JÄzyki specjalistyczne Logika egzystencjalno-koniunkcyjna Logika z typami Definiowanie funkcji i relacji anonimowych Grafy pojÄÄ Semantyka grafĂłw pojÄÄ NiejednoznacznoĹÄ semantyki grafĂłw pojÄÄ Koreferencja Knowledge Interchange Format (KIF) Logiki modalne Logiki wyĹźszego rzÄdu MetajÄzyk Nazwy wĹasne Konwencja unikalnych nazw Skolemizacja Rzeczowniki pospolite Typ ,,Typ'' Predykat ,,rodzaj'' Reprezentacja miar Przedmioty fizyczne i czasoprzestrzeĹ PoĹÄ czenia Typy strukturalne Rola Prehensja Test posiadania Reprezentacja rĂłl (prehensji) PrzykĹady prehensji Relacja bycia czÄĹciÄ Struktury Konteksty Struktura czasu Byty fizyczne zmienne w czasie Definicja przeszĹoĹci Rodzaje procesĂłw Umiejscowienie akcji w czasie Zdania prawdziwe tylko w przeszĹoĹci Zakres argumentĂłw czasownika Role tematyczne Akcje jako role SkĹadnia grafĂłw pojÄÄ: Zmienne, Negacja, Implikacja,Koreferencje, Alternatywa, Relacje wieloargumentowe SÄ dy Nastawienia sÄ dzeniowe Agent Role epistemiczne Generowanie modelu bazy danych na podstawie zbioru tekstĂłw Planowanie Przyczyna (Cause) i oczekiwania (Expectation) Fluenty (potoki) Fluenty a role Wnioskowanie o zmianie i jej efektach Zmiany zachodzÄ ce w czasie Komponenty rachunku sytuacji Sytuacje i fluenty ReguĹa zamkniÄtego Ĺwiata Aksjomaty nastÄpstwa akcji Aksjomaty tĹa UnikalnoĹÄ, problem rozgaĹÄzienia Zadania rachunku sytuacji Problem tĹa (Frame Problem) Aksjomaty nastÄpnego stanu STRIPS (Stanford Research Institute Problem Solver) Logika domniemaĹ Czas w bazach danych Inferencyjny problem tĹa (Inferential Frame Problem) Problem kwalifikacji (Qualification Problem) Rachunek fluentĂłw Rachunek zdarzeĹ (Event Calculus) Predykaty rachunku zdarzeĹ Semantic Web Resource Description Framework (RDF) SkĹadnia symboli w RDF Odniesienie przedmiotowe w RDF SkĹadnia RDF/XML Semantyka RDF/XML Ekstensja i intensja EkstensjonalnoĹÄ Nieekstensjonalna rĂłwnowaĹźnoĹÄ RĂłwnoĹÄ ekstensji Paradoks Statku Tezeusza IdentycznoĹÄ bytĂłw fizycznych KomplementarnoĹÄ MoĹźliwe Ĺwiaty Hierarchia pojÄÄ RĂłwnowaĹźnoĹÄ, rĂłwnoĹÄ i zawieranie w OWL SpĂłjniki definiujÄ ce typy RozĹÄ cznoĹÄ i definiowanie przez wyliczenie Relacje Znaczenie: przypisywanie bytom pojÄÄ Ĺwiat poza ontologiÄ Restrykcje w OWL Baza danych a baza wiedzy Systemy eksperckie (ekspertowe) Projekt CYC (enCYClopedia) Wiedza zawarta w CYC'u JÄzyk CycL Mikroteorie --- struktura bazy wiedzy DBpedia Wordnet ({\tt wordnet.princeton.edu)}) GeoNames InĹźynieria wiedzy Interpretacja specyfikacji Zasady reprezentacji wiedzy Implementacja proceduralna Implementacja deklaratywna Metapoziom Komunikacja z ekspertem Wyszukiwarki semantyczne Worki sĹĂłw CiÄ gi sĹĂłw Parsowanie powierzchniowe Parsowanie gĹÄbokie Informacja niesiona przez etykiety pĂłl Integracja modeli danych (podejĹcie tradycyjne) Integracja modeli danych (z uĹźyciem ontologii) Integracja modeli danych (z uĹźyciem bazy wiedzy) Jak odwzorowaÄ pojÄcia? PrzynaleĹźnoĹÄ obiektĂłw do pojÄÄ Modelowanie przekonaĹ MoĹźliwe Ĺwiaty Rewizja (korekta) przekonaĹ Postulaty rewizji przekonaĹ (Alchourron, Gardenfors, Makinson) Kontrakcja (porzucanie) przekonaĹ (Alchourron, Gardenfors, Makinson) Postulaty kontrakcji przekonaĹ ZwiÄ zek kontrakcji z rewizjÄ Wsparcie Epistemiczne (Epistemic Entrenchment) Aksjomaty wsparcia epistemicznego SubiektywnoĹÄ wsparcia epistemicznego ZwiÄ zek wsparcia epistemicznego z kontrakcjÄ