时态算子相关论文
本文将三个时态算子(□,◇和○)运用到计算Rough集的上,下近似计算,尝试了一种新的研究Rough集理论的时态逻辑方法,并机器学习为例......
本文在对时间自动机进行深入研究的基础上,提出了公式时钟自动机。在公式时钟自动机中,每一个事件对应一个命题、并且针对给定命题集......
本文分析了传统的时间自动机在实时系统进行形式化验证方面所存在的问题,提出了一种新的形式化验证工具--公式时钟自动机,给出了公......
提出了一种基于B~+树的、针对有效时间区间的索引模式:FQM-tree(fast query map tree).FQM-tree将有效时间区间映射为一维空间上的......
给出了有界半Hoops 上的时态算子的定义,研究了其性质.进一步探究了半Hoops 上的时态滤子,给出了时态滤子的刻画.最后讨论了半Hoop......
将always,sometime,until,unless等时态算子引入到直觉模糊逻辑中,提出了直觉模糊时态逻辑系统,并研究了该系统中时态算子的一些性......
本文是我们用数理逻辑方法进行虚词的逻辑研究的又一个探索性尝试。这种研究除了以期对虚词有更深入的认识外,还旨在揭示言语交际......
<正> 在英语中,动词有时态形式。对于包含时态动词的语句以及以这种语句为基础的推理,原有的逻辑(有人称之为“标准逻辑”)未加研......