Representation and integration of knowledge based on multiple granularity of time using temporal logic

Mehmet A. Orgun*, Chuchang Liu, Abhaya C. Nayak

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

7 Citations (Scopus)
18 Downloads (Pure)

Abstract

Modelling, 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 notion of dynamic change (that is, evolution of a system 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 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, and several deductive reasoning techniques.

Original languageEnglish
Title of host publicationProceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006
EditorsDu Zhang, Taghi M. Khoshgoftaar, James B. D. Joshi
Place of PublicationPiscataway, NJ
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages256-261
Number of pages6
ISBN (Print)0780397886, 9780780397880
DOIs
Publication statusPublished - 2006
Event2006 IEEE International Conference on Information Reuse and Integration, IRI-2006 - Waikoloa Village, HI, United States
Duration: 16 Sept 200618 Sept 2006

Other

Other2006 IEEE International Conference on Information Reuse and Integration, IRI-2006
Country/TerritoryUnited States
CityWaikoloa Village, HI
Period16/09/0618/09/06

Bibliographical note

Copyright 2006 IEEE. Reprinted from Proceedings of the 2006 IEEE International conference on information reuse and integration (IEEE IRI-2006). This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie University’s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

Fingerprint

Dive into the research topics of 'Representation and integration of knowledge based on multiple granularity of time using temporal logic'. Together they form a unique fingerprint.

Cite this