排序方式: 共有74条查询结果,搜索用时 13 毫秒
31.
32.
33.
34.
35.
36.
陈武 《西南大学学报(自然科学版)》2014,36(4):146-151
在多AGENT系统的协商推理机制设计中,协商需求的序一直扮演着重要角色.为了设计合理的协商推理
机制,一些研究者基于经典命题逻辑提出协商需求的序需要满足逻辑限制,但是命题逻辑表达常识推理的能力有
限.近年来,越来越多的研究者选择表达常识推理更为有效的回答集程序作为协商背景知识表示的工具.为了设计
基于回答集程序的合理协商推理机制,首先将逻辑限制转换成命题逻辑的模型表示,形成等价的模型限制,然后将
模型限制的思想应用到回答集程序中形成回答集限制.同时,也证明了研究者们提出的基于需求出现次数的序满
足回答集限制. 相似文献
37.
2008年5月25日,温家宝总理签署国务院令公布了修订后的<生猪屠宰管理条例>(以下简称条例),条例将于2008年8月1日起施行.日前,国务院法制办负责人就条例的有关问题回答了记者提问. 相似文献
38.
39.
40.