时态推理相关论文
在研究不断变化着的现实世界时，时间是一个非常重要的因素。我们常以时间为依据来解释各种事实和数据，因为各种事件和实体间的潜在关......
在研究不断变化着的现实世界时,时间是一个非常重要的因素。我们常以时间为依据来解释各种事实和数据,因为各种事件和实体间的潜在......
时间是自然界无所不在的属性，如何将时态信息引入知识库成为知识库系统是一大研究方向。随着中间件技术的发展，寻找一个统一处理时态......
智能规划是人工智能的一个重要研究领域，智能规划的主要思想是根据预定实现的目标，对若干可供选择动作及所提供的资源限制进行推理，得......
介绍了Allen的区间代数及其扩展——INDU网络，将Heisenberg不确定性原理应用于INDU网络，并将INDU的25种基本关系中两区间有端点相等......
基于模糊集理论，建立了一种扩展Allen时态关系模糊时态区间模型．在经典时态关系的基础上，讨论了模糊时态区间关系，提出了时间点的模糊......
介绍了Allen的区间代数及其扩展——INDU网络,将Heisenberg不确定性原理应用于IN-DU网络,将INDU的25种基本关系中两区间有端点相等......
区间逻辑不能模拟自然语言中与，或，非时态关系，其公理系统的完备性不易保证。我们建立的间断区间时态知脚注可以克服区间逻辑的上述缺......
在规划图框架下,定义了动作图,并进一步扩展为时态动作图,使之能体现处理具有时间资源约束的时态规划问题中的时态信息.在此基础上......
由于现实世界中事件的持续时间难以精确测量,以及起始时刻及结束时刻的模糊性,使得Allen的区间代数不能很好地刻画事件的模糊时间......
由于现实世界中事件的持续时间难以精确测量,以及起始时刻及结束时刻的模糊性,使得Allen的区间代数不能很好地刻画事件的模糊时间......
区间代数是一种用来进行定性时态推理的工具,它在人工智能中有着广泛的用途。现实世界中有许多定性的时态信息,也有许多定量的时态......
将区间代数及区间矩阵中有端点相等的基本关系去掉，只保留现实世界中真正可能发生的那些基本关系，这样表达能力丝毫没有减弱，但是问题......
作为推理的基础，时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法，称之为关系向量。......
详细讨论了从Allen代数演化为INDU代数的思路和INDU代数的几何表示。研究指出，INDU是Allen代数中原子关系的细分和可采纳域的细化，对......
定义了间断区间时态逻辑中的一些基本概念：真值联结、公理、分离原则、证明、定律，这些概念与传统逻辑中相应的概念有较大的差异。......
与时态和空间有关的推理问题是人工智能研究中重要的组成部分,在地理信息系统、时空数据库、CAD/CAM等领域有着重要应用.从本体、......
区间逻辑不能模拟自然语言中的“与”、“或”、“非”，间断区间可以克服这一弱点。本文给出了在Ｐｒｏｌｏｇ顶层扩展实现间断区间逻辑。......
介绍了在时态推理方面的一些研究工作，包括基于间断区间的时态知识表示及其推理，以及模糊数学中两个基本操作的一些注记。......
用集合进行时态的表示与推理，降低计算复杂性．用区间代数能表示不确定的时态关系，可以很方便地用于时态推理，表达能力强．时态关系的区间......
提出了一个用于规划识别的多层次时态推理算法，该算法可将以往的时态推理从单个规划的分解推广到多层次规划系统，使之更具普遍性，可将......
INDU网络在区间代数的基础上引入了时间区间的长度，细化了时间区间之间的定性关系，使得时间定性推理的精确性有所提高。本文给出了IN......
智能规划和调度中的许多时态（或时序）问题可以表达为析取时态问题（DTP）．目前，多数析取时态问题求解器将析取时态问题看作约束可满足问题（C......
时态信息表示和推理是人工智能研究中的一个重要课题,现有的模型大多只能表示确定时态信息,然而现实生活中很多事件的发生结束等时......
时态推理是人工智能领域的重要研究方向。析取时态问题（disjunctivetemporalproblem，DTP）是一类表达力极强的定量时态模型，被广泛应用......
给出了一种集成定性与定量的约束的可视时态概念模型，通过该模型使得每个时态对象可以转子平面上的一个可视实体，并且在一些假设下引......
现实世界中事件的持续时间是难以精确测量的,其起始时刻及结束时刻经常是模糊的。本文用事件的持续函数的概念来表示事件的持续时......
为了在多维战场上赢得胜利．我军必须做到诸作战单元之间的精确协同。本文分析了战场上动态协同的各种情况，描述了战斗动作间的时态依......
时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用.区间代数是一种独立的......
用区间代数能表示不确定的时态关系，可以方便地应用于时态推理，表达能力强。将区间代数及区间矩阵中有端点相等的基本关系去掉，只保留......
时空推理由时态推理和空间推理发展而来,近年来已成为人工智能、地理信息系统和时空数据库等相关领域的研究热点。本文围绕时空推......
针对多任务的时间规划问题，基于SimpleTemporalNetworks（STN）时态表示模型和时态推理方法，提出了一种时间冲突检测的智能方法，并对该方......
一般，用逻辑形式表示时态信息的方法是命题附加一个时间或时间区间。文１指出，时间区间表示单个事件带间断区间是困难的。不达，文１定义两......
