中央高校基本科研业务费专项资金(XDJK2014C040)
- 作品数：3 被引量：7H指数：2
- 相关作者：陈武周敏更多>>
- 相关机构：西南大学遵义医学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金重庆市教育委员会人文社会科学研究项目更多>>
- 相关领域：自动化与计算机技术哲学宗教更多>>
- 一种基于回答集程序的三方协商新机制被引量：4
- 2014年
- 提出了一种基于回答集程序的三方协商新机制,该机制采用回答集程序作为协商背景知识的表示工具.参与协商的两方在达成某些初步协议的基础上,通过从第三方获得利益补偿而选择放弃自己原先的一些需求,最终三方达成最优交易.证明了三方达成最优交易所采取的策略组合是纳什均衡的.
- 陈武周敏李虎阳
- 关键词：协商机制纳什均衡
- 协商推理机制中的需求序关系研究被引量：1
- 2014年
- 在多AGENT系统的协商推理机制设计中,协商需求的序一直扮演着重要角色.为了设计合理的协商推理机制,一些研究者基于经典命题逻辑提出协商需求的序需要满足逻辑限制,但是命题逻辑表达常识推理的能力有限.近年来,越来越多的研究者选择表达常识推理更为有效的回答集程序作为协商背景知识表示的工具.为了设计基于回答集程序的合理协商推理机制,首先将逻辑限制转换成命题逻辑的模型表示,形成等价的模型限制,然后将模型限制的思想应用到回答集程序中形成回答集限制.同时,也证明了研究者们提出的基于需求出现次数的序满足回答集限制.
- 陈武
- 关键词：协商
- 多元模态逻辑中的范本特姆—罗森定理被引量：4
- 2013年
- 证明了在多元模态逻辑中范本特姆—罗森定理仍然成立,即:无论在经典或有限模型论意义下,一个量词深度为n的一阶公式在多元互模拟关系下保持当且仅当它逻辑等价于一个模态词深度小于2n的多元模态公式.
- 陈武
