| 协商推理机制中的需求序关系研究 |
| |
| 引用本文： | 陈,武.协商推理机制中的需求序关系研究[J].西南农业大学学报,2014,36(4):146-151. |
| |
| 作者姓名： | 陈 武 |
| |
| 作者单位： | 1. 西南大学计算机与信息科学学院,重庆400715;2. 西南大学逻辑与智能研究中心,重庆400715 |
| |
| 基金项目： | 国家自然科学基金资助项目(61003203);重庆市人文社会科学重点研究基地资助项目(09SKB35);中央高校基本科研业务费专项资金资助项目(XDJK2014C040);西南大学博士基金资助项目(SWU109003). |
| |
| 摘 要： | 在多AGENT系统的协商推理机制设计中,协商需求的序一直扮演着重要角色.为了设计合理的协商推理
机制,一些研究者基于经典命题逻辑提出协商需求的序需要满足逻辑限制,但是命题逻辑表达常识推理的能力有
限.近年来,越来越多的研究者选择表达常识推理更为有效的回答集程序作为协商背景知识表示的工具.为了设计
基于回答集程序的合理协商推理机制,首先将逻辑限制转换成命题逻辑的模型表示,形成等价的模型限制,然后将
模型限制的思想应用到回答集程序中形成回答集限制.同时,也证明了研究者们提出的基于需求出现次数的序满
足回答集限制.
|
| 关 键 词： | 回答集 协商 序 限制 |
|
| 点击此处可从《西南农业大学学报》浏览原始摘要信息 |
| 点击此处可从《西南农业大学学报》下载免费的PDF全文 |
|
