Emergentismus filosofie emergentismu v počítačových vědách

Slides:



Advertisements
Podobné prezentace
Úvod do Teorie her. Vztah mezi reálným světem a teorií her není úplně ideální. Není úplně jasné, jak přesně postavit herněteoretický model a jak potom.
Advertisements

Co je to logika? KFI/FIL1 Lukáš Košík Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ ,
Základy ekonomie
Matematická logika Použití Výrok Pravda a nepravda Logické funkce
SEMANTICKÝ WEB. Semantický Web WWW – Tim Berners-Lee, CERN, univerzum propojených HTML stránek, prostor hyperlinkovaných dokumentů – Informace jsou zobrazeny.
ENVIRONMENTÁLNÍ INFORMATIKA A REPORTING
Úvod do Teorie množin.
Informatika pro ekonomy II přednáška 1
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ , OPVK)
 Matematická logika je myšlení, uvažování třeba poskládání správných číslic v matematické řadě. Nebo různé myšlení to je logika.!  Uvažování správného.
ÚČEL AUTOMATIZACE (c) Tralvex Yeap. All Rights Reserved.
Název školyIntegrovaná střední škola technická, Vysoké Mýto, Mládežnická 380 Číslo a název projektuCZ.1.07/1.5.00/ Inovace vzdělávacích metod EU.
Mikroekonomie I Cvičení 1 – Úvod do studia ekonomické teorie
Vymezení, funkce, zdroje
unified modelling language sjednocený modelovací jazyk
T1 Východiska. Řízení širší pojem než management chápeme jako vztah mezi prvkem, který řídí (řídící subjekt) a prvkem, který je řízen (řízený objekt)
Co je to ARGUMENT? Irena Schönweitzová FI - ŠF
Cvičení - Úvod do studia ekonomické teorie
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ , OPVK) Logická analýza.
Fuzzy logika.
Matěj Klíma Filosofie, Česká filologie UPOL
Monika Pokorná FF UPOL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ ,
Predikátová logika.
V matematice existují i seskupení objektů, které nejsou množinami.
INDIVIDUA KFI/ FIL1 Petr Hýža FI - FV Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ ,
Emergentismus filosofie emergentismu v počítačových vědách Jakub JURA a Jiří BÍLA Nové metody a postupy v oblasti.
Výroková logika.
Fuzzy logika, fuzzy množiny
Kombinační logické funkce
Umělá inteligence Minského definice: UI je věda o vytváření strojů nebo systémů, které budou při řešení určitého úkolu užívat takového postupu, který –
Dominik Šutera ME4B. NOR NAND je způsob grafického vyjádření příslušnosti prvků do množiny a vztahů mezi množinami.
Predikátová logika, sylogismy
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ , OPVK)
Zpracování neurčitosti Fuzzy přístupy RNDr. Jiří Dvořák, CSc.
Dostupné z Metodického portálu ISSN: , financovaného z ESF a státního rozpočtu ČR. Provozováno Výzkumným ústavem pedagogickým v Praze.
Kombinační logické funkce
Filosofie úvod do problému....
Ekonomie 1 Bakaláři Devátá přednáška Trh statků a jeho fungování.
Filosofie Filosofie nehledá pravdu ani o světě samém, ani o člověku;
Marie Duží vyučující: Marek Menšík Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia.
Rezoluční metoda 3. přednáška
Husserlova teorie přirozeného světa Maryna Zheleznyak.
Výroková logika.
Predikátová logika1 Predikátová logika 1. řádu Teď „logika naostro“ !
Vědecký jazyk  Volba univerza (soubor předmětů)  Intencionální báze (volba vlastností z předmětného univerza)  Syntaktická báze (volba jazykových prostředků.
Aristotelés – náplň dvou kurzů I.Život, dílo, vývoj myšlení (Aristotelovy životní a filosofické osudy, přehled děl, problém vztahu k Platónovi – „genetický.
Kombinační logické funkce
Didaktický proces Androdidaktika.
Číslo projektu CZ.1.07/1.5.00/ Číslo materiálu
P114_41 P114 Logické základy TIL 4. P114_42 Témata parciální funkce, báze a typy objekty typu T TIL, Frege-Churchův trojúhelník označení epistémická báze.
Využití Hilbertovy báze k ověření shodnosti strukturálních a kombinatorických imsetů Petr Šimeček(MFF UK) Milan Studený(ÚTIA AV ČR)
Teorie systémů z ptačí perspektivy. Praktická cvičení z teorie systémů, Fruta Mochov 1977.
Sociologie ?.
Množiny Matematika Autor: Mgr. Karla Bumbálková
1 Autorem materiálu a všech jeho částí, není-li uvedeno jinak, je Mgr. Vladimír Mikulík. Slezské gymnázium, Opava, příspěvková organizace. Vzdělávací materiál.
TEST DOBRÉ SHODY A TEST NEZÁVISLOSTI Vysoká škola technická a ekonomická v Českých Budějovicích Institute of Technology And Business In České Budějovice.
Vymezení demografie, její vnitřní diferenciace a vnější návaznosti.
FILOsOFIE A VĚDA.
Logické principy QCA Karel Kouba.
Induktivní statistika - úvod
Obsah a rozsah pojmu Pojem lze vymezit buď definicí, jež určí nutné specifické vlastnosti, anebo výčtem všech předmětů, které pod tento pojem spadají.
Fuzzy-množinová QCA Karel Kouba.
Ideologie v digitálních hrách
Financováno z ESF a státního rozpočtu ČR.
Informatika pro ekonomy přednáška 3
Informatika pro ekonomy přednáška 3
Logický výraz VY_32_INOVACE_08_153
TIL: pojmové postoje, věty přací
Vědecký jazyk Volba univerza (soubor předmětů)
Predikátová logika.
Transkript prezentace:

Emergentismus filosofie emergentismu v počítačových vědách Department of Instrumentation and Control Engineering, Faculty of Mechanical Engineering, CTU in Prague, Technická 4, 166 07 Prague 6 Emergentismus filosofie emergentismu v počítačových vědách Projektování informačních systémů Jakub JURA Jakub.Jura@fs.cvut.cz

Emergence Náhlost Neočekávanost Nepředpověditelnost Emergence je „jev, který se na určité úrovni popisu skutečnosti zcela přirozeně vyskytuje, něco však stojí v cestě redukci tohoto jevu na jevy nižších úrovní“. Kelemen J.: Strojovia a agenty. Archa, Bratislava, 1994.

Etymologie emergence (lat.) emergere = vynořit se, vymanit se Inf. mergo = ponořit, potopit, spustit, zakopat Předp. e = z Dohromady … vystoupit, vytáhnout, vyzdvihnout, přinést na světlo, ale také postavit se na nohy

Historie emergentismu

Emergence Za emergentní jev můžeme obecně pokládat cokoliv, co je na určité „vyšší" úrovni zřetelné a svébytné (symetrický tvar sněhové vločky), kauzálně působivé (úder pěsti), či jakkoliv jinak pozoruhodné (lavina, inflace), a na co lze hledět jako na důsledek vlastností a chování prvků nějaké „nižší" úrovně (molekul H2O, svalových buněk, sněhových vloček, ekonomických subjektů), přičemž to není snadné nebo dokonce možné prostředky této nižší úrovně popsat, vymezit či předpovědět (Hillis 1989).

Emergence Negativní emergentní jevy mají nejčastěji podobu neočekávaných situací, které se snažíme předvídat, či detekovat Pozitivních emergentní jevy, tedy ty, které považujeme za žádoucí. Jejich příkladem je emergence nového řešení v kreativním konceptuálním navrhování.

Intenze a emergentní kalkul Intenze jsou ve Fregeovském smyslu definovaná jako zobrazení z množiny všech možných světů (PSW) do příslušné množiny (extenze) hodnot. ψ: PSW  extenze Možný svět: (Materna 1995) jako maximální množinu všech faktů o světě, které neobsahují logický spor. Ψ propozice: PSW  {pravda, nepravda} Ψ veličina: PSW  {R} Ψ vlastnosti: PSW  {{M1}, {M2}, … {Mi}} Ψ role: PSW  {individua} Ψ emergentní jev: PSW  {emergentní řešení}

Intenze a emergentní kalkul Extenze Intenze Kalkul logiky pravdivostní hodnoty např.: pravda / nepravda PSW množina všech možných světů (maximální souhrn faktů, které mohou platit) výrok (propozice) Matematika čísla např.: R+ veličina vlastnost, predikát Teorie množin množiny, třídy např.: {jeleni, srnci, extroverti, introverti …} individuální úřad, role Teorie rolí individua např.: Peirce, Frege, Church emergentní jevy Emergentní syntéza emergentní řešení (Bíla, Tlapák 2004)