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

《基于回答集程序的冲突问题研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、第２９卷第１０期计算机应用与软件Ｖｏｌ２９Ｎｏ．１０２０１２年１０月ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅＯｃｔ．２０１２基于回答集程序的冲突问题研究王洁赵丽丽艾莹莹夏杰（北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京１００１２４）摘要　　ＳｍａｒｔＭ３是一个实现智能空间的交互平台，它允许软件实体和设备共享语义信息。在ＳｍａｒｔＭ３中使用ＡＳＰ可以处理固定偏好关系下的资源分配和冲突问题。然而在现实生活中，信息更新却会改变原有的资源分配顺序，从而引起新的冲突。为了处理这个问题，提出使用动态优先关系的方法解决

2、该问题。将动态优先关系使用加权逻辑程序表示，然后求解程序得到回答集，该回答集就是冲突问题的解决方案。最后，以一个实例说明了该方法的应用。关键词　　ＳｍａｒｔＭ３　加权逻辑程序动态优先冲突中图分类号　ＴＰ３０１　　　　文献标识码　ＡＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１２．１０．０６１ＳＴＵＤＹＯＮＣＯＮＦＬＩＣＴＲＥＳＯＬＵＴＩＯＮＷＩＴＨＡＮＳＷＥＲＳＥＴＰＲＯＧＲＡＭＭＩＮＧＷａｎｇＪｉｅ　ＺｈａｏＬｉｌｉ　ＡｉＹｉｎｇｙｉｎｇ　ＸｉａＪｉｅ（ＫｅｙＬａｂｏｒａｔｏｒｙｏｆＭｕｌｔｉｍｅｄｉａａｎｄＩｎｔｅｌｌｉｇｅｎ

3、ｔＳｏｆｔｗａｒｅ，ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＢｅｉｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ，Ｂｅｉｊｉｎｇ１００１２４，Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ　　ＳｍａｒｔＭ３ｉｓａｎｉｎｔｅｒｏｐｅｒａｂｉｌｉｔｙｐｌａｔｆｏｒｍｆｏｒｒｅａｌｉｓｉｎｇｓｍａｒｔｓｐａｃｅｗｈｉｃｈａｌｌｏｗｓｔｈｅｓｏｆｔｗａｒｅｅｎｔｉｔｉｅｓａｎｄｔｈｅｄｅｖｉｃｅｓｔｏｓｈａｒｅａｎｄａｃｃｅｓｓｌｏｃａｌｓｅｍａｎｔｉｃｉｎｆｏｒｍａｔｉｏｎ．ＩｎｔｅｇｒａｔｉｎｇａｎＡｎｓｗｅｒＳｅｔＥｎｇｉｎｅｔｏＳｍａｒｔＭ３ｃａｎｈ

4、ａｎｄｌｅｒｅｓｏｕｒｃｅａｌｌｏｃａｔｉｏｎａｎｄｃｏｎｆｌｉｃｔｐｒｏｂｌｅｍｓｉｎｆｉｘｅｄｐｒｅｆｅｒｅｎｃｅｒｅｌａｔｉｏｎｓ．Ｈｏｗｅｖｅｒ，ｉｎｒｅａｌｌｉｆｅ，ｗｈｅｎｉｎｆｏｒｍａｔｉｏｎｕｐｄａｔｅｓ，ｔｈｅｐｒｉｍａｒｙｏｒｄｅｒｏｆｒｅｓｏｕｒｃｅｓａｌｌｏｃａｔｉｏｎｗｉｌｌｂｅｃｈａｎｇｅｄａｓｗｅｌｌ，ｗｈｉｃｈｌｅａｄｓｔｏｎｅｗｃｏｎｆｌｉｃｔｓ．Ｔｏｒｅｓｏｌｖｅｔｈｉｓ，ｔｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｓｔｏｕｓｅｄｙｎａｍｉｃｐｒｉｏｒｉｔｙｒｅｌａｔｉｏｎｓｆｏｒｔｈｅｐｒｏｂｌｅｍ．Ｗｅｉｇｈｔｃｏｎｓｔｒ

5、ａｉｎｔｌｏｇｉｃｐｒｏｇｒａｍｉｓｕｓｅｄｔｏｒｅｐｒｅｓｅｎｔｔｈｅｄｙｎａｍｉｃｐｒｉｏｒｉｔｙ，ａｎｄｔｈｅｎｔｈｅａｎｓｗｅｒｓｅｔｉｓｇｏｔｂｙｓｏｌｖｉｎｇｔｈｅｐｒｏｇｒａｍ，ａｎｄｔｈｉｓｓｅｔｉｓｔｈｅｓｏｌｕｔｉｏｎｔｏｔｈｅｃｏｎｆｌｉｃｔ．Ｆｉｎａｌｌｙ，ｗｅｕｓｅａｎｅｘａｍｐｌｅｔｏｉｌｌｕｓｔｒａｔｅｔｈｅａｐｐｌｉｃａｔｉｏｎｏｆｔｈｉｓｍｅｔｈｏｄ．Ｋｅｙｗｏｒｄｓ　　ＳｍａｒｔＭ３　Ｗｅｉｇｈｔｃｏｎｓｔｒａｉｎｔｌｏｇｉｃｐｒｏｇｒａｍ　Ｄｙｎａｍｉｃｐｒｉｏｒｉｔｙ　Ｃｏｎｆｌｉｃｔ通过ＳｍａｒｔＳｐａｃｅ

6、ＡｃｃｅｓｓＰｒｏｔｏｃｏｌ（ＳＳＡＰ）进行连接。目前国内对０　引言ＳｍａｒｔＭ３的研究较少，但是这个平台对于智能空间的发展和研究具有实际意义，并且在本地信息的资源分配和信息共享方面现代社会中不同类型或角色的设备之间的界线变得越来越也有很大的贡献。（１）模糊，这些设备可以形成一个智能空间。智能空间使用语义２０１０年ＶｅｓａＬｕｕｋｋａｌａ等学者利用ＲＤＦ与规则的相互转换网方法以便各个设备和服务之间进行资源和信息的共享。性，将回答集程序（ＡＳＰ）的推理机Ｓｍｏｄｅｌｓ与ＳｍａｒｔＭ３整合。（２）语义网使用资源描述框架（ＲＤＦ）灵活地表达数据。但ＡＳ

7、Ｐ是一种基于规则的方法，它的众多属性使得它成为处理资是语义网方法是依赖于网页结构的，由于隐私性和有效推理的源分配和冲突消解的较好选择，比如它的知识表示能力和推理原因，对于智能空间来说，网页结构并不是最合适的机制。因能力。ＡＳＰ支持资源分配和冲突消解，在有多个可能解的情况此，为了更好地实现智能空间，研究学者设计开发了Ｓｍａｒｔ下，使用偏好和最优化技术可以筛选出最合适的解。［３］Ｍ３。ＳｍａｒｔＭ３是一个开放性的交互平台，可以使空间中的设ＶｅｓａＬｕｕｋｋａｌａ等学者使用固定的偏好和优先权解决了备共享和存取本地语义信息。它主要由ＳｅｍａｎｔｉｃＩｎｆ

8、ｏｒｍａｔｉｏｎＳｍａｒｔＭ３中的资源分配和冲突消解的问题，以达到信息共享的Ｂｒｏｋｅｒ（ＳＩＢ）和Ｋｎｏ