张木春报告:带有偏好的博弈逻辑(GLP)

发布时间:2007-06-04 来源:本站原创 作者:本站编辑   浏览次数:

带有偏好的博弈逻辑(GLP) 

 

报告人:张木春

时间:2007-6-7(周四)上午九点

地点:逻辑中心多媒体教室

报告简介:

    带有偏好的博弈逻辑(GLP)是研究主体为了实现他们自己的偏好,如何利用其他选手对于偏好的信息或假设进行推理的逻辑。该逻辑能被运用到社会协议(规则)的分析当中去,比如投票、公平决策问题等。Sieuwert van Otterloo,Wiebe van der Hoek , Michael Wooldridge三位作者试图通过GLP为社会中的一些相互影响的机制构建逻辑模型,他们在《Preferences in Game Logics》一文中首先定义了文中要用到的相关的博弈论概念,接着对GLP的语形和语义进行了分析,并举了一些事例来说明GLP的用处,最后给出了GLP的模型检验,证明了GLP的模型检验问题是容易处理的。

    在前文的基础上,他们还在《Axioms for Game Logic with Preferences》一文中介绍了GLP的一个公理系统,并证明了该系统的可靠性,但是该系统的完全性问题还没有解决。报告以这两篇论文为主线,探讨在博弈逻辑中如何处理偏好这一问题。

参考文献:

[1]  S. van Otterloo, W. van der Hoek, and M. Wooldridge. Preferences in game logics. In AAMAS 2004, New York, July 2004.

[2] S. van Otterloo, W. van der Hoek, and M. Wooldridge. Axioms for Game Logic with Preferences. In LOFT 2004, Leipzig.2004

[3] Sieuwert van Otterloo and Olivier Roy. Preference logic and applications. September 2005.

[4] Sieuwert van Otterloo .Reasoning about Extensive Games . Amsterdam,2005 .accepted for ESSLLI 2005 student session.

[5] VAN BENTHEM J., VAN OTTERLOO S., ROY O., “Preference Logic, Conditionals and Solution Concepts in Games”, LAGERLUND H., LINDSTR¨oM S., SLIWINSKI R., Eds., Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, p. 61-77, Uppsala Philosophical Studies 53, 2006.