高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

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

上一篇

下一篇

吕进. 一个向上线序的命题时态逻辑PTL[J]. 西南大学学报（社会科学版）, 2010, 36(2).
引用本文: 吕进. 一个向上线序的命题时态逻辑PTL[J]. 西南大学学报（社会科学版）, 2010, 36(2).
shu
A Propositional Temporal Logic With Up-Linear[J]. Journal of Southwest University Social Science Edition, 2010, 36(2).
Citation: A Propositional Temporal Logic With Up-Linear[J]. Journal of Southwest University Social Science Edition, 2010, 36(2).
shu

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

  • 重庆大学,贸易与行政学院,重庆市,400030

A Propositional Temporal Logic With Up-Linear

  • 摘要: 命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子.它刻画了人工智能研究中往往只需要描述未来状态,而不必关注过去的性质.PTL给出了一个表达时间具有向上线性、传递性、持续性和离散性的公理化逻辑系统,并证明了其可靠性和完全性.
  • 加载中
  • 加载中
计量
  • 文章访问数:  283
  • HTML全文浏览数:  158
  • PDF下载数:  0
  • 施引文献:  0
出版历程

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

  • 重庆大学,贸易与行政学院,重庆市,400030

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

English Abstract

    全文HTML

参考文献 (0)

目录

版权所有：西南大学学报（社会科学版）

地址：重庆市北碚区西南大学 电话：023-68366670（马列、文艺），68366925（经济、历史），68254225（政治、社会、哲学），68366229（教育、心理） 电子邮箱：wkxb@swu.edu.cn

本系统由北京仁和汇智信息技术有限公司开发

/

返回文章
返回