zpravodaj ČSKI
aktuální číslo
přednáška
archiv
  - 2019
  - 2018
  - 2017
  - 2016
  - 2015
  - 2014
  - 2013
  - 2012
  - 2011
  - 2010
  - 2009
  - 2008
  - 2007
  - 2006
  - 2005
  - 2004
  - 2003
  - 2002
  - 2001
  - 2000
  - 1999
  - 1998
  - 1997
  - 1996
  - 1995
  - 1994
 
 
zpravodaj ČSKI - leden 1999 [ pdf ]
[ zaslat oznámení o přednášce ]
leden|únor|březen|duben|květen|červen|říjen|listopad|prosinec


datum: 21.1.1999 v 9:00
název: Teorie (theories) racionálního usuzování (Logické metody a algoritmy usuzování v umělé inteligenci a reprezentaci znalostí)
přednášející: Petr Jirků (Filozofická fakulta UK Praha)
místo konání: UI, 2.patro, místnost č.318

souhrn: Problematika reprezentace znalostí v logice patří k centrálním tématům studia dynamiky znalostí (neboli epistemických stavů). Logika za poslední dvě tisíciletí pochopila a úspěšně popsala dedukci. Budeme mluvit o metodách, které rámec dedukce v jistém smyslu přesahují a umožňují vyrovnat se se znalostmi neúplnými, popř. vágními a neurčitými a budeme se snažit odhadnout cenu, kterou za tento přesah platíme.