【摘要】 Smart-M3是一个实现智能空间的交互平台,它允许软件实体和设备共享语义信息。在Smart-M3中使用ASP可以处理固定偏好关系下的资源分配和冲突问题。然而在现实生活中,信息更新却会改变原有的资源分配顺序,从而引起新的冲突。为了处理这个问题,提出使用动态优先关系的方法解决该问题。将动态优先关系使用加权逻辑程序表示,然后求解程序得到回答集,该回答集就是冲突问题的解决方案。最后,以一个实例说明了该方法的应用。更多还原

【Abstract】 Smart-M3 is an interoperability platform for realising smart space which allows the software entities and the devices to share and access local semantic information.Integrating an Answer Set Engine to Smart-M3 can handle resource allocation and conflict problems in fixed preference relations.However,in real life,when information updates,the primary order of resources allocation will be changed as well,which leads to new conflicts.To resolve this,this paper proposes to use dynamic priority relations for the problem.Weight constraint logic program is used to represent the dynamic priority,and then the answer set is got by solving the program,and this set is the solution to the conflict.Finally,we use an example to illustrate the application of this method.更多还原