多Agent理论的对策论方法

人工智能研究的一个重要目标是设计出能代表其拥有者或用户的、有一定自主性的决策体Agent。为此通常是赋予每个Agent一种自身利益(偏好),Agent在行动中寻求自身的利益最大化。当考虑MAS时,Agent通常被赋予利益、理性决策能力及推断其它Agent的利益等的能力。

强弱例外下的交互时态逻辑

非单调推理是众多人工智能应用系统都可能面对的问题,多Agent系统也不例外。在前期关于AgentBD I逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上,借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术,利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑(ATL)进行拓展,建立非单调交互时态逻辑NATL,给出其语法和语义。是对ATL进行非单调拓展的首次有益尝试。可以考虑以之为理论工具对多Agent思维状态及其动态修正机制进行妥善刻画。

论双主体博弈逻辑

双主体博弈逻辑是目前国际上博弈逻辑研究的重心。结合动态逻辑研究双主体博弈逻辑已经成为国际上双主体博弈逻辑研究的主要趋势。目前,国际学界对双主体零和博弈逻辑的形式系统进行了初步建构,并对双主体零和博弈逻辑模型检测的复杂性进行了探索,而对双主体非零和博弈逻辑的研究才刚刚开始。

双主体零和博弈逻辑形式系统建构及模型检测研究

博弈逻辑是博弈论和逻辑学相交叉的一个崭新研究领域,属应用逻辑范畴。双主体零和博弈逻辑是目前国际上博弈逻辑研究的重心。在命题动态逻辑原有程序算子(;∪*)的基础上增加对偶(dual)算子d建构双主体零和博弈逻辑的形式系统;把双主体零和博弈逻辑嵌入μ-演算中,分析双主体零和博弈逻辑的语言表达力;并在对双主体零和博弈逻辑形式系统建构的基础上,研究其模型检测的复杂性,可以为双主体非零和博弈逻辑及多主体博弈逻辑的研究奠定基础。双主体零和博弈逻辑已成为拓展博弈逻辑研究的一个重要方向。