**Opis:**
Seminarium dotyczy formalnych sposobów reprezentacji wiedzy. W naszym przypadku baza wiedzy składać się będzie z bazy danych (czyli zbioru atomów) oraz pewnej teorii logicznej, zadanej najczęściej za pomocą reguł egzystencjalnych bądź
logik opisowych. Zajmować będziemy się klasycznymi problemami jak np. złożoność problemu odpowiadania na zapytania (koniunkcyjne, regularne), transfer danych czy spójności baz wiedzy.
**Plan seminarium**
Ramowy plan seminarium jest następujący. Podczas pierwszego spotkania prowadzący zaprezentują kilka problemów otwartych, luźno powiązanych z reprezentacją wiedzy, bazami danych i logiką. Następnie uczestnicy wybierają jeden z tematów, którego dotyczyć będzie dalsza część seminarium. Po wybraniu tematu seminarium, prowadzący przydzielają uczestnikom do przeczytania prace naukowe, które są następnie referowane. Po dogłębnym zrozumieniu tematu będziemy podejmować próby wspólnego rozwiązania problemu.
**Co daje udział w seminarium?**
Seminarium daje możliwość spojrzenia na to jak wygląda praca naukowca. W przypadku sukcesu i zaangażowania studentów, uczestnictwo w seminarium zakończyć może się wspólną publikacją. Prowadzący z chęcią nadzorować będą również prace licencjackie/inżynierskie/magisterskie odpowiadające tematyce seminarium.
**Wymagania:**
Od słuchaczy oczekuje się znajomości logiki pierwszego rzędu na poziomie
wykładu "logika dla informatyków" Materiał z przedmiotu "języki formalne i
złożoność obliczeniowa" (podstawy teorii automatów, dowody
nierozstrzygalności, redukcje wielomianowe, klasy złożoności obliczeniowej NP,
PSpace, ExpTime, NExpTime, itd.), ale da się go dość szybko nadrobić.
**Termin seminarium:**
Termin seminarium zostanie ustalony podczas pierwszego spotkania. Seminarium odbywać się będzie zarówno w semestrze zimowym jak i letnim.
