时态逼近关系及时态逻辑的扩充

来源 :软件学报 | 被引量 : 0次 | 上传用户:g348386408
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了时态逼近关系,并给出了命题不确定性时态关系的一种分类,在Shoham的时态逻辑基础上,对命题和一阶两种情况,提出了能描述不确定性时态关系,基于时间点和(点对构成的)时间区间的时态逻辑(定性与定量相结合)。此外,还给出了在非确定性时态关系下用于描述命题类型的一些命题时态性质。
其他文献
选题是期刊的灵魂和基础,选题策划是期刊出版活动的起点,因此选题策划的作用在期刊生存与发展中是十分重要的。积极探索期刊选题策划的方法和途径,已成为期刊生存与发展的当
本文将人类语言分为自然语言和人体语言,阐述了人体语言的概念,过程了人类语言的结构与包容关系,归纳了人体语言与自然语言的信息融合模型。在该模型的基础上,利用面向Agent技术设计了
文章以桂林图书馆为例从民国文献清点工作的必要性、清点工作具体内文献清点工作是图书馆书库管理工作必不可少的一个环节,是维护馆藏书目数据的重要手段容、清点工作发现的问
二元可满足性问题是一个多项式可解的问题。本文首先证明了该问题有解的充要条件,然后给出了判定该问题的一个新的多项式算法。如果判定某个表达式是可满足的话,那么求解算法不
多数食管癌、贲门癌患者出现明显症状而确诊时已失去手术机会.而且行手术治疗者术后可出现吻合口狭窄,如果解决了这类患者的吞咽困难问题,可大大改善患者的生存质量,延长生存时间
文章通过对我国31省市62所高校的调查,分析了我国高校图书馆自建数据库的现状,指出了存在的问题,并提出了相应的建议。
本文描述了PCLAgenda(processcontrollinglanguageagenda)的设计与实现PCLAgenda是SCOP组合框架软件工具系统中提供的过程为核心工程环境,其主要功能是定义软件开发过程,指导,控制和自动化软件开发工作,支持开发人员的合作和协调PCLAgenda的核心是基
我们在英语教学中可以有意识、有目地、有计划地进行美育教学,并通过美的熏陶,促使学生对教学形式和教学内容产生浓厚兴趣,进而把老师的英语教学变得生动、活泼而有实效。
在金属工艺学这门课程的教学过程中,教师只有上好绪论课,做好课程导入,用恰当的实例解决疑难问题,用生动的讲授转化枯燥的课堂氛围,并恰当运用多媒体,才能获得好的教学效果。
解释学习可以直接应用于知识库的推理加速。经解释学习学到的一组规则,其参加匹配的先后次序直接影响着学习的效果。本文提出并证明了在以规则的成功频率与本身匹配费用的比值