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

第２９卷第１０期　　　 计算机应用与软件 Ｖｏｌ２９Ｎｏ．１０ ２０１２年１０月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｏｃｔ．２０１２ 基于回答集程序的冲突问题研究 王　洁　赵丽丽　艾莹莹　夏　杰 （北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室　北京 １００１２４） 摘　要　　ＳｍａｒｔＭ３是一个实现智能空间的交互平台，它允许软件实体和设备共享语义信息。在ＳｍａｒｔＭ３中使用ＡＳＰ可以处理固 定偏好关系下的资源分配和冲突问题。然而在现实生活中，信息更新却会改变原有的资源分配顺序，从而引起新的冲突。为了处理 这个问题，提出使用动态优先关系的方法解决该问题。将动态优先关系使用加权逻辑程序表示，然后求解程序得到回答集，该回答 集就是冲突问题的解决方案。最后，以一个实例说明了该方法的应用。 关键词　　ＳｍａｒｔＭ３　加权逻辑程序　动态优先　冲突 中图分类号　ＴＰ３０１　　　　文献标识码　Ａ ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１２．１０．０６１ ＳＴＵＤＹＯＮＣＯＮＦＬＩＣＴＲＥＳＯＬＵＴＩＯＮＷＩＴＨＡＮＳＷＥＲＳＥＴＰＲＯＧＲＡＭＭＩＮＧ ＷａｎｇＪｉｅ　ＺｈａｏＬｉｌｉ　ＡｉＹｉｎｇｙｉｎｇ　ＸｉａＪｉｅ （ＫｅｙＬａｂｏｒａｔｏｒｙｏｆＭｕｌｔｉｍｅｄｉａａｎｄＩｎｔｅｌｌｉｇｅｎｔＳｏｆｔｗａｒｅ，ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＢｅｉｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ，Ｂｅｉｊｉｎｇ１００１２４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　ＳｍａｒｔＭ３ｉｓａｎｉｎｔｅｒｏｐｅｒａｂｉｌｉｔｙｐｌａｔｆｏｒｍｆｏｒｒｅａｌｉｓｉｎｇｓｍａｒｔｓｐａｃｅｗｈｉｃｈａｌｌｏｗｓｔｈｅｓｏｆｔｗａｒｅｅｎｔｉｔｉｅｓａｎｄｔｈｅｄｅｖｉｃｅｓｔｏｓｈａｒｅａｎｄ ａｃｃｅｓｓｌｏｃａｌｓｅｍａｎｔｉｃｉｎｆｏｒｍａｔｉｏｎ．ＩｎｔｅｇｒａｔｉｎｇａｎＡｎｓｗｅｒＳｅｔＥｎｇｉｎｅｔｏＳｍａｒｔＭ３ｃａｎｈａｎｄｌｅｒｅｓｏｕｒｃｅａｌｌｏｃａｔｉｏｎａｎｄｃｏｎｆｌｉｃｔｐｒｏｂｌｅｍｓｉｎｆｉｘｅｄ ｐｒｅｆｅｒｅｎｃｅｒｅｌａｔｉｏｎｓ．Ｈｏｗｅｖｅｒ，ｉｎｒｅａｌｌｉｆｅ，ｗｈｅｎｉｎｆｏｒｍａｔｉｏｎｕｐｄａｔｅｓ，ｔｈｅｐｒｉｍａｒｙｏｒｄｅｒｏｆｒｅｓｏｕｒｃｅｓａｌｌｏｃａｔｉｏｎｗｉｌｌｂｅｃｈａｎｇｅｄａｓｗｅｌｌ， ｗｈｉｃｈｌｅａｄｓｔｏｎｅｗｃｏｎｆｌｉｃｔｓ．Ｔｏｒｅｓｏｌｖｅｔｈｉｓ，ｔｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｓｔｏｕｓｅｄｙｎａｍｉｃｐｒｉｏｒｉｔｙｒｅｌａｔｉｏｎｓｆｏｒｔｈｅｐｒｏｂｌｅｍ．Ｗｅｉｇｈｔｃｏｎｓｔｒａｉｎｔｌｏｇｉｃ ｐｒｏｇｒａｍｉｓｕｓｅｄｔｏｒｅｐｒｅｓｅｎｔｔｈｅｄｙｎａｍｉｃｐｒｉｏｒｉｔｙ，ａｎｄｔｈｅｎｔｈｅａｎｓｗｅｒｓｅｔｉｓｇｏｔｂｙｓｏｌｖｉｎｇｔｈｅｐｒｏｇｒａｍ，ａｎｄｔｈｉｓｓｅｔｉｓｔｈｅｓｏｌｕｔｉｏｎｔｏｔｈｅ ｃｏｎｆｌｉｃｔ．Ｆｉｎａｌｌｙ，ｗｅｕｓｅａｎｅｘａｍｐｌｅｔｏｉｌｌｕｓｔｒａｔｅｔｈｅａｐｐｌｉｃａｔｉｏｎｏｆｔｈｉｓｍｅｔｈｏｄ． Ｋｅｙｗｏｒｄｓ　　ＳｍａｒｔＭ３　Ｗｅｉｇｈｔｃｏｎｓｔｒａｉｎｔｌｏｇｉｃｐｒｏｇｒａｍ　Ｄｙｎａｍｉｃｐｒｉｏｒｉｔｙ　Ｃｏｎｆｌｉｃｔ 通过ＳｍａｒｔＳｐａｃｅＡｃｃｅｓｓＰｒｏｔｏｃｏｌ（ＳＳＡＰ）进行连接。目前国内对 ０　引　言 ＳｍａｒｔＭ３的研究较少，但是这个平台对于智能空间的发展和研 究具有实际意义，并且在本地信息的资源分配和信息共享方面 现代社会中不同类型或角色的设备之间的界线变得越来越 也有很大的贡献。 模糊，这些设备可以形成一个智能