描述逻辑

作品数：548被引量：1526H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：蒋运承王驹常亮史忠植古天龙更多>>
相关机构：桂林电子科技大学广西师范大学中国科学院吉林大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向认证的二维表面形貌规范合理性自动检验被引量：1
《机床与液压》2022年第2期26-32,共7页黄美发 刘振辉 唐哲敏 刘廷伟 
国家自然科学基金项目(51765012);广西研究生教育创新计划项目(YCSW2020163)。
针对二维表面形貌规范不合理导致认证方案关键信息不完整或矛盾,使认证无法完成的问题,提出规范与认证过程自动检验语义本体模型。采用以描述逻辑为数学基础的网络本体语言和语义网规则语言表示面向认证过程的二维表面形貌规范合理性判...
关键词：认证 二维表面形貌规范 本体 描述逻辑 
基于本体的突发公共卫生事件防控知识模型构建研究——以新冠肺炎疫情防控为例被引量：5
《中国应急管理科学》2021年第10期4-16,共13页刘超 吴丹丹 高瑜 方铭勇 
安徽高校自然科学研究重点项目“SCBR专家系统建模方法研究”(项目编号:KJ2018A0683);安徽党校(行政学院)系统“公共安全与应急管理”专题研究课题“重大公共卫生事件应急处置实践经验研究”(项目编号:QSYJ20200)
传染病疫情的屡次发生,特别是新冠肺炎疫情的蔓延,给人类健康、经济社会稳定带来了严重的影响。构建新冠肺炎疫情防控本体,能够提高疫情相关知识的高效利用,为疫情防控提供知识支持。通过整理新冠肺炎疫情防控领域相关知识,确定概念结...
关键词：突发公共卫生事件 新冠肺炎 疫情防控 本体建模 描述逻辑 
产生式系统原理在联锁软件开发中的应用
《电子世界》2021年第16期128-130,共3页汤连桥 
计算机联锁软件中的逻辑关系是使用规则进行描述的。产生式系统是一种基于规则的推理技术,联锁软件可采用产生式系统的技术进行开发。描述了产生式系统中三个部分(规则库定义、总数据库设计、控制策略设计)在开发联锁软件过程中的实现,...
关键词：联锁软件 产生式系统 逻辑关系 基于规则的推理 数据库设计 软件开发 描述逻辑 设计和实现 
基于时间区间的模糊描述逻辑的Tableau算法被引量：1
《现代信息科技》2021年第8期119-121,124,共4页昌霞 
基于时间区间的模糊描述逻辑TFDL是对模糊描述逻辑在时间上进行限定讨论的一种新的描述逻辑。TFDL对个体,概念和关系的模糊隶属度用vague集来进行描述,其语法是在模糊描述逻辑ALCN的语法基础上的扩充。研究在其语法、语义的基础上给出...
关键词：时间区间 模糊描述逻辑 隶属度 
循环描述逻辑系统FL0最大不动点模型的有穷基
《计算机科学》2020年第S02期92-96,共5页郑添健 侯金宏 张维 王驹 
贵州省教育厅自然科学基金项目(黔教科20090047);贵州省科学技术基金资助项目(黔科合J字[2012]2310);黔南民族师范学院一般项目(qnsy2018023)。
描述逻辑和形式概念格都是以概念为基础的形式系统,它们都有各自的优缺点,近年来人们开始将两者结合起来,取长补短。文中将形式概念分析的方法引入描述逻辑,研究了循环描述逻辑系统FL0在最大不动点语义下有限模型的有穷基。在形式概念...
关键词：描述逻辑 形式概念分析 属性探测 有穷基 
面向智慧旅游的文物领域本体构建及推理被引量：6
《计算机工程与设计》2020年第8期2321-2326,共6页徐顺航 杨长春 徐筱 葛天一 陈延雪 
赛尔网络下一代互联网技术创新基金项目(NGII20180125);2019年江苏省研究生科研创新计划基金项目(KYCX19_1769)。
现有文物旅游智能技术不能满足用户个性化需求,为此提出一种本体构建与规则推理的研究方法。通过构建一个面向智慧旅游的文物领域本体,对本体进行一致性检测推理,使构建的本体不存在矛盾;基于描述逻辑将本体知识库中的逻辑概念关系用语...
关键词：智慧旅游 本体 规则推理 描述逻辑 推理机 
基于DL关联ε■++规则挖掘的归纳知识发现
《计算机应用研究》2020年第7期1974-1978,1998,共6页李春雨 
国家自然科学基金资助项目(U1204613)。
为了从不完整和动态的数据中发现知识,提出了一种基于DL关联ε■++规则和归纳推理的一致知识发现。首先通过对描述逻辑ε■++规则和演化本体的知识动态性地分析得到了演化本体中的归纳推理学习,它是基于原子集支持度和权值以及关联ε■+...
关键词：动态数据 知识发现 描述逻辑 ε■++规则 支持度/置信度 扩展性/准确性 
用OwlReady2实现智能人机对话系统
《电脑编程技巧与维护》2020年第7期116-119,共4页宋丛威 
为了对话机器人更加智能,用OwlReady2实现具有逻辑推理能力的人机对话系统。OwlReady2是本体论知识管理的描述语言OWL的Python接口,封装了推理引擎HermiT和Pellet,可以进行基于描述逻辑(DLs)的推理。对作为陈述句和疑问句的DLs表达式给...
关键词：OwlReady2接口 描述逻辑 推理引擎 人机对话系统 操作语义 
D-NSWRL:一种语义Web动态扩展的非单调规则语言
《重庆邮电大学学报（自然科学版）》2020年第1期154-163,共10页王星 李佳 陈吉 
国家自然科学基金(61402212);辽宁省高等学校杰出青年学者成长计划(LJQ2015045);辽宁省自然科学基金面上项目(2015020098);中国博士后基金面上项目(2016M591452)~~
现实中存在着许多不能完全表示或不断变化的知识,这就要求语义Web不仅能够处理静态知识,还要对动态知识进行处理。仅利用传统描述逻辑已不足以有效表示相关知识,还需增加对动作的表示和推理。针对以上问题,提出的动态非单调语义Web规则...
关键词：动态描述逻辑 非单调问题 D-NSWRL 优先级判定 语义WEB 
描述逻辑ALC中关于伪子概念极小改变的R-演算
《软件学报》2019年第12期3683-3693,共11页王雨晖 眭跃飞 
国家重点基础研究发展计划(973)(2005CB321901);软件开发环境国家重点实验室开放课题(SKLSDE-2010KF-06)~~
AGM公设是用于信念修正的(被一个单一信念修正),而DP公设是用于迭代修正的(被一个有限的信念序列修正).李未给出了对于R-构型(configuration)Δ|Γ的R-演算,其中,Δ是一个原子公式或原子公式否定的集合,而Γ是一个有限的公式集合.为了...
关键词：描述逻辑 信念修正 R-演算 伪子概念 ■-极小改变 
全选清除导出
共55页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部