基于回答集程序的冲突问题研究

摘要

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