Indexed by：
Abstract：
SmartM3是一个实现智能空间的交互平台,它允许软件实体和设备共享语义信息.在SmartM3中使用ASP可以处理固定偏好关系下的资源分配和冲突问题.然而在现实生活中,信息更新却会改变原有的资源分配顺序,从而引起新的冲突.为了处理这个问题,提出使用动态优先关系的方法解决该问题.将动态优先关系使用加权逻辑程序表示,然后求解程序得到回答集,该回答集就是冲突问题的解决方案.最后,以一个实例说明了该方法的应用.
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机应用与软件
ISSN： 1000-386X
Year： 2012
Issue： 10
Page： 234-235
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 7
Affiliated Colleges：
