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

Mehmet A. Orgun; Chuchang Liu; Abhaya C. Nayak

doi:10.1109/IRI.2006.252422

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

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

7 Citations (Scopus)

56 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 language	English
Title of host publication	Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006
Editors	Du Zhang, Taghi M. Khoshgoftaar, James B. D. Joshi
Place of Publication	Piscataway, NJ
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	256-261
Number of pages	6
ISBN (Print)	0780397886, 9780780397880
DOIs	https://doi.org/10.1109/IRI.2006.252422
Publication status	Published - 2006
Event	2006 IEEE International Conference on Information Reuse and Integration, IRI-2006 - Waikoloa Village, HI, United States Duration: 16 Sept 2006 → 18 Sept 2006

Other

Other	2006 IEEE International Conference on Information Reuse and Integration, IRI-2006
Country/Territory	United States
City	Waikoloa Village, HI
Period	16/09/06 → 18/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.

Access to Document

10.1109/IRI.2006.252422

Publisher version (open access).pdfFinal published version, 201 KB

Cite this

Orgun, M. A., Liu, C., & Nayak, A. C. (2006). Representation and integration of knowledge based on multiple granularity of time using temporal logic. In D. Zhang, T. M. Khoshgoftaar, & J. B. D. Joshi (Eds.), Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006 (pp. 256-261). Article 4018499 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/IRI.2006.252422

Orgun, Mehmet A. ; Liu, Chuchang ; Nayak, Abhaya C. / Representation and integration of knowledge based on multiple granularity of time using temporal logic. Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006. editor / Du Zhang ; Taghi M. Khoshgoftaar ; James B. D. Joshi. Piscataway, NJ : Institute of Electrical and Electronics Engineers (IEEE), 2006. pp. 256-261

@inproceedings{6fa65b04a11a4c09b4a139182d808e7e,

title = "Representation and integration of knowledge based on multiple granularity of time using temporal logic",

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.",

author = "Orgun, \{Mehmet A.\} and Chuchang Liu and Nayak, \{Abhaya C.\}",

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{\^a}€{\texttrademark}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.; 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006 ; Conference date: 16-09-2006 Through 18-09-2006",

year = "2006",

doi = "10.1109/IRI.2006.252422",

language = "English",

isbn = "0780397886",

pages = "256--261",

editor = "Du Zhang and Khoshgoftaar, \{Taghi M.\} and Joshi, \{James B. D.\}",

booktitle = "Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

Orgun, MA, Liu, C & Nayak, AC 2006, Representation and integration of knowledge based on multiple granularity of time using temporal logic. in D Zhang, TM Khoshgoftaar & JBD Joshi (eds), Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006., 4018499, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, NJ, pp. 256-261, 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006, Waikoloa Village, HI, United States, 16/09/06. https://doi.org/10.1109/IRI.2006.252422

Representation and integration of knowledge based on multiple granularity of time using temporal logic. / Orgun, Mehmet A.; Liu, Chuchang; Nayak, Abhaya C.
Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006. ed. / Du Zhang; Taghi M. Khoshgoftaar; James B. D. Joshi. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2006. p. 256-261 4018499.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

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

AU - Orgun, Mehmet A.

AU - Liu, Chuchang

AU - Nayak, Abhaya C.

N1 - 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.

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/34547430982

U2 - 10.1109/IRI.2006.252422

DO - 10.1109/IRI.2006.252422

M3 - Conference proceeding contribution

AN - SCOPUS:34547430982

SN - 0780397886

SN - 9780780397880

SP - 256

EP - 261

BT - Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006

A2 - Zhang, Du

A2 - Khoshgoftaar, Taghi M.

A2 - Joshi, James B. D.

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Piscataway, NJ

T2 - 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006

Y2 - 16 September 2006 through 18 September 2006

ER -

Orgun MA, Liu C, Nayak AC. Representation and integration of knowledge based on multiple granularity of time using temporal logic. In Zhang D, Khoshgoftaar TM, Joshi JBD, editors, Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, IRI-2006. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE). 2006. p. 256-261. 4018499 doi: 10.1109/IRI.2006.252422

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

Abstract

Other

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this