Representation and Integration of Knowledge based on Multiple Granularity of Time using Temporal Logic

M. Orgun, Chuchang Liu, Abhaya C. Nayak
{"title":"Representation and Integration of Knowledge based on Multiple Granularity of Time using Temporal Logic","authors":"M. Orgun, Chuchang Liu, Abhaya C. Nayak","doi":"10.1109/IRI.2006.252422","DOIUrl":null,"url":null,"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","PeriodicalId":402255,"journal":{"name":"2006 IEEE International Conference on Information Reuse & Integration","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 IEEE International Conference on Information Reuse & Integration","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IRI.2006.252422","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 6

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
基于多时间粒度的时间逻辑知识表示与集成
在基于知识的系统中,基于多个时间粒度的知识建模、推理和集成是很重要的,尤其是在讨论现实世界中发生的事件时。基于时间逻辑的形式化方法已经成功地应用于许多以动态变化(即系统随时间的演变)概念为中心的基于知识的系统的应用领域。本文提出了一种基于时间逻辑的方法来处理基于多时间粒度的知识。该方法包括时间系统的表示方法,用于在涉及多个时间粒度的基于知识的系统中表示事实和规则的方法,以及几种演绎推理技术
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信