微信服务号

微信订阅号

2025-4-24- 16
Home > Archive>Volume 31, Issue 12, 2020 >3787-3796. DOI:10.13328/j.cnki.jos.005888
PDF HTML XML Export Cite reminder
Temporal Epistemic Logic for Perfect Recall
Author:
Affiliation:

Fund Project:

National Social Science Foundation of China (14ZDB016)

  • Article
    • | |
  • Metrics
    • |
  • Reference [24]
    • |
  • Related [20]
    • | | |
  • Comments
    Abstract:

    Traditional temporal epistemic logic is defective to express perfect recall. It cannot express the memories of individuals’ knowledge. Time and knowledge are integrated into a single operator in the new system S5tCt, such that individual knowledge, general knowledge and common knowledge can be indicated by certain time. With this simple setting, each agent (individual or group) can recall all of their historical knowledge and has memories. The main result of the study is completeness, and it can be proved by using canonical model that S5tCt is complete with respect to the class of all equivalence and monotone decreasing frames.

    Reference
    [1] Sato M. A study of kripke-type models for some modal logics by gentzen's sequential method[Ph.D. Thesis]. University of Kyoto, 1977.
    [2] Lehmann D. Knowledge, common knowledge, and related puzzles (extended summary). In:Proc. of the 3rd Annual ACM Symp. on Principles of Distributed Computing. 1984. 62-67.[doi:10.1145/800222.806736]
    [3] Parikh R, Ramanujam R. Distributed processes and the logic of knowledge. In:Proc. of the Logic of Programs Conf. Springer-Verlag, 1985. 256-268.[doi:10.1007/3-540-15648-8_21]
    [4] Kraus S, Lehmann D. Knowledge, belief and time. Theoretical Computer Science, 1988,58(1-3):155-174.[doi:10.1016/0304-3975(88)90024-2]
    [5] Halpern JY, Vardi MY. The complexity of reasoning about knowledge and time. i. lower bounds. Journal of Computer and System Sciences, 1989,38(1):195-237.[doi:10.1016/0022-0000(89)90039-1]
    [6] Spaan E. Nexttime is not necessary. In:Proc. of the Theoretical Aspects of Reasoning about Knowledge Conf. Morgan Kaufmann Publishers Inc., 1990. 241-256.
    [7] Meyden RVD. Axioms for knowledge and time in distributed systems with perfect recall. In:Proc. of the 9th Annual IEEE Symp. on Logic in Computer Science. 1994. 448-457.
    [8] Ditmarsch HV, Halpern JY, Hoek WVD, Kooi B. Handbook of Epistemic Logic. College Publications, 2015. 395-442.
    [9] Halpern JY, Vardi MY. Model checking vs. theorem proving:A manifesto. Artificial Intelligence and Mathematical Theory of Computation, 1991,212:151-176.[doi:10.1016/B978-0-12-450010-5.50015-3]
    [10] Meyden RVD, Shilov NV. Model checking knowledge and time in systems with perfect recall. In:Proc. of the Foundations of Software Technology and Theoretical Computer Science. 1999. 432-445.[doi:10.1007/3-540-46691-6_35]
    [11] Hoek WVD, Wooldridge M. Model checking knowledge and time. In:Proc. of the Int'l Spin Workshop on Model Checking of Software. 2002. 95-111.[doi:10.1007/3-540-46017-9_9]
    [12] Wu LJ, Su KL. A model checking algorithm for temporal logics of knowledge in multi-agent systems. Ruan Jian Xue Bao/Journal of Software, 2004,15(7):1012-1020(in Chinese with English abstract). http://www.jos.org.cn/1000-9825/15/1012.htm
    [13] Luo XY, Su KL, Yang JJ. Bounded model checking for temporal epistemic logic in synchronous multi-agent systems. Ruan Jian Xue Bao/Journal of Software, 2006,17(12):2485-2498(in Chinese with English abstract). http://www.jos.org.cn/1000-9825/17/2485.htm
    [14] Luo XY, Su KL, Gu M. A model checking approach for solving epistemic riddles. Chinese Journal of Computers, 2010,33(3):406-414(in Chinese with English abstract).
    [15] Frege G, Wrote; Wang L, Trans. Anthology of Frege's Philosophical Works. Beijing:Commercial Press, 2006. 128(in Chinese).
    [16] Haack S, Wrote; Luo Y, Trans. Philosophy of Logics. Beijing:Commercial Press, 2003. 193-200(in Chinese).
    [17] Fagin R, Halpern JY, Moses Y, Vardi MY. Reasoning About Knowledge. MIT Press, 1995.
    [18] Ditmarsch HV, Hoek WVD, Kooi B. Dynamic Epistemic Logic. Springer Press, 2007.
    附中文参考文献:
    [12] 吴立军,苏开乐.多智体系统时态认知规范的模型检测算法.软件学报,2004,15(7):1012-1020. http://www.jos.org.cn/1000-9825/15/1012.htm
    [13] 骆翔宇,苏开乐,杨晋吉.有界模型检测同步多智体系统的时态认知逻辑.软件学报,2006,17(12):2485-2498. http://www.jos.org.cn/1000-9825/17/2485.htm
    [14] 骆翔宇,苏开乐,顾明.一种求解认知难题的模型检测方法.计算机学报,2010,33(3):406-414.
    [15] Frege G,著;王路,译.弗雷格哲学论著选辑.北京:商务印书馆,2006.128.
    [16] Haack S,著;罗毅,译.逻辑哲学.北京:商务印书馆,2003.193-200.
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

张玉志,唐晓嘉.面向完美回忆的时态认知逻辑.软件学报,2020,31(12):3787-3796

Copy
Share
Article Metrics
  • Abstract:2074
  • PDF: 4020
  • HTML: 1690
  • Cited by: 0
History
  • Received:December 16,2018
  • Revised:May 05,2019
  • Online: December 06,2019
  • Published: December 06,2020
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2038126Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063