Advertisement

Mathematics in Computer Science

, Volume 2, Issue 1, pp 143–163 | Cite as

Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks

  • Mehmet A. Orgun
  • Chuchang Liu
  • Abhaya C. Nayak
Article

Abstract.

Representation, reasoning about and integrating knowledge based on multiple time granularities in knowledge-based systems is important, especially when talking about events that take place in the real world. Formal approaches based on temporal logics have been successfully applied in many application domains of knowledge-based systems where the evolution of a system and its environment through time is central. This paper presents a methodology based on temporal logic to deal with knowledge based on multiple time granularities in knowledge-based systems. The temporal logic we consider is especially suitable for modelling events with different rates and/or scales of progress. The methodology includes an approach to the representation of timing systems, a method used for representing facts and rules in a knowledge-based system that involve multiple time granularities using temporal logic, and several deductive reasoning techniques.

Keywords.

Multiple granularity of time temporal logics temporal knowledge representation 

Mathematics Subject Classification (2000).

68T30 68T27 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2008

Authors and Affiliations

  • Mehmet A. Orgun
    • 1
  • Chuchang Liu
    • 2
  • Abhaya C. Nayak
    • 1
  1. 1.Department of ComputingMacquarie UniversitySydneyAustralia
  2. 2.C3I DivisionDefence Science and Technology OrganisationEdinburghAustralia

Personalised recommendations