Umělá inteligence I. Roman Barták, KTIML.
|
|
- Miloslav Štěpánek
- před 9 lety
- Počet zobrazení:
Transkript
1 Umělá inteligence I Roman Barták, KTIML roman.bartak@mff.cuni.cz Inteligentní agenti Připomeňme, že z různých pohledů na UI bude tato přednáška pokrývat racionální jednání, tj. zajímá nás výsledek řešení (ne postup řešení), který by měl být co nejlepší (ne nutně lidský) Budeme konstruovat racionální agenty Co je to agent? A co je racionální agent? V jakém prostředí se agent pohybuje? Jaké vlastnosti prostředí nás zajímají? Jaké vnitřní struktury agentů máme?
2 Agent Agent je cokoliv, co vnímá okolní prostředí prostřednictvím senzorů a ovlivňuje ho prostřednictvím akčních členů. Příklady: člověk oči, uši, nos, ruce, nohy, ústa, robot kamera, IR detektor, paže, kola, software klávesnice, pakety ze sítě obrazovka, pakety do sítě, Agent přesnp esněji Agent přijímá vjemy a jeho chování je plně určeno posloupností všech vjemů, které kdy přijal. Formálně tedy můžeme každého agenta popsat agentovou funkcí (tabulkou): V* A, kde V: množina vjemů, A: množina akcí Na základě chování agenta, můžeme sestavit jeho agentovou funkci (vnější charakteristika). tedy pokud můžeme agenta restartovat a máme nekonečný prostor pro zápis tabulky a také hodně času Tabulka je abstraktní matematický popis agenta. Interně ale bude chování agenta popsáno spíše agentovým programem. Program je konkrétní implementace agentovy funkce.
3 Agentova funkce: seznam vjemů akce (A,čisto) doprava (A,špína) vysaj (B,čisto) doleva (B,špína) vysaj (A,čisto), (A,čisto) doprava Příklad agenta Vysavač vjemy: místo (A,B) obsah (čisto,špína) akce: vysaj, doleva, doprava, nic Agentův program: if obsah=špína then vysaj else if místo=a then doprava else if místo=b then doleva Míra výkonu Jak správně vyplnit agentovu tabulku? aneb Co odlišujete dobrého agenta od špatného? Potřebujeme měřit míru výkonu agenta, tj. jak úspěšné je jeho chování a to pokud možno objektivně. Kdo určuje míru výkonu? tvůrce agenta Jak určit míru výkonu? Podle toho, jak chceme aby vypadalo prostředí agenta, spíše než podle toho, jak si myslíme, že se má agent chovat. Příklad (vysavač) míra výkonu: sesbírej co nejvíce špíny možný výsledek: vysaj, vysyp, vysaj, vysyp, míra výkonu (lépe): co největší čistá plocha
4 Racionáln lní agent Racionální agent je takový agent, který pro každou možnou posloupnost vjemů zvolí akci maximalizující očekávanou míru výkonu a to na základě údajů daných tou posloupností vjemů a vnitřních znalostí agenta. Pozor, neplést se vševědoucností! agent maximalizuje očekávanou míru výstupu vševědoucí maximalizuje skutečnou míru výstupu Racionální agent by měl být autonomní nespoléhá jen na znalosti dané tvůrcem, ale měl by se učit, aby kompenzoval předchozí částečné nebo špatné znalosti. Prostřed edí agenta Kromě senzorů, akčních členů a míry výkonu potřebujeme ještě prostředí, ve kterém se agent pohybuje. Příklad: automatický řidič taxi Agent Výkon Prostředí Akční členy Senzory řidič taxi bezpečnost rychlost legálnost pohodlí zisk silnice doprava chodci zákazník brzda volant plyn směrovka houkačka kamera sonar rychloměr GPS
5 Vlastnosti prostřed edí Plná (částečná) pozorovatelnost senzory poskytují úplný obraz prostředí Deterministické (stochastické) další stav prostředí je plně určen současným stavem a akcí agenta strategické = stav prostředí mění pouze další agenti Episodické (sekvenční) chování agenta lze rozdělit do epizod obsahujících po jedné akci, které jsou na sobě ale nezávislé (akce závisí pouze na dané epizodě) Statické (dynamické) statické prostředí se nemění zatímco agent přemýšlí semi-dynamické = prostředí se s časem nemění, ale míra výkonu ano Diskrétní (spojité) rozlišení dle stavu prostředí, měření času, schopností snímačů a akčních prvků Jeden agent (multi-agentní) Kdo musí být agent? Objekt maximalizující míru kvality, které závisí na daném agentovi. kompetitivní vs. kooperativní multi-agentní prostředí Příklady prostřed edí Prostředí Pozorovatel nost Determinismus Epizodické Statické Diskrétní Agenti Křížovka úplná deterministické sekvenční statické diskrétní jeden Šachy s hodinami úplná strategické sekvenční semi diskrétní multi Taxi částečná stochastické sekvenční dynamické spojité multi Analýza obrazů úplná deterministické epizodické semi spojité jeden Nejjednodušší prostředí plně pozorovatelné, deterministické, episodické, statické, diskrétní a jeden agent Nejsložitější prostředí (běžné reálné) částečně pozorovatelné, stochastické, sekvenční, dynamické, spojité a multi-agentní
6 Struktura agenta agent = architektura + program architektura = výpočtové zařízení s fyzickými senzory a akčními členy program = implementace agentovy funkce mapuje vjemy na akce přesněji řečeno, vstupem je jeden vjem (jediné, co je přímo dostupné z prostředí prostřednictvím čidel) pokud akce záleží na posloupnosti vjemů, musí si ji agent sám pamatovat samozřejmě program musí být vhodný pro danou architekturu! Table-driven Tabulkový agent Triviální agent, který udržuje seznam vjemů a používá ho jako index do tabulky s akcemi. function TABLE-DRIVEN_AGENT(percept) returns an action static: percepts, a sequence initially empty table, a table of actions, indexed by percept sequence append percept to the end of percepts action LOOKUP(percepts, table) return action Problémy: tabulka neúměrně velká (i pro agenta fungujícího omezený čas) tvůrce agenta nemá čas ji vyplnit agent se nemůže sám naučit celou správnou tabulku tvůrce agenta také neví jak tabulku vyplnit Takto to asi nepůjde!
7 Simple reflex Agent s reflexy Akce vybrána pouze na základě současného vjemu. Implementováno formou pravidel podmínka-akce (if obsah=špína then vysaj) Velká redukce možných situací vjem-akce (max. na počet vjemů) function SIMPLE-REFLEX-AGENT(percept) returns an action static: rules, a set of condition-action rules state INTERPRET-INPUT(percept) rule RULE-MATCH(state, rule) action RULE-ACTION[rule] return action Plně funguje pouze pro plně pozorovatelné prostředí, jinak může cyklit. Řešením může být randomizace výběru akcí. Model-based reflex Agent s modelem Problémy s částečně pozorovatelným světem lze řešit udržováním vnitřního stavu agenta. Udržujeme dva typy informací jak se svět vyvíjí (nezávisle na agentovi) jak agentovy akce ovlivňují svět Model světa function REFLEX-AGENT-WITH-STATE(percept) returns an action static: rules, a set of condition-action rules state, a description of the current world state action, the most recent action. state UPDATE-STATE(state, action, percept) rule RULE-MATCH(state, rule) action RULE-ACTION[rule] return action
8 Goal-based Agent s cílemc Zatím jsme se starali pouze o výběr další akce, ale ten také záleží na tom, co chce agent dosáhnout. Agent potřebuje cíl říkající, jaké situace jsou žádoucí. Základní změna je zahrnutí uvažování o budoucnosti. Hledáním (delší) posloupnosti akcí pro dosažení cíle se zabývá plánování. Řízení cílem je (zpravidla) méně efektivní než řízení reflexem, je ale více flexibilní. Utility-based Agent se žádostmi Cíle sami o sobě nestačí pro kvalitní chování (cíl splněn/nesplněn). Často je potřeba vyjádřit míru splnění či dosažení cíle nebo vybrat mezi různými i konfliktními cíli. Je možné mapovat stavy (nebo jejich posloupnosti) na reálná čísla určující míru žádoucnosti dosažení daného stavu. Agent se potom při výběru akce řídí i tím, jak je případně dosažitelný stav žádoucí.
9 Agent učícíu se Zatím jsme se zabývali výběrem akcí, ale odkud se berou programy pro výběr akcí? Jedna z možností je vytvořit stroje schopné se učit a potom je učit místo podávání instrukcí. Agent potom může pracovat i v původně neznámém prostředí. Všechny dosud zmíněné struktury agentů lze rozšířit na učící se agenty přidáním komponent pro učení: výkonný prvek původní agent, který vybírá akce učící se prvek vylepšuje program původního agenta kritika dává zpětnou vazbu, jak dobře se agent chová (senzory na to nestačí) generátor problémů navrhuje akce, které by mohly vést k nové zkušenosti (trochu experimentování)
Umělá&inteligence! Co#o#nás#říká,#i#když#to#(někdy)#nechceme#slyšet?#
Umělá&inteligence! Co#o#nás#říká,#i#když#to#(někdy)#nechceme#slyšet?# Roman Barták Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Umělá& inteligence& je& věda& o& vytváření& strojů& nebo&systémů,&které&budou&při&řešení&určitého&
Inteligentní agenti. Agentem zde rozumíme cokoliv, co vnímá své prostředí pomocí sensorů a působí na to prostředí pomocí efektorů.
Inteligentní agenti Agentem zde rozumíme cokoliv, co vnímá své prostředí pomocí sensorů a působí na to prostředí pomocí efektorů. Člověk-agent z tohoto hlediska má oči, uši a další orgány jako sensory;
Rozhodovací procesy 2
Rozhodovací procesy 2 Základní pojmy a struktura rozhodování Příprava předmětu byla podpořena projektem OPPA č. CZ.2.17/3.1.00/33253 II rozhodování 1 Rozhodovací procesy Cíl přednášky 1-3: Význam rozhodování
UMĚLÁ INTELIGENCE 2. Umělá inteligence může být jako obor chápána různě, například:
UMĚLÁ INTELIGENCE 2 Umělá inteligence může být jako obor chápána různě, například: 1. Systém myslící jako člověk souvislost s psychologií a poznáváním 2. Systém chovající se jako člověk východisko je Turingův
Agent pracující v částečně pozorovatelném prostředí udržuje na základě senzorického modelu odhaduje, jak se svět může vyvíjet.
Umělá inteligence II Roman Barták, KTIML roman.bartak@mff.cuni.cz http://ktiml.mff.cuni.cz/~bartak Dnešní program Agent pracující v částečně pozorovatelném prostředí udržuje na základě senzorického modelu
Úvod do zpracování signálů
1 / 25 Úvod do zpracování signálů Karel Horák Rozvrh přednášky: 1. Spojitý a diskrétní signál. 2. Spektrum signálu. 3. Vzorkovací věta. 4. Konvoluce signálů. 5. Korelace signálů. 2 / 25 Úvod do zpracování
SIGNÁLY A LINEÁRNÍ SYSTÉMY
SIGNÁLY A LINEÁRNÍ SYSTÉMY prof. Ing. Jiří Holčík, CSc. INVESTICE Institut DO biostatistiky ROZVOJE VZDĚLÁVÁNÍ a analýz VII. SYSTÉMY ZÁKLADNÍ POJMY SYSTÉM - DEFINICE SYSTÉM (řec.) složené, seskupené (v
Teorie rozhodování (decision theory)
Umělá inteligence II Roman Barták, KTIML roman.bartak@mff.cuni.cz http://ktiml.mff.cuni.cz/~bartak Teorie pravděpodobnosti (probability theory) popisuje v co má agent věřit na základě pozorování. Teorie
Časová a prostorová složitost algoritmů
.. Časová a prostorová složitost algoritmů Programovací techniky doc. Ing. Jiří Rybička, Dr. ústav informatiky PEF MENDELU v Brně rybicka@mendelu.cz Hodnocení algoritmů Programovací techniky Časová a prostorová
RACIONÁLNÍ AGENTI. Racionální agenti a současné směřování umělé inteligence
Racionální agenti a současné směřování umělé inteligence Přednáška se zabývá pragmatickým zaměřením velké části současného výzkumu a aplikací umělé inteligentice na využití teoretických i empiricky získaných
Dynamicky vázané metody. Pozdní vazba, virtuální metody
Dynamicky vázané metody Pozdní vazba, virtuální metody Motivace... class TBod protected: float x,y; public: int vrat_pocet_bodu() return 1; ; od třídy TBod odvodíme: class TUsecka: public TBod protected:
"Agent Hledač" (3. přednáška)
"Agent Hledač" (3. přednáška) Přehled 3. přednášky v této přednášce se budeme zabývat "goal-based" agenty Přehled 3. přednášky v této přednášce se budeme zabývat "goal-based" agenty připomeňme, že "goal-based"
Emergence chování robotických agentů: neuroevoluce
Emergence chování robotických agentů: neuroevoluce Petra Vidnerová, Stanislav Slušný, Roman Neruda Ústav Informatiky, AV ČR Kognice a umělý život VIII Praha 28. 5. 2008 Evoluční robotika: EA & neuronové
Obecná informatika. Matematicko-fyzikální fakulta Univerzity Karlovy v Praze. Podzim 2012
Obecná informatika Přednášející Putovních přednášek Matematicko-fyzikální fakulta Univerzity Karlovy v Praze Podzim 2012 Přednášející Putovních přednášek (MFF UK) Obecná informatika Podzim 2012 1 / 18
Ústav automatizace a měřicí techniky.
www.feec.vutbr.cz Specializace studijního oboru Automatizační a Měřicí Technika: Řídicí technika Moderní algoritmy řízení, teorie řízení Modelování a identifikace parametrů řízených systémů Pokročilé metody
Příloha č.3 Otázka pro hodnocení manažera
Příloha č.3 Otázka pro hodnocení manažera 1. Sleduje profesní a technický vývoj? 2. Připravuje a dodržuje realistický rozpočet? 3. Zaměřuje se na podstatné informace a neztrácí se v nedůležitých detailech?
ZÁKLADY AUTOMATICKÉHO ŘÍZENÍ
VYSOKÁ ŠKOLA BÁŇSKÁ TECHNICKÁ UNIVERZITA OSTRAVA FAKULTA STROJNÍ ZÁKLADY AUTOMATICKÉHO ŘÍZENÍ 1. týden doc. Ing. Renata WAGNEROVÁ, Ph.D. Ostrava 2013 doc. Ing. Renata WAGNEROVÁ, Ph.D. Vysoká škola báňská
UITS / ISY. Ústav inteligentních systémů Fakulta informačních technologií VUT v Brně. ISY: Výzkumná skupina inteligentních systémů 1 / 14
UITS / ISY Výzkumná skupina inteligentních systémů Ústav inteligentních systémů Fakulta informačních technologií VUT v Brně ISY: Výzkumná skupina inteligentních systémů 1 / 14 Obsah Představení skupiny
Automatizační a měřicí technika (B-AMT)
Ústav automatizace a měřicí techniky Bakalářský studijní program Automatizační a měřicí technika () Specializace oboru Řídicí technika Měřicí technika Průmyslová automatizace Robotika a umělá inteligence
Simulace pohybu chodců pomocí celulárních modelů
Simulace pohybu chodců pomocí celulárních modelů Marek Bukáček výzkumná skupina GAMS při KM KIPL FJFI ČVUT v Praze 8. červen 2011 Obsah Úvod Celulární modely úprava Floor field modelu Proč modelovat Akademický
Návrh softwarových systémů - mobilita. Jiří Šebek (B6B36NSS)
Návrh softwarových systémů - mobilita Jiří Šebek Návrh softwarových systémů (B6B36NSS) Co to je mobilita a jak se projevuje v návrhu softwaru? 2 Mobilita Jedna z vlastností systému/ podsystému/ algoritmu
zdroj světla). Z metod transformace obrázku uvedeme warping a morfing, které se
Kapitola 3 Úpravy obrazu V následující kapitole se seznámíme se základními typy úpravy obrazu. První z nich je transformace barev pro výstupní zařízení, dále práce s barvami a expozicí pomocí histogramu
Číslicové filtry. Honza Černocký, ÚPGM
Číslicové filtry Honza Černocký, ÚPGM Aliasy Digitální filtry Diskrétní systémy Systémy s diskrétním časem atd. 2 Na co? Úprava signálů Zdůraznění Potlačení Detekce 3 Zdůraznění basy 4 Zdůraznění výšky
Aplikace. vliv na to, jakou mají strukturu i na to, jak pracné je je vyvinout. Bylo vypozorováno, že aplikace je možné rozdělit do skupin
Aplikace Aplikace se liší tím, k jakému účelu jsou tvořeny. To má vliv na to, jakou mají strukturu i na to, jak pracné je je vyvinout. Bylo vypozorováno, že aplikace je možné rozdělit do skupin s podobnou
Umělá inteligence I. Roman Barták, KTIML.
Umělá inteligence I Roman Barták, KTIML roman.bartak@mff.cuni.cz http://ktiml.mff.cuni.cz/~bartak Na úvod Minule jsme si řekli, jak využívat heuristiky v prohledávání a jak konstruovat heuristiky BFS,
Institut teoretické informatiky (ITI) na FI MU
Institut teoretické informatiky (ITI) na FI MU Antonín Kučera (vedoucí) Petr Hliněný, Jan Obdržálek, Vojtěch Řehák Fakulta informatiky, Masarykova Univerzita, Brno Brno, 28. dubna 2011 J. Obdržálek (FI
Zpětnovazební učení Michaela Walterová Jednoocí slepým,
Zpětnovazební učení Michaela Walterová Jednoocí slepým, 17. 4. 2019 V minulých dílech jste viděli Tři paradigmata strojového učení: 1) Učení s učitelem (supervised learning) Trénovací data: vstup a požadovaný
OSA. maximalizace minimalizace 1/22
OSA Systémová analýza metodika používaná k navrhování a racionalizaci systémů v podmínkách neurčitosti vyšší stupeň operační analýzy Operační analýza (výzkum) soubor metod umožňující řešit rozhodovací,
S T R A T E G I C K Ý M A N A G E M E N T
S T R A T E G I C K Ý M A N A G E M E N T 3 LS, akad.rok 2014/2015 Strategický management - VŽ 1 Proces strategického managementu LS, akad.rok 2014/2015 Strategický management - VŽ 2 Strategický management
Teorie systémů TES 3. Sběr dat, vzorkování
Evropský sociální fond. Praha & EU: Investujeme do vaší budoucnosti. Teorie systémů TES 3. Sběr dat, vzorkování ZS 2011/2012 prof. Ing. Petr Moos, CSc. Ústav informatiky a telekomunikací Fakulta dopravní
OUTSOURCING A JEHO SPECIFIKA V ŘÍZENÍ ORGANIZACÍ P A V E L B A R N E T
OUTSOURCING A JEHO SPECIFIKA V ŘÍZENÍ ORGANIZACÍ P A V E L B A R N E T ATENTO A JÁ Atento Mezinárodní společnost s více než 150 tisíci zaměstnanci Pobočky v 17 zemích světa, největší podíl v Jižní Americe
Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice
Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice Vektorové podprostory K množina reálných nebo komplexních čísel, U vektorový prostor nad K. Lineární kombinace vektorů u 1, u 2,...,u
Umělá inteligence I. Roman Barták, KTIML. roman.bartak@mff.cuni.cz http://ktiml.mff.cuni.cz/~bartak
Umělá inteligence I Roman Barták, KTIML roman.bartak@mff.cuni.cz http://ktiml.mff.cuni.cz/~bartak Na úvod Agent s reflexy pouze převádí současný vjem na jednu akci. Agent s cílem umí plánovat několik akcí
12. Globální metody MI-PAA
Jan Schmidt 2011 Katedra číslicového návrhu Fakulta informačních technologií České vysoké učení technické v Praze Zimní semestr 2011/12 MI-PAA EVROPSKÝ SOCIÁLNÍ FOND PRAHA & EU: INVESTUJENE DO VAŠÍ BUDOUCNOSTI
Algoritmizace Dynamické programování. Jiří Vyskočil, Marko Genyg-Berezovskyj 2010
Dynamické programování Jiří Vyskočil, Marko Genyg-Berezovskyj 2010 Rozděl a panuj (divide-and-conquer) Rozděl (Divide): Rozděl problém na několik podproblémů tak, aby tyto podproblémy odpovídaly původnímu
01 Teoretické disciplíny systémové vědy
01 Teoretické disciplíny systémové vědy (systémový přístup, obecná teorie systému, systémová statika a dynamika, úlohy na statických a dynamických systémech, kybernetika) Systémová věda je vědní disciplínou
Flow-X PRŮTOKOMĚR. On-line datový list
On-line datový list A B D E F H I J K L M N O P Q R S T Objednací informace Typ Výrobek č. Na vyžádání Přesné specifikace přístrojů a údaje o výkonu výrobku se mohou odlišovat a závisí na dané aplikaci
SIGNÁLY A LINEÁRNÍ SYSTÉMY
SIGNÁLY A LINEÁRNÍ SYSTÉMY prof. Ing. Jiří Holčík, CSc. holcik@iba.muni.cziba.muni.cz II. SIGNÁLY ZÁKLADNÍ POJMY SIGNÁL - DEFINICE SIGNÁL - DEFINICE Signál je jev fyzikální, chemické, biologické, ekonomické
Hranová konzistence. Arc consistency AC. Nejprve se zabýváme binárními CSP. podmínka odpovídá hraně v grafu podmínek
Hranová konzistence Arc consistency AC Nejprve se zabýváme binárními CSP podmínka odpovídá hraně v grafu podmínek Hrana (V i, V j ) je hranově konzistentní, právě když pro každou hodnotu x z aktuální domény
Návrh IS - UML. Jaroslav Žáček
Návrh IS - UML Jaroslav Žáček jaroslav.zacek@osu.cz http://www1.osu.cz/~zacek/ Trochu historie neuškodí Do roku 1994 chaos ve světě objektově orientovaných metod (několik jazyků pro vizuální modelování,
SIGNÁLY A LINEÁRNÍ SYSTÉMY
SIGNÁLY A LINEÁRNÍ SYSTÉMY prof. Ing. Jiří Holčík, CSc. holcik@iba.muni.cz II. SIGNÁLY ZÁKLADNÍ POJMY SIGNÁL - DEFINICE SIGNÁL - DEFINICE Signál je jev fyzikální, chemické, biologické, ekonomické či jiné
Testování prvočíselnosti
Dokumentace zápočtového programu z Programování II (NPRG031) Testování prvočíselnosti David Pěgřímek http://davpe.net Úvodem V různých oborech (například v kryptografii) je potřeba zjistit, zda je číslo
Algoritmy. Z. Sawa (VŠB-TUO) Úvod do teoretické informatiky 15. dubna / 39
Algoritmy Z. Sawa (VŠB-TUO) Úvod do teoretické informatiky 15. dubna 2018 1/ 39 Algoritmy Příklad: Popis algoritmu pomocí pseudokódu: Algoritmus 1: Algoritmus pro nalezení největšího prvku v poli 1 Find-Max(A,n):
Vývoj informačních systémů. Obecně o IS
Vývoj informačních systémů Obecně o IS Informační systém Informační systém je propojení informačních technologií a lidských aktivit směřující k zajištění podpory procesů v organizaci. V širším slova smyslu
Esej do 5. ročníku soutěže. V Olomouckém kraji jsem doma. A vždycky budu! na téma
Esej do 5. ročníku soutěže V Olomouckém kraji jsem doma. A vždycky budu! na téma Návrat do budoucnosti aneb Jak ICT změní svět za následujících 10 let? Autoři: Pavel Zukal (pavel.zukal@sps-prerov.cz) Pavel
Seminář z IVT Algoritmizace. Slovanské gymnázium Olomouc Tomáš Kühr
Seminář z IVT Algoritmizace Slovanské gymnázium Olomouc Tomáš Kühr Algoritmizace - o čem to je? Zatím jsme se zabývali především tím, jak určitý postup zapsat v konkrétním programovacím jazyce (např. C#)
Flow-X PRŮTOKOMĚR. On-line datový list
On-line datový list Objednací informace A PRO MĚŘENÍ PLYNU TRAZVUKOVÝCH PLYNOMĚRŮ OD SPOB SICK C D Popis produktu E F Typ Výrobek č. Na vyžádání Přesné specifikace přístrojů a údaje o výkonu výrobku se
Moderní systémy pro získávání znalostí z informací a dat
Moderní systémy pro získávání znalostí z informací a dat Jan Žižka IBA Institut biostatistiky a analýz PřF & LF, Masarykova universita Kamenice 126/3, 625 00 Brno Email: zizka@iba.muni.cz Bioinformatika:
Numerická stabilita algoritmů
Numerická stabilita algoritmů Petr Tichý 9. října 2013 1 Numerická stabilita algoritmů Pravidla v konečné aritmetice Pro počítání v konečné aritmetice počítače platí určitá pravidla, která jsou důležitá
Homer. prvky. délka. přední 0 zadní 4. Použití fronty BUS STOP. 3 Lisa. 2 Bart. 4 Maggie. 1 Marge. Grafické znázornění předchozí animace:
Fronta Fronta je sekvence first-in-first-out (první do fronty první z fronty) prvků. Prvky mohou být vkládány pouze nakonec (rear) fronty a odstraňovány pouze zpočátku (front) fronty Délka fronty je počet
Plánování: reprezentace problému
Plánování: reprezentace problému 15. března 2018 1 Úvod 2 Konceptuální model 3 Množinová reprezentace 4 Klasická reprezentace Zdroj: Roman Barták, přednáška Plánování a rozvrhování, Matematicko-fyzikální
Anotace. Dynamické programování, diskrétní simulace.
Anotace Dynamické programování, diskrétní simulace. Problémy, které byly Přednášející jde tentokrát do M1, počet platných uzávorkování pomocí n párů závorek, počet rozkladů přirozeného čísla na součet
VYUŽITÍ PRAVDĚPODOBNOSTNÍ METODY MONTE CARLO V SOUDNÍM INŽENÝRSTVÍ
VYUŽITÍ PRAVDĚPODOBNOSTNÍ METODY MONTE CARLO V SOUDNÍM INŽENÝRSTVÍ Michal Kořenář 1 Abstrakt Rozvoj výpočetní techniky v poslední době umožnil také rozvoj výpočetních metod, které nejsou založeny na bázi
Faculty of Nuclear Sciences and Physical Engineering Czech Technical University in Prague
1 / 40 regula Faculty of Nuclear Sciences and Physical Engineering Czech Technical University in Prague regula 1 2 3 4 5 regula 6 7 8 2 / 40 2 / 40 regula Iterační pro nelineární e Bud f reálná funkce
Vnitřní kontrolní systém a jeho audit
Vnitřní kontrolní systém a jeho audit 7. SETKÁNÍ AUDITORŮ PRŮMYSLU 11. 5. 2012 Vlastimil Červený, CIA, CISA Agenda Požadavky na VŘKS dle metodik a standardů Definice VŘKS dle rámce COSO Role interního
Výrobní pracoviště budoucnosti
Výrobní pracoviště budoucnosti Průmysl 4.0 Radomír Zbožínek \ 4. 11. 2016 Charakteristika konceptu Průmysl 4.0 Počítačové propojení výrobních strojů, produktů, osob a všech dalších systémů průmyslového
Databázové systémy II. KIV/DB2 LS 2007/2008. Zadání semestrální práce
Databázové systémy 2 Jméno a příjmení: Jan Tichava Osobní číslo: Studijní skupina: čtvrtek, 4 5 Obor: ININ SWIN E-mail: jtichava@students.zcu.cz Databázové systémy II. KIV/DB2 LS 2007/2008 Zadání semestrální
ZÁKLADY AUTOMATICKÉHO ŘÍZENÍ
VYSOKÁ ŠKOLA BÁŇSKÁ TECHNICKÁ UNIVERZITA OSTRAVA FAKULTA STROJNÍ ZÁKLADY AUTOMATICKÉHO ŘÍZENÍ 8. týden doc. Ing. Renata WAGNEROVÁ, Ph.D. Ostrava 2013 doc. Ing. Renata WAGNEROVÁ, Ph.D. Vysoká škola báňská
Tisková informace. Autopříslušenství Senzitivní vozidlo - Dokonalý rozhled se snímači Bosch. Duben 2001
Tisková informace Autopříslušenství Senzitivní vozidlo - Dokonalý rozhled se snímači Bosch Duben 2001 Martin Zechnall, mluvčí vedení úseku Polovodiče a řídící přístroje Robert Bosch GmbH.Přednáška na 55.
Struk ur přednášk. Vymezení pojmu management, Úkoly řízení podniku, Strategické řízení, Taktické řízení, Plánování.
Struk ur přednášk Vymezení pojmu management, Úkoly řízení podniku, Strategické řízení, Taktické řízení, Plánování. Vymezení pojmu management Management jako specifická aktivita (řízení) Management jako
Umělá inteligence II
Umělá inteligence II 11 http://ktiml.mff.cuni.cz/~bartak Roman Barták, KTIML roman.bartak@mff.cuni.cz Dnešní program! V reálném prostředí převládá neurčitost.! Neurčitost umíme zpracovávat pravděpodobnostními
U Úvod do modelování a simulace systémů
U Úvod do modelování a simulace systémů Vyšetřování rozsáhlých soustav mnohdy nelze provádět analytickým výpočtem.často je nutné zkoumat chování zařízení v mezních situacích, do kterých se skutečné zařízení
MATEMATICKÁ TEORIE ROZHODOVÁNÍ
MATEMATICKÁ metodický list č. 1 Řešení úloh Cílem tohoto tematického celku je vysvětlení vybraných pojmů z oblasti řešení úloh. Tématický celek je rozdělen do těchto dílčích témat: 1. Řešení úloh ve stavovém
Automatizace je proces při němž je řídicí funkce člověka nahrazována činností
Automatizace je proces při němž je řídicí funkce člověka nahrazována činností různých přístrojů a zařízení. (Mechanizace, Automatizace, Komplexní automatizace) Kybernetika je Věda, která zkoumá obecné
Návrh softwarových systémů - architektura softwarových systémů
Návrh softwarových systémů - architektura softwarových systémů Martin Tomášek, Jiří Šebek Návrh softwarových systémů (B6B36NSS) Převzato z přednášky X36AAS M. Molhanec Co je to architektura Využívá se
Operační systémy. Jednoduché stránkování. Virtuální paměť. Příklad: jednoduché stránkování. Virtuální paměť se stránkování. Memory Management Unit
Jednoduché stránkování Operační systémy Přednáška 8: Správa paměti II Hlavní paměť rozdělená na malé úseky stejné velikosti (např. 4kB) nazývané rámce (frames). Program rozdělen na malé úseky stejné velikosti
Objektově orientovaná implementace škálovatelných algoritmů pro řešení kontaktních úloh
Objektově orientovaná implementace škálovatelných algoritmů pro řešení kontaktních úloh Václav Hapla Katedra aplikované matematiky Fakulta elektrotechniky a informatiky VŠB-Technická univerzita Ostrava
DOTAZNÍK PRO URČENÍ UČEBNÍHO STYLU
DOTAZNÍK PRO URČENÍ UČEBNÍHO STYLU Projekt MOTIVALUE Jméno: Třida: Pokyny Prosím vyplňte vaše celé jméno. Vaše jméno bude vytištěno na informačním listu s výsledky. U každé ze 44 otázek vyberte a nebo
1 Linearní prostory nad komplexními čísly
1 Linearní prostory nad komplexními čísly V této přednášce budeme hledat kořeny polynomů, které se dále budou moci vyskytovat jako složky vektorů nebo matic Vzhledem k tomu, že kořeny polynomu (i reálného)
Diferenciální rovnice a jejich aplikace. (Brkos 2011) Diferenciální rovnice a jejich aplikace 1 / 36
Diferenciální rovnice a jejich aplikace Zdeněk Kadeřábek (Brkos 2011) Diferenciální rovnice a jejich aplikace 1 / 36 Obsah 1 Co to je derivace? 2 Diferenciální rovnice 3 Systémy diferenciálních rovnic
Jejich účelem je uvolnění potenciálu, který v sobě ukrývá spojení racionálního a emocionálního myšlení.
Lekce 1: Myšlení Teoretický úvod: Klíčovou a zároveň unikátní schopností lidského mozku, která nás odlišuje od ostatních živých tvorů, je myšlení. Myšlení bychom mohli definovat jako poznávací (kognitivní)
SENZORY PRO ROBOTIKU
1/13 SENZORY PRO ROBOTIKU Václav Hlaváč Fakulta elektrotechnická ČVUT v Praze katedra kybernetiky, Centrum strojového vnímání hlavac@fel.cvut.cz http://cmp.felk.cvut.cz/ hlavac ROBOTICKÉ SENZORY - PŘEHLED
Pokročilé neparametrické metody. Klára Kubošová
Pokročilé neparametrické metody Klára Kubošová Pokročilé neparametrické metody Výuka 13 přednášek doplněných o praktické cvičení v SW Úvod do neparametrických metod + princip rozhodovacích stromů Klasifikační
Základní datové struktury
Základní datové struktury Martin Trnečka Katedra informatiky, Přírodovědecká fakulta Univerzita Palackého v Olomouci 4. listopadu 2013 Martin Trnečka (UPOL) Algoritmická matematika 1 4. listopadu 2013
Stromy, haldy, prioritní fronty
Stromy, haldy, prioritní fronty prof. Ing. Pavel Tvrdík CSc. Katedra počítačů FEL České vysoké učení technické DSA, ZS 2008/9, Přednáška 6 http://service.felk.cvut.cz/courses/x36dsa/ prof. Pavel Tvrdík
Ing. Pavel Rosenlacher
Marketing v sociálních sítích Webová analytika Ing. Pavel Rosenlacher pavel.rosenlacher@vsfs.cz Krátké shrnutí SEO spočívá v lepším zobrazování stránek ve výsledcích vyhledávání na vyhledávačích Souhrnně
Úvod do mobilní robotiky AIL028
zbynek.winkler at mff.cuni.cz http://robotika.cz/guide/umor07/cs 4. října 2007 1 Co jsou to ti mobilní roboti? K čemu je to dobré? Jak bude vypadat přednáška? Jaké jsou další přednášky/semináře o robotech?
Náhodný vektor. Náhodný vektor. Hustota náhodného vektoru. Hustota náhodného vektoru. Náhodný vektor je dvojice náhodných veličin (X, Y ) T = ( X
Náhodný vektor Náhodný vektor zatím jsme sledovali jednu náhodnou veličinu, její rozdělení a charakteristiky často potřebujeme vyšetřovat vzájemný vztah několika náhodných veličin musíme sledovat jejich
1 Úvod 1.1 Vlastnosti programového vybavení (SW)
1 Úvod 1.1 Vlastnosti programového vybavení (SW) - dávkové zpracování - omezená distribuce - zakázkový SW - distribuované systémy - vestavěná inteligence - laciný HW - vliv zákazníka 1950 1960 1970 1980
SLAM. Simultaneous localization and mapping. Ing. Aleš Jelínek 2015
SLAM Simultaneous localization and mapping Ing. Aleš Jelínek 2015 Komplexní inovace studijních programů a zvyšování kvality výuky na FEKT VUT v Brně OP VK CZ.1.07/2.2.00/28.0193 Obsah Proč sebelokalizace,
CobiT. Control Objectives for Information and related Technology. Teplá u Mariánských Lázní, 6. října 2004
CobiT Control Objectives for Information and related Technology Teplá u Mariánských Lázní, 6. října 2004 Agenda Základy CobiT Pojem CobiT Domény CobiT Hodnocení a metriky dle CobiT IT Governance Řízení
Návrhové vzory. Jakub Klemsa, Jan Legerský. 30. října Objektově orientované programování.
Jakub Klemsa Jan Legerský Objektově orientované programování klemsjak@fjfi.cvut.cz jan.legersky@gmail.com 30. října 2012 návrhový vzor (design pattern) obecné řešení problému, které se využívá při návrhu
Rekurzivní sledování paprsku
Rekurzivní sledování paprsku 1996-2016 Josef Pelikán CGG MFF UK Praha pepca@cgg.mff.cuni.cz http://cgg.mff.cuni.cz/~pepca/ 1 / 21 Model dírkové kamery 2 / 21 Zpětné sledování paprsku L D A B C 3 / 21 Skládání
Implementace OVZ. v investiční oblasti. Výjezdní workshop KrÚ JMK 20/8/2019
Implementace OVZ v investiční oblasti Výjezdní workshop KrÚ JMK 20/8/2019 Motivace Externí: Interní: ISO 20400: Udržitelné nakupování semináře: Implementace odpovědného veřejného zadávání metodika: Implementace
shine. light of change.
shine. light of change. Jak rozpoznat, je-li člověk vhodný jako projektový manažer? Michael Motal Záměr Ukázat Iniciovat Jak podpořit rozhodování Jak zvážit smysluplnost investice do člověka Výměnu názorů
Úvod do modelování a simulace. Ing. Michal Dorda, Ph.D.
Úvod do modelování a simulace systémů Ing. Michal Dorda, Ph.D. 1 Základní pojmy Systém systémem rozumíme množinu prvků (příznaků) a vazeb (relací) mezi nimi, která jako celek má určité vlastnosti. Množinu
Automatické měření veličin
Měření veličin a řízení procesů Automatické měření veličin» Čidla» termočlánky, tlakové senzory, automatické váhy, konduktometry» mají určitou dynamickou charakteristiku» Analyzátory» periodický odběr
Tým pro podporu akademické komunikace. Eva Dibuszová
Tým pro podporu akademické komunikace Eva Dibuszová Národní technická knihovna, 20.11.2015 Co transformace přinesla NTK Posílení a upevnění hybridní formy řízení, které je typické pro akademické prostředí.
Automatizace v silniční dopravě
Automatizace v silniční dopravě Roman Srp, Sdružení pro dopravní telematiku r.srp@sdt.cz, www.sdt.cz Dopravní systém Dopravní systém je chápán jako sjednocení tří dílčích částí: - dopravních prostředků,
Funkce, podmíněný příkaz if-else, příkaz cyklu for
Funkce, podmíněný příkaz if-else, příkaz cyklu for Definice funkce Funkce je pojmenovaná část programu, kterou lze dále zavolat v jiné části programu. V Pythonu je definována klíčovým slovem def. Za tímto
Téma 2: Pravděpodobnostní vyjádření náhodných veličin
0.025 0.02 0.015 0.01 0.005 Nominální napětí v pásnici Std Mean 140 160 180 200 220 240 260 Std Téma 2: Pravděpodobnostní vyjádření náhodných veličin Přednáška z předmětu: Pravděpodobnostní posuzování
Dynamické programování
Dynamické programování prof. Ing. Pavel Tvrdík CSc. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010 Efektivní algoritmy (BI-EFA)
Užitek a rozhodování
Užitek a rozhodování 10. května 2018 1 Užitek 2 Rozhodovací sítě 3 Markovský rozhodovací proces Zdroje: Roman Barták, přednáška přednáška Umělá inteligence II, Matematicko-fyzikální fakulta, Karlova univerzita
Dopravní inženýrství
Dopravní inženýrství Přednáška 2 Charakteristiky dopravního proudu vozidel Doc. Ing. Miloslav Řezáč, Ph.D. Katedra dopravního stavitelství, Fakulta stavební, VŠB-TU Ostrava Dopravní proud Pohyb vozidel
Prolog PROgramming in LOGic část predikátové logiky prvního řádu rozvoj začíná po roce 1970 Robert Kowalski teoretické základy Alain Colmerauer, David
Úvod do Prologu Prolog PROgramming in LOGic část predikátové logiky prvního řádu rozvoj začíná po roce 1970 Robert Kowalski teoretické základy Alain Colmerauer, David Warren (Warren Abstract Machine) implementace
Zabýváme se konstrukcí racionálních agentů.
Umělá inteligence II Roman Barták, KTIML roman.bartak@mff.cuni.cz http://ktiml.mff.cuni.cz/~bartak Zabýváme se konstrukcí racionálních agentů. Agent je entita, co vnímá okolní prostředí prostřednictvím
Náhodný vektor. Náhodný vektor. Hustota náhodného vektoru. Hustota náhodného vektoru. Náhodný vektor je dvojice náhodných veličin (X, Y ) T = ( X
Náhodný vektor Náhodný vektor zatím jsme sledovali jednu náhodnou veličinu, její rozdělení a charakteristik často potřebujeme všetřovat vzájemný vztah několika náhodných veličin musíme sledovat jejich
Motivace. Vstup a výstup. Minimální komunikace. Motivace. ÚDPJ - Vstup a výstup. Ing. Lumír Návrat katedra informatiky, A
Motivace Vstup a výstup Ing. Lumír Návrat katedra informatiky, A-1018 59 732 3252 Načtení čísla val :: Int val = 42 function :: Int -> Int function = val + n inputint :: Int inputdiff = inputint - inputint
Neuronové časové řady (ANN-TS)
Neuronové časové řady (ANN-TS) Menu: QCExpert Prediktivní metody Neuronové časové řady Tento modul (Artificial Neural Network Time Series ANN-TS) využívá modelovacího potenciálu neuronové sítě k predikci
Optimalizace & soft omezení: algoritmy
Optimalizace & soft omezení: algoritmy Soft propagace Klasická propagace: eliminace nekonzistentních hodnot z domén proměnných Soft propagace: propagace preferencí (cen) nad k-ticemi hodnot proměnných