高洁 作品数:5 被引量:36 H指数:2 供职机构: 吉林大学珠海学院 更多>> 发文基金: 国家自然科学基金 中央级公益性科研院所基本科研业务费专项 国家教育部博士点基金 更多>> 相关领域: 自动化与计算机技术 更多>>
基于逻辑方法的开放式规划问题研究 2016年 在开放世界中求解智能规划问题往往是比较困难的,这是由于在开放世界中,某些对象可能是未知的,因而在搜索规划解时需要考虑不同的可能性。针对开放世界中的规划问题,通常需要使用传感器观察未知的对象,但是传感器无法保证获取所需的所有信息。利用逻辑推理方法,提出了在目标状态信息不完整情况下的智能规划问题求解算法PQG(planner with query-goal),并通过三个规划领域下的实验验证了该算法的有效性。 高洁 刘亚松 卓汉魁 李磊关键词:逻辑 访问控制模型研究进展 被引量:33 2010年 访问控制在众多领域中起着重要的作用,是信息系统中进行资源安全控制和管理不可缺少的一个部分。介绍了不同访问控制模型的特点及实现方式,并对每种访问控制模型的优缺点进行了分析和比较。同时,介绍了一种语义丰富的标准访问控制策略描述语言(XACML)及访问控制模型中需要进一步研究的一些内容。 韩道军 高洁 翟浩良 李磊关键词:访问控制 DAC 基于不确定性动作模型学习理论的软件需求获取方法 2012年 目前,软件系统已逐渐成为日常生活中不可缺少的组成部分。利用人工智能的方法进行软件需求获取,可以在短时间内自动获取软件需求,有利于避免人为的理解偏差以及节省人力时间成本。为了解决软件需求的自动获取问题,利用智能规划与机器学习的方法,将需求领域转化为部分规划域,并建立了具有不确定性效果的动作模型学习算法AMLCP。应用该算法,可以获得完整规划域以及需求规格说明。 高洁 卓汉魁 李磊关键词:知识获取 基于众包模式的开放式规划问题研究 被引量:2 2016年 在开放世界中求解智能规划问题往往是比较困难的,这是由于在开放世界中,某些对象可能是未知的,因而在搜索规划解时需要考虑不同的可能性.一种解决的方法是使用传感器观察未知的对象,而该方法使用的前提是传感器能够保证获取规划所需的所有信息.与以往工作不同的是,本文考虑利用外部人士(Crowd)求解规划问题.假设存在一些外部人士可以为开放世界中某个规划问题提供必要的信息,然而在实际情况下,某些外部人士提供的信息可能是具有欺骗性的,如何使用此类信息求解规划问题是本文关注的重点.针对此类问题,本文提出了一个新颖的求解方法,首先获取一个求解开放世界下的规划问题所需的带有变量的命题公式集合,然后根据外部人士对命题公式的标注估计出变量所取的值,从而将开放世界中的规划问题转化为一般的规划问题求解.最后通过实验验证了该算法的有效性. 高洁 卓汉逵 刘亚松 李磊关键词:众包 基于智能规划的界面自动生成方法研究 被引量:1 2015年 将智能规划方法引入到软件工程中的界面设计与开发领域,提出了一种基于智能规划的界面自动生成方法。应用该方法进行界面设计,可以较好地实现界面设计与代码实现的分离,降低程序的耦合度,并且可以明确界面间的逻辑关系,使开发者可以不用通过手动编程来实现界面先后调用的逻辑顺序。实践证明,该方法可以大大降低界面开发者的工作强度,缩短软件开发周期,节约开发成本。 高洁 王玞 李磊关键词:软件开发 界面自动生成