中央高校基本科研业务费专项资金(XDJK2014C040)

作品数：3被引量：7H指数：2
导出分析报告
相关作者：陈武周敏更多>>
相关机构：西南大学遵义医学院更多>>
相关期刊：《西南大学学报（自然科学版）》更多>>
相关主题：范本纳什均衡协商机制定理三方协商更多>>
相关领域：自动化与计算机技术哲学宗教更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于回答集程序的三方协商新机制被引量：4
《西南大学学报（自然科学版）》2014年第5期209-213,共5页陈武 周敏 李虎阳 
国家自然科学基金资助项目(61003203;61262029);重庆市人文社会科学重点研究基地资助项目(09SKB35);中央高校基本科研业务费专项资金资助项目(XDJK2014C040)
提出了一种基于回答集程序的三方协商新机制,该机制采用回答集程序作为协商背景知识的表示工具.参与协商的两方在达成某些初步协议的基础上,通过从第三方获得利益补偿而选择放弃自己原先的一些需求,最终三方达成最优交易.证明了三方达...
关键词：协商机制 纳什均衡 回答集程序 
协商推理机制中的需求序关系研究被引量：1
《西南大学学报（自然科学版）》2014年第4期146-151,共6页陈武 
国家自然科学基金资助项目(61003203);重庆市人文社会科学重点研究基地资助项目(09SKB35);中央高校基本科研业务费专项资金资助项目(XDJK2014C040);西南大学博士基金资助项目(SWU109003)
在多AGENT系统的协商推理机制设计中,协商需求的序一直扮演着重要角色.为了设计合理的协商推理机制,一些研究者基于经典命题逻辑提出协商需求的序需要满足逻辑限制,但是命题逻辑表达常识推理的能力有限.近年来,越来越多的研究者选择表...
关键词：回答集 协商 序 限制 
多元模态逻辑中的范本特姆—罗森定理被引量：4
《西南大学学报（自然科学版）》2013年第12期159-164,共6页陈武 
国家自然科学基金资助项目(61003203);重庆市人文社会科学重点研究基地项目资助(09SKB35);中央高校基本科研业务费专项资金资助(XDJK2014C040)
证明了在多元模态逻辑中范本特姆—罗森定理仍然成立,即:无论在经典或有限模型论意义下,一个量词深度为n的一阶公式在多元互模拟关系下保持当且仅当它逻辑等价于一个模态词深度小于2n的多元模态公式.
关键词：范本特姆—罗森定理 多元模态逻辑 有限模型论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部