杨卓群
- 作品数：6 被引量：9H指数：2
- 供职机构：中国科学院数学与系统科学研究院数学研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划贵州省教育厅自然科学研究项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 汉密尔顿回路逻辑程序的两个结果(英文)被引量：2
- 2011年
- 基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明。本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果。
- 王以松杨卓群许欢
- 关键词：逻辑程序
- 语义网及其应用被引量：2
- 2011年
- 面对万维网信息化规模急剧膨胀、信息载体也趋于多元化等原因所带来的诸多困难,语义网的提出为此提供了解决方案及技术支持,它利用对网络上的信息资源添加语义,达到不仅为人们所理解,也可以使机器理解和处理的目的。本文首先介绍了语义网的背景、基本概念、技术框架,然后阐述了语义网的结构框架以及各层次之间的协作关系与作用。结合一个实例,介绍了基于Protégé的本体创建和推理过程,以及对所建本体使用Jena和Pellet进行本体查询的方法。最后,分析了语义网在信息检索、网络服务和医学领域的应用情况和研究意义,并提出了语义网的一些发展方向。
- 杨卓群王以松
- 关键词：语义网本体描述逻辑PROTEGE
- 描述逻辑程序系统的设计与实现
- 2014年
- Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述逻辑程序,获得了本体上的非单调表达和推理能力。王以松等人证明了描述逻辑程序的完备化和环公式可以精确刻画描述逻辑程序的回答集。在此基础上,进一步证明了若完备化公式的模型不是回答集则一定存在终止环公式反例,它们是多项式时间可计算的。设计并实现了借助SAT求解器MiniSAT以及描述逻辑推理机RacerPro计算描述逻辑强回答集的原型DLP_SAT。实验结果表明,该原型能有效地计算一些熟知的描述逻辑程序的强回答集。
- 杨卓群王以松
- 关键词：描述逻辑逻辑程序
- 面向环境与需求不确定性的系统自适应决策被引量：4
- 2018年
- 软件系统在运行时会与其他软硬件系统、设备和用户发生密切交互.软件运行环境呈现出不稳定的特点,同时软件需求也可能会发生变化.由于难以准确预测和描述软件运行时的环境及需求,两者的变化具有不确定性.为提供持续服务,软件需要通过自适应能力,根据环境和自身的变化来调节其行为.不确定性给软件的自适应过程带来很大挑战.现有相关工作主要关注环境变化给需求带来的影响,以及环境变化时如何调节软件行为来满足固定的需求.这些方法难以处理需求不确定时自适应过程中的变化性和复杂性.针对该问题,提出一种基于模糊控制的自适应决策方法,以应对运行时环境与需求的不确定性.首先通过模糊逻辑建模与规约环境和软件中的变化要素,并构建要素间的推理规则;其次基于前馈-反馈控制结构和模糊控制器设计自适应机制;最后通过模糊推理和遗传算法实现决策求解.不同环境和约束下的自适应结果表明:软件能够通过自适应机制和算法求得优化决策.为验证方法的可行性和有效性,通过一个移动端比特币采矿机案例进行了评估.
- 杨卓群金芝
- 关键词：不确定性前馈-反馈控制模糊逻辑
- 基于验证的自适应系统决策:一种模型驱动的方法被引量：1
- 2017年
- 自适应系统需要根据运行时上下文和自身的变化进行其行为的调节.为实现自主调节,自适应系统必须被赋予运行时监测上下文和自身变化、分析需求满足程度的变化以及推理得到自适应决策的能力.这种在线决策的行为在满足功能需求的同时,还需要保证系统满足特定的非功能需求,如可靠性和性能等.提出了一种基于验证的自适应系统优化决策方法,以保证非功能需求的满足.该方法在识别可调节目标以建模自适应机制的同时,将系统的目标模型映射为相应的行为模型,用标签转移系统表示;以可靠性需求为例,用标记目标模型规约任务的可靠性;然后将系统行为模型和可靠性规约整合为带可变状态的离散时间马尔可夫链,将候选自适应配置描述为不同可变状态间的组合;最终通过相关需求的在线验证,使系统找到关于某类上下文的最优决策配置.通过一个移动信息系统的案例展示了该方法的可行性和有效性.
- 杨卓群金芝
- 关键词：自适应系统
- 基于SAT的描述逻辑程序回答集求解
- 知识表示与推理(特别是非单调推理)是人工智能研究的重要问题之一.Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述逻辑程序,通过描述逻辑原子实现规则与本体之间的交互,获得本体基础上的非单调表达和推理能力.王以松...
- 杨卓群王以松
- 关键词：描述逻辑逻辑程序
