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

论文简介

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

论文截图

版权：如无特殊注明，文章转载自网络，侵权请联系cnmhg168#163.com删除！文件均为网友上传，仅供研究和学习使用，务必24小时内删除。