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ą