一个完全的具体化时态逻辑

摘要：

时态逻辑有三种常见的研究方法：模态逻辑方法,时间变量方法和具体化逻辑方法。模态逻辑方法和一阶逻辑方法有着较为完整的理论基础,但其表达能力相对较弱。具体化逻辑的方法有着很强的表达能力,但是缺乏严格意义的理论基础。 本文针对现有的具体化逻辑方法的缺点,提出了一个新的具体化时态逻辑,既保证了较强的表达能力,同时又给出了明确的语法,语义及可靠且完全的公理化系统。

关键词： 人工智能 人工神经网络 时态逻辑

作者: 赵国兴 沈复兴 Jixin Ma

作者单位: 北京师范大学数学科学学院 100875 School of Computing and Mathematical Sciences University of Greenwich U. K. 北京师范大学数学科学学院 100875 School of Computing and Mathematical Sciences University of Greenwich U. K.

会议类型: 国内会议

会议名称: 中国人工智能学会第12届全国学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 77-82

在线出版日期: 2007-11-20（万方平台首次上网日期，不代表论文的发表时间）