一个向上线序的命题时态逻辑PTL

发布时间：2019-06-05 10:57

【摘要】：命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子。它刻画了人工智能研究中往往只需要描述未来状态,而不必关注过去的性质。PTL给出了一个表达时间具有向上线性、传递性、持续性和离散性的公理化逻辑系统,并证明了其可靠性和完全性。
[Abstract]:Propositional temporal logic PTL is a logic that can be widely used in artificial intelligence, and its characteristic is that it can only express the future temporal operator. It describes that in artificial intelligence research, it is often necessary to describe the future state without paying attention to the properties of the past. PTL gives an axiomatic logic system with upward linearity, transitivity, persistence and discreteness. Its reliability and completeness are proved.
【作者单位】： 重庆大学贸易与行政学院;
【分类号】：B815.5

【共引文献】

相关期刊论文 前3条

1 赖贤伟;胡山立;宁正元;王秀丽;;交互时态逻辑下的三种模糊信念算子[J];海南师范大学学报(自然科学版);2008年04期

2 宁正元;胡山立;赖贤伟;;交互时态信念逻辑及其模型检测[J];南京大学学报(自然科学版);2008年02期

3 陈清亮;朱可宜;;多智能体协同的认知规范模型检测算法[J];中山大学学报(自然科学版);2009年01期

相关博士学位论文 前1条

1 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年

【相似文献】

相关期刊论文 前10条

1 唐同诰;;程序算子与逻辑算子的统一——一阶时态逻辑(关系逻辑)[J];贵州大学学报(自然科学版);1986年03期

2 郭贵春,程瑞;物理学中离散性思想的发展和统一[J];山西大学学报(哲学社会科学版);2004年06期

3 ;金岳霖学术奖(逻辑学)获奖作品简介(一)[J];思维与智慧;1991年01期

4 裘江杰;;一族不完全的逻辑[J];哲学研究;2007年04期

5 王克宏;胡篷;石纯一;;情景逻辑与时态逻辑在知识处理中的应用[J];计算机科学;1992年02期

6 雷寨荣;;英语离散式定语从句的表现形式及其翻译[J];湖南科技学院学报;2006年04期

7 S.哈克;黄骏;尹智全;周建设;冯周卓;;逻辑的范围[J];世界哲学;1986年06期

8 ;金岳霖学术奖(逻辑学)获奖项目简介[J];哲学研究;1990年06期

9 赵丽娜;沈向荣;;流行语的特点及语言学、心理学解释[J];江西科技师范学院学报;2007年01期

10 刘顺;潘文;;句法位置对名词空间性的影响[J];华中科技大学学报(社会科学版);2007年01期

相关会议论文 前10条

1 陈玉泉;陈宣;陆汝占;;内涵时态逻辑的语义解释系统[A];自然语言理解与机器翻译——全国第六届计算语言学联合学术会议论文集[C];2001年

2 丁雪芹;;完全性心内膜缺损患儿的监护[A];全国心脏内、外科专科护理学术会议论文汇编[C];2003年

3 周北海;;嫁接框架与S1-完全性[A];1994年逻辑研究专辑[C];1994年

4 何琼;祁燕;;完全性肺静脉异位引流术后护理体会[A];全国重症监护护理学术交流暨专题讲座会议论文汇编[C];2004年

5 田国会;刘长有;徐心和;;电梯服务系统的时态逻辑描述、分析与控制[A];1996年中国控制会议论文集[C];1996年

6 梁万茹;孙华丽;;完全性唇裂鼻底瓦合矩形瓣的改良[A];第二届中国国际暨第五届全国口腔颌面外科学术会议论文集[C];1998年

7 高锡国;;完全性锁骨下动脉窃血综合征彩色多普勒超声表现(附5例报告)[A];中华医学会第六次全国超声医学学术年会论文汇编[C];2001年

8 虞容豪;谢秋幼;古菁;;完全性脊髓损伤高压氧治疗的预后评估[A];中华医学会第十三次全国高压氧医学学术会议论文汇编[C];2004年

9 田国会;刘长有;徐心和;;离散事件动态系统理论的时态逻辑研究方法[A];1996中国控制与决策学术年会论文集[C];1996年

10 吴翩;;急性完全性子宫内翻4例救治体会[A];纪念卓越的人民医学家林巧稚大夫诞辰100周年——全国妇产科高级学术论坛论文集[C];2001年

相关重要报纸文章 前10条

1 周新;中国完全性脊髓损伤临床治疗世界领先[N];医药导报(中药报);2004年

2 记者 初卫华;治疗完全性脊髓损伤有进展[N];健康报;2001年

3 杨松林;腔隙性脑梗死不容轻视[N];大众卫生报;2007年

4 杨恒;一篇文章中的村庄形态[N];甘肃日报;2008年

5 左中男;用可调外固定支架使肩锁关节复位[N];健康报;2007年

6 张倩平;女孩需防尿道黏膜外翻[N];家庭医生报;2007年

7 中南大学湘雅医院教授 罗学宏;布—加综合征易误诊[N];大众卫生报;2006年

8 中国安全生产科学研究院院长 刘铁民;对事故反弹问题的思考[N];中国安全生产报;2007年

9 张序;以产品生命周期管理提高自主创新能力[N];经理日报;2006年

10 邓海平;膳食补品非吃不可吗[N];科技日报;2007年

相关博士学位论文 前10条

1 周健生;结构系统完全性分析技术研究[D];哈尔滨工程大学;2002年

2 张世民;骶神经前根电刺激排尿中完全性后根切断去传入的替代方法：实验与临床研究[D];第二军医大学;2000年

3 黄建兵;中国证券市场微观结构研究[D];复旦大学;2003年

4 李闽峰;震害预测快速服务平台的模型与方法及一些相关理论的研究[D];中国地震局地球物理研究所;2002年

5 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

6 陶红;先天性肾上腺皮质增生症的临床与分子遗传学研究[D];中国协和医科大学;2003年

7 李盛;单侧完全性唇腭裂初期手术方法及效果评价的临床研究[D];四川大学;2006年

8 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年

9 汪龙霞;子宫内膜异位囊肿介入性治疗的实验及临床研究[D];中国人民解放军军医进修学院;2004年

10 杨传富;微分算子乘积的自伴边值问题与一类微分算子的谱特征[D];南京理工大学;2005年

相关硕士学位论文 前10条

1 刘冬宁;时态逻辑及其对知识库的构架与研究[D];广东工业大学;2004年

2 张文;信息离散性度量方法及其在生物进化中的应用[D];大连理工大学;2005年

3 徐超;基于Petri网的工作流技术研究与应用[D];大连理工大学;2004年

4 王澄澄;基于时序ECA的分布式工作流管理系统研究与应用[D];山东大学;2005年

5 米顺强;遗传算法的有关改进及应用[D];解放军信息工程大学;2004年

6 廉智超;模型检测在模型诊断领域中的应用[D];吉林大学;2007年

7 杨英;资本市场信息非完全性与信贷配给对于企业融资的影响分析[D];吉林大学;2004年

8 董护斌;面向实时系统的实时区域时态逻辑：RRTL[D];西北大学;2002年

9 杨瑾;论中、西空间语言差异[D];华中师范大学;2001年

10 韦巍;面向对象的时态知识表达模型研究与应用[D];广东工业大学;2003年

，

本文编号：2493477