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

• 作者: 夏杰 王洁 艾莹莹 赵丽丽
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Smart-M3 加权逻辑程序 动态优先 冲突
• 年，卷（期）: 2012,（10）
• 页码范围: 234-235
• 分类号: TP301
• 字数: 2855字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2012.10.061

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏杰	北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室	3	9	2.0	3.0
2	王洁	北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室	18	35	4.0	5.0
3	赵丽丽	北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室	3	7	1.0	2.0
4	艾莹莹	北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室	2	6	1.0	2.0