Prednáška se zabývá formalizací a užitím znalostí v multiagentových systémech. Pojednává o Kripkeho sémantice možných svetu, diskutuje problém adekvátnosti "vševedoucnosti" agentů vzhledem k jejich omezeným zdrojům a nabízí několik rešení tohoto problému. Zabývá se programy pro komunikaci znalostí mezi agenty, v různých variantách (programy řízené událostmi, programy odkazující se na báze znalostí atd.).
Poslední úprava: T_KTI (15.01.2003)
Lecture presents formalization and applications of knowledge in Multi-Agent Systems. Kripke's semantics of possible world is developed and the related problem of "omniscience" of agents is discussed with respect to bounded resources of agents. Several solutions of the problem are discussed. Knowledge-based programs for communications between agents are discussed in several settings (event-based approach, knowledge-based approach etc.).
Literatura
Poslední úprava: T_KTI (12.05.2004)
R. Fagin, J. Y. Halpern, Y. Moses, M, Y. Vardi, Reasoning about Knowledge , The MIT Press, Cambridge, Massachusetts 1995 2. M. Wooldridge, Reasoning about Rational Agents, The MIT Press, Cambridge, Massachusetts 2000
Sylabus -
Poslední úprava: T_KTI (12.05.2004)
1. Úvod. Problém znalostí a komunikace, hádanka o zablácených dětech. Předpoklady řešení a komunikace.
2. Sémantika, Kripkeho model možných světů a výroková modální logika. Všeobecná a distribuovaná znalost. Vlastnosti znalostí, přístup řízený událostmi.
3. Výsledky o úplnosti a složitosti některých modálních logik (jen přehled bez důkazů)
4. Znalosti v multiagentových systémech. Běh výpočtu a systém, zavedení znalostí, zavedení času. Příklady systémů: Znalostní báze, stromy her, synchronní systémy, dokonalé vybavení z paměti, systémy předávající zprávy. Asynchronní systémy předávající zprávy.
5. Protokoly a programy. Akce, protokoly a kontext, programy a specifikace.
6. Programování založené na znalostech. Jak získat jednoznačnou reprezentaci, znalostní báze ještě jednou.
7. Problém logické vševědoucnosti, syntaktický přístup a sémantický přístup. Nestandardní logika, neskutečné světy.
Poslední úprava: T_KTI (12.05.2004)
1. Introduction. Problem of knowledge and communication. The Muddy Children Puzzle. Necessary conditions for its solution and communication.
2. Semantics. Kripke?s Possible-Worlds Model and propositional modal logic. Common knowledge and Distributed knowledge. Properties of knowledge, event-based approach.
3. Review of Completness and Complexity results for some modal logics.
4. Knowledge in Multi-Agent Systems. Runs and Systems, incorporating knowledge and time. Examples of systems: Knowledge Bases, Game Trees, Synchronous Systems, Perfect Recall,Message-passing systems, Asynchronous Message-passing Systems.
5. Protocols and Programs. Actions, protocols and context, programs and specifications.