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

摘要：

命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子.它刻画了人工智能研究中往往只需要描述未来状态,而不必关注过去的性质.PTL给出了一个表达时间具有向上线性、传递性、持续性和离散性的公理化逻辑系统,并证明了其可靠性和完全性.

关键词：时态逻辑、向上线序、离散性、完全性

所属期刊栏目：36

分类号：B815.5(逻辑学(论理学))

在线出版日期：2010-05-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：70-74