Inteligentní systémy a logika

Informace pro studenty:

Základní informace o přednáškách:
Obsah Aktualizováno: 1.12. 2010
Manuskript knihy Aktualizováno: 12.4. 2012
Texty Duží Aktualizováno: 1.12. 2010
Text Pavel Materna Aktualizováno: 8.10. 2008

Příklady na cvičení v roce 2006:
Cvičení 18.10. 2006
Cvičení 1.11. 2006
Cvičení 15.11. 2006
Cvičení 6.12. 2006

Doplňkové informace, texty, články, shrnutí:

Propoziční a hyper-propoziční postoje: Shrnutí (6.12. 2006)
Věty přací : Přednáška 10.1. 2007

Presentace Analýza vět s anaforickým odkazem (Aktualizováno 15.11. 2006 )
Presentace TIL, kompozicionalita a bravidlo beta-redukce (Aktualizováno 15.11. 2006)
Presentace TIL a kompozicionalita (Aktualizováno 15.11. 2006
Presentace Užití a zmiňování entit (Aktualizováno 15.11. 2006)
Presentace Existence & God (Aktualizováno 13.12. 2007)
Presentace Synthetic Concepts a priori (Aktualizováno 29.12. 2005)

Presentace Jazyk a pojmy (aneb o čem a jak mluvíme?) Jednoduchý příklad
Presentace Concepts, Language and Ontologies
Příklady a definice konstrukcí Aktualizováno: 22.10. 2004

Články (ke dni 20.11.2007):
Properties on the Edge: Individual anti-essentialism, intensional essentialism, part-whole relation & mereological sums
Notional attitudes
Propositional attitudes
Analýza tázacích vět

Zápočtové písemky a semestrální zkouška: