# You can also click the upper-left icon to select videos from the playlist.
source: matsciencechannel 2015年2月1日
Epistemic logics for multi-agent systems by Hans van Ditmarsch 1:31:39
Epistemic logic models knowledge and belief in multi-agent systems. How to model change of knowledge has been investigated since the 1980s. Following the influential Interpreted Systems approach as presented in the textbook 'Reasoning about Knowledge' by Fagin et al. (1995), a strand of modal logic with epistemic modal operators for knowledge and dynamic modal operators for knowledge change has developed during the 1990s, based on initial contributions by Plaza (1989) and van Benthem (1987/1989). The action model approach proposed by Baltag, Moss, Solecki (1998) has been the most influential. The textbook 'Dynamic Epistemic Logic' (van Ditmarsch et al, 2007) gives an overview of these developments. The area has continued to develop strongly, for example also incorporating factual change, belief revision, and propositional quantification. In these two tutorial sessions I will give the basics of Dynamic Epistemic Logic, focussing on the semantics and on applications. The topics treated are: logic of knowledge, public announcements, action models, belief revision, factual change, the relation to temporal modal logic (paving the way for the next lecturer), and quantifying over information change.
Deontic logics for multi-agent systems by Olivier Roy 1:34:19
Approximate reasoning in multi-agent systems by Aquil Khan 55:56
Game theory and dynamics of networks by Sunil Simon 1:34:50
Epistemic logics for multi-agent systems by Hans van Ditmarsch (Part 02) 1:18:25
Deontic logics for multi-agent systems by Olivier Roy (Part 02) 1:33:28
Game logics by Sujata Gosh 1:03:18
Game theory and dynamics of networks by Sunil Simon (Part 2) 1:05:17
Planning in multi-agent systems by Rajdeep Niyogi 1:26:31
Planning with epistemic goals by Yanjing Wang 1:33:26
Questions for multi-agent logics by Ramanujam 1:02:32
No comments:
Post a Comment