高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
基于回答集程序的冲突问题研究
作者：
收录：
摘要：
SmartM3是一个实现智能空间的交互平台,它允许软件实体和设备共享语义信息.在SmartM3中使用ASP可以处理固定偏好关系下的资源分配和冲突问题.然而在现实生活中,信息更新却会改变原有的资源分配顺序,从而引起新的冲突.为了处理这个问题,提出使用动态优先关系的方法解决该问题.将动态优先关系使用加权逻辑程序表示,然后求解程序得到回答集,该回答集就是冲突问题的解决方案.最后,以一个实例说明了该方法的应用.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2010，计算机工程与科学
2016，计算机应用与软件
2015，计算机科学
2007，工程建设与设计
来源 ：
计算机应用与软件
ISSN： 1000-386X
年份： 2012
期： 10
页码： 234-235
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： -1
中文被引频次：
近30日浏览量： 4
归属院系：
全文获取
外部链接：
