论文部分内容阅读
随着计算机和信息技术的发展,软件和硬件环境均发生了巨大的变化。在现实社会中具有数字通信能力的设备越来越多,这些设备的信息和功能可以被其它的设备使用,这就导致了不同类型或角色的设备之间的界线变得越来越模糊。多个共享信息的设备可以构成一个智能空间,在空间中这些设备将以无缝的方式连接,并为用户提供最合适的可用资源和服务。智能空间将涉及数十乃至数百个设备,对这样的空间进行事先标准化是极其困难的。现行的语义网方法可以为智能空间提供带有标准语义的本体。语义网方法是依赖于网页结构的,这种网页结构的隐私性不好且推理效率不高。因此研究学者们研发了Smart-M3平台来实现智能空间。 Smart-M3是一个允许软件实体和设备之间共享语义信息的交互平台。使用ASP可以处理Smart-M3中具有固定偏好关系的资源分配和冲突问题。然而资源的使用和可用性是不断变化的,并且信息更新也会改变原有的资源分配顺序,从而引起新的冲突。为了处理上述问题,本文定义了冲突消解规则并且引入Activity的状态,然后使用加权逻辑程序设计的方法解决动态优先关系下的冲突问题。首先,将动态优先关系使用加权逻辑程序设计表示,然后求解程序得到回答集,该回答集就是冲突问题的解决方案。最后,以一个实例说明了该方法的应用。 由于Smart-M3的结构比较松散,设备可以自由的进出智能空间,因此Smart-M3中的信息是不确定的;此外,由于在智能空间的知识库中往往包含大量模糊性、随机性、不可靠性或不知道等不确定性因素的知识,也会造成Smart-M3中的信息是不确定的。但是在Smart-M3中所处理的均为确定性信息,该平台在表示和处理不确定性信息时具有一定的局限性。为了处理不确定性信息,我们对不确定性信息做了进一步研究,提出了使用效用理论的方法处理Smart-M3中的不确定性信息,并且对其中的资源进行合理配置。