时态推理

作品数：33被引量：97H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：胡广朋凌青华于枫张师超汤庸更多>>
相关机构：江苏科技大学广西师范大学中山大学吉林大学更多>>
相关期刊：《高技术通讯》《微型电脑应用》《东北大学学报（自然科学版）》《科学技术与工程》更多>>
相关基金：武器装备预研基金国家自然科学基金国家高技术研究发展计划广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
知识矩阵表示
《广西师范大学学报（自然科学版）》2022年第5期36-48,共13页张师超 李佳烨 
国家自然科学基金重点项目(61836016)。
知识表示是一切人工智能算法得以运行的基础,它能够把人类知识表示成机器可以处理的数据结构。本文介绍知识矩阵表示,它可以从知识表示的根本上简化算法的运行过程并提高算法的运行效率。具体地,本文首先将时态推理中的13种区间关系表...
关键词：知识表示 矩阵表示 关系演算 时态推理 KNN分类 
可视化析取时态推理器的设计与实现
《中山大学学报（自然科学版）》2013年第6期38-43,共6页刘越畅 林晓骏 汤庸 
国家自然科学基金资助项目(61272067;41172028);广东省教育厅科技创新资助项目(2012KJCX0097);梅州市科技计划资助项目(梅市科2012(14)号);广东省自然基金团队研究资助项目(S2012030006242)
时态推理是人工智能领域的重要研究方向。析取时态问题(disjunctive temporal problem,DTP)是一类表达力极强的定量时态模型,被广泛应用于智能规划和调度领域的时态建模,近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网...
关键词：人工智能 时态推理 析取时态问题 约束可满足问题 弱演化析取时态网络 
时态规划中基于CSP技术的时态约束方法被引量：3
《计算机学报》2012年第8期1759-1766,共8页伍丽华 陈蔼祥 姜云飞 边芮 
国家自然科学基金(60773201;60970042);广东省自然科学基金项目(10451032001006140);广东高校优秀青年创新人才培育项目(LYM10081);广州市科技和信息化局应用基础研究计划项目(2010Y1-C641)资助~~
在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上,提出一种对时态信息进行表示与管理并且能够进行时态约束推理的时态一致性赋值方法,利用约束可满足问题(...
关键词：时态动作图 时态推理 CSP技术 一致性时态赋值 遗传规划算法. 
区间代数与区间段代数在定性时态推理中的联合运用
《科学技术与工程》2009年第4期1012-1015,共4页胡广朋 梁伟 夏祖勋 
总装备部武器装备预研基金(51406020104CB0201)资助
详细讨论了从Allen代数演化为INDU代数的思路和INDU代数的几何表示。研究指出,INDU是Allen代数中原子关系的细分和可采纳域的细化,对于路径一致性计算它是比Allen更为准确的方法;但是在约束网络推理计算中由于INDU的合成运算表过于庞大...
关键词：时态推理 约束网络 区间代数 INDU代数 
基于问题结构的启发式策略在析取时态问题求解中的应用被引量：4
《计算机研究与发展》2008年第11期1840-1849,共10页刘越畅 姜云飞 钱红 
国家自然科学基金项目(60773201)~~
智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以...
关键词：时态推理 析取时态问题 约束可满足问题 值选择 变量排序 智能规划和调度 
基于区间矩阵的时态关系的简化方法被引量：2
《江苏科技大学学报（自然科学版）》2008年第2期63-66,共4页胡广朋 邵玉宝 程辉 
总装备部武器装备预研基金资助项目(51406020104CB0201)
用区间代数能表示不确定的时态关系,可以方便地应用于时态推理,表达能力强。将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的基本关系,大大降低了问题的复杂性,然后,对每个原子矩阵建立一个特征集,用...
关键词：区间代数 区间矩阵 时态推理 特征集 测不准原理 
模糊区间段的矩阵表示及其运算
《江南大学学报（自然科学版）》2007年第6期662-664,共3页胡广朋 王艳 邵玉宝 程辉 
总装备部武器装备预研基金项目(51406020104CB0201)
介绍了Allen的区间代数及其扩展——INDU网络,将Heisenberg不确定性原理应用于INDU网络,并将INDU的25种基本关系中两区间有端点相等或区间段相等的15种关系删除.因为在现实世界中这15种关系是不可能出现的,于是就产生了有10种基本关系的...
关键词：区间代数 INDU网络 时态推理 测不准原理 矩阵 
事件的持续时间的表示与推理被引量：2
《微计算机应用》2007年第11期1208-1211,共4页胡广朋 王艳 于枫 凌青华 
总装备部武装备预研基金项目(51406020104CB0201)
现实世界中事件的持续时间是难以精确测量的,其起始时刻及结束时刻经常是模糊的。本文用事件的持续函数的概念来表示事件的持续时间,并用有限的近似区间的概念来描述无限的持续函数,应用Heisenberg测不准原理,将Allen的区间代数网络的1...
关键词：区间代数 模糊时间 时态推理 持续函数 测不准原理 
INDU网络对于战场动态协同的支持
《微计算机信息》2007年第36期103-104,77,共3页胡广朋 钱遥立 夏祖勋 
总装备部武器装备预研基金项目
为了在多维战场上赢得胜利,我军必须做到诸作战单元之间的精确协同。本文分析了战场上动态协同的各种情况,描述了战斗动作间的时态依赖和逻辑依赖,介绍了区间代数的扩展—INDU网络,并利用它来支持战场上的动态协同。
关键词：区间代数 INDU网络 时态推理 动态协同 
INDU网络的解析表达及其一致性计算被引量：3
《江苏科技大学学报（自然科学版）》2007年第6期52-56,共5页胡广朋 夏祖勋 
总装备部武器装备预研基金项目(51406020104CB0201)
INDU网络在区间代数的基础上引入了时间区间的长度,细化了时间区间之间的定性关系,使得时间定性推理的精确性有所提高。本文给出了INDU网络的0维、1维及2维的共计25个解析公式,用解析的方法来刻画INDU网络,并用它来实现INDU网络全局解...
关键词：区间代数 INDU网络 时态推理 一致性计算 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部