| |
|
Proč je hranice mezi virtuální bytostí a jejím světem neostrá
Brom, C. ; Lukavský, Jiří
V roce 2005 byl na MFF UK vyvinut softwarový projekt IVE – inteligentní virtuální prostředí. Jedná se o simulátor rozsáhlého virtuálního světa obydleného virtuálními bytostmi. Za účelem technického řešení problémů spojených s projektem jsme navrhli model ISMA („intention – suitability – materialisation – advice“), který je novou technikou pro representaci virtuálního světa. Model staví na Gibsonově teorii afordancí a Bratmanově teorii praktického rozhodování. Postupně se ukázalo, že některé výsledky projektu mají i psychologickou a filosofickou interpretaci. V článku nejprve představíme projekt IVE a model ISMA a poté se budeme zabývat tímto „netechnickým“ aspektem projektu.
|
| |
|
Kurt Godel: život, výsledky a jejich význam
Běhounek, Libor
Přehled nejdůležitějších výsledků a prací K. Gödela v oblasti metamatematiky, teorie množin, fyziky a filosofie. Zvláštní pozornost je věnována demytizaci Gödelových vět o neúplnosti a jejich důsledkům pro informatiku, umělou inteligenci, filosofii a další obory.
|
|
Matematické modelování generalizace
Kůrková, Věra
Učení se schopností generalizace lze modelovat pomocí regularizace, která byla vyvinuta k hledání stabiliních řešení fyzikálních úloh. V teorii učení lze chápat generalizaci jako určitý druh stability.
|