Knowledge in Multiagent Systems I - NAIL059

• Title: Znalosti v multiagentových systémech I
• Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2015 to 2015
• Semester: winter
• E-Credits: 3
• Hours per week, examination: winter s.:2/0, Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: not taught
• Language: Czech
• Teaching methods: full-time
• Guarantor: prof. RNDr. Petr Štěpánek, DrSc.
• Class: Informatika Mgr. - Teoretická informatika
• Classification: Informatics > Informatics, Software Applications, Computer Graphics and Geometry, Database Systems, Didactics of Informatics, Discrete Mathematics, External Subjects, General Subjects, Computer and Formal Linguistics, Optimalization, Programming, Software Engineering, Theoretical Computer Science, Programming, Theoretical Computer Science
• Is co-requisite for: NAIL081

Annotation

English

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.).

Last update: T_KTI (15.01.2003)

Czech

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.).

Last update: T_KTI (15.01.2003)

Literature

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

Last update: T_KTI (12.05.2004)

Syllabus

English

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.

6. Knowledge-Based Programming. Getting unique representation, Knowledge Bases revisited.

7. The problem of logical omniscience. Syntactic approach, semantic approach. Non-standard logic, impossible worlds.

Last update: T_KTI (12.05.2004)

Czech

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.

Last update: T_KTI (12.05.2004)