Perspectives of Using Temporal Logics for Knowledge Management

被引:0
|
作者
Mach-Krol, Maria [1 ]
机构
[1] Univ Econ, PL-40287 Katowice, Poland
来源
2012 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS) | 2012年
关键词
knowledge management; computer system; temporal logic;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The paper concerns the possibility of using temporal logics for knowledge management. The idea of knowledge management is presented, along with the most typical computer solutions for this area. The temporal aspect of knowledge management is pointed out. Having in mind this temporal aspect, the paper presents possible advantages of extending knowledge representation for knowledge management with temporal formalisms.
引用
收藏
页码:935 / 938
页数:4
相关论文
共 50 条
  • [21] Model checking temporal logics of knowledge via OBDDs1
    Su, Kaile
    Sattar, Abdul
    Luo, Xiangyu
    COMPUTER JOURNAL, 2007, 50 (04): : 403 - 420
  • [22] Integrating Perspectives of Knowledge Management
    Ramos, Joana
    Santana, Silvina
    IFKAD - KCWS 2012: 7TH INTERNATIONAL FORUM ON KNOWLEDGE ASSET DYNAMICS, 5TH KNOWLEDGE CITIES WORLD SUMMIT: KNOWLEDGE, INNOVATION AND SUSTAINABILITY: INTEGRATING MICRO & MACRO PERSPECTIVES, 2012, : 1116 - 1131
  • [23] Expect the unexpected New perspectives on uncertainty management and value logics in event management
    Ellert, Guido
    Schafmeister, Guido
    Wawrzinek, David
    Gassner, Heike
    INTERNATIONAL JOURNAL OF EVENT AND FESTIVAL MANAGEMENT, 2015, 6 (01) : 54 - 72
  • [24] TEMPORAL CONVERGENCE FOR KNOWLEDGE MANAGEMENT
    Martin, Christopher Phillip
    Philp, Wayne
    Hall, William P.
    AUSTRALASIAN JOURNAL OF INFORMATION SYSTEMS, 2009, 15 (02) : 133 - 148
  • [25] Justification logics, logics of knowledge, and conservativity
    Fitting, Melvin
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2008, 53 (1-4) : 153 - 167
  • [26] Justification logics, logics of knowledge, and conservativity
    Melvin Fitting
    Annals of Mathematics and Artificial Intelligence, 2008, 53 : 153 - 167
  • [27] Representing a robotic domain using temporal description logics
    Artale, A
    Franconi, E
    AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1999, 13 (02): : 105 - 117
  • [28] Representing a robotic domain using temporal description logics
    Artale, Alessandro
    Franconi, Enrico
    Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM, 1999, 13 (02): : 105 - 117
  • [29] Knowledge, profession and management - Knowledge perspectives of management in Norwegian health services
    Torjesen, Dag Olaf
    TIDSSKRIFT FOR SAMFUNNSFORSKNING, 2007, 48 (02): : 275 - 290
  • [30] Representing and reasoning fuzzy spatio-temporal knowledge with description logics: A survey
    Cheng, Haitao
    Wang, Ruchuan
    Li, Peng
    Xu, He
    INTELLIGENT DATA ANALYSIS, 2019, 23 : S113 - S132