智能空间中的冲突问题研究

STUDY ON CONFLICT PROBLEM IN SMART SPACE

智能空间和回答集程序的整合解决了智能空间中固定优先关系下的资源冲突问题。然而,智能空间处在一个上下文敏感的、动态的环境中,信息更新以及环境变化都会导致资源分配的顺序重新发生变化,从而产生新的冲突问题。针对该问题,基于回答集程序提出一种动态优先的方法。首先,引入缺省规则并利用缺省决策理论动态决策智能空间中的优先关系;然后,使用回答集程序表达空间中的动态优先关系;最后,求解回答集程序得到冲突问题的解。实验结果表明,该方法可以动态决策空间中的优先关系,有效解决空间中的冲突问题,对空间中的资源实现合理分配。

The integration of answer set programming( ASP) and smart space can solve resource conflict problems in smart space on the condition of fixed priority relation. However,smart space is in a context sensitive and dynamic environment,the updating of information and changing of environment would all cause the alternation in order of resource allocation,and further lead to new resource conflicts. To solve this problem,in this paper we put forward a dynamic priority method based on answer set programming. First,we introduce default rule and use default decision making theory to dynamically decide the priority relation in smart space. Secondly,we employ answer set programming to represent the dynamic priority relations in the space. Finally,we calculate the answer set programming to get the solution of conflict problem. Experimental result shows that this method is able to dynamically decide the priority relation in the space and effectively overcomes the conflict problems in space,and achieves reasonable allocation of resources in the space as well.