Temporal Knowledge Representation and Reasoning

  • Na Tang
  • Yong Tang
  • Lingkun Wu
  • Hui Ma
Chapter

Abstract

The importance of dealing with temporal properties in knowledge representation and reasoning has attracted researchers’ attention for long. A number of temporal knowledge representation frameworks are proposed, however, few are implemented in practice. Since production system is a knowledge representation mechanism used by most knowledge based systems and expert systems in practice, in this chapter, temporal properties are integrated into traditional production system. In other words, both rules and facts process temporal attributes. Related definitions and reasoning algorithms are presented. A prototype implementation of a salary system is given to show the validity of the framework.

Keywords

temporal knowledge representation temporal knowledge reasoning temporal production system 
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Tang Y, Tang N, et al. (2004) A unified model of temporal knowledge and temporal data. In: Proceedings of 8th International Conference on Computer Supported Cooperative Work in Design, pp 711–713Google Scholar
  2. [2]
    Pnueli A (1997) A temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, IEEE, New York, pp 46–57Google Scholar
  3. [3]
    Sistla AP, Clarke EM (1985) The complexity of propositional linear temporal logics. Journal of the ACM (JACM), 32(3)Google Scholar
  4. [4]
    McDermott D (1982) A temporal logic for reasoning about processes and plans. Cognitive Science (6): 101Google Scholar
  5. [5]
    Allen JF (1983) Maintaining knowledge about temporal intervals. Communications of ACM 26(11): 832–843MATHCrossRefGoogle Scholar
  6. [6]
    Baader F, Calvanese D, et al. (2002) The description logic handbook: theory, implementation and applications. Cambridge University PressGoogle Scholar
  7. [7]
    Guarino N (1998) Formal ontology and information systems. In: Proceedings of the 1st International Conference on Formal Ontology in Information Systems. Trento, Italy: IOS Press, pp 3–15Google Scholar
  8. [8]
    Kabakcloglu AM (1992a) Temporal production systems. In: IEEE Proceedings of Southeastcon’92, vol. 2, pp 697–698CrossRefGoogle Scholar
  9. [9]
    Kabakcloglu AM (1992b) Artificial intelligence for medical knowledge representation/ reasoning/acquisition. In: Proceedings of the 1992 International Biomedical Engineering Days, pp 186–191Google Scholar
  10. [10]
    Maloof MA, Kochut KJ (1993) Modifying rete to reason temporally. In: Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, pp 472–473Google Scholar
  11. [11]
    Ye X, Tang Y (2005) Semantics on Now and calculus on temporal relations (in Chinese with English abstract). Journal of Software 16(5): 838–845MathSciNetMATHCrossRefGoogle Scholar
  12. [12]
    Steiner A (1998) A generalisation approach to temporal data models and their implementations. PhD thesis, Swiss Federal Institute of Technology.Google Scholar
  13. [13]
    Chen Z, Tang Y, et al. (2006) The design and development of temporal database middleware. Journal of Computer Research and Development 43(Suppl.)Google Scholar

Copyright information

© Tsinghua University Press, Beijing and Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Na Tang
    • 1
    • 2
  • Yong Tang
    • 1
    • 2
  • Lingkun Wu
    • 2
  • Hui Ma
    • 2
  1. 1.Computer SchoolSouth China Normal UniversityGuangzhouP.R. China
  2. 2.Department of Computer ScienceSun Yat-sen UniversityGuangzhouP.R. China

Personalised recommendations