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 条
  • [31] Resolution-based proof for multi-modal temporal logics of knowledge
    Dixon, C
    Fisher, M
    SEVENTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING - TIME 2000, PROCEEDINGS, 2000, : 69 - 78
  • [32] Model checking algorithm for temporal logics of knowledge in multi-agent systems
    Wu, Li-Jun
    Su, Kai-Le
    Ruan Jian Xue Bao/Journal of Software, 2004, 15 (07): : 1012 - 1020
  • [33] Quantales and temporal logics
    Moeller, Bernhard
    Hoefner, Peter
    Struth, Georg
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2006, 4019 : 263 - 277
  • [34] Timed Temporal Logics
    Bouyer, Patricia
    Laroussinie, Francois
    Markey, Nicolas
    Ouaknine, Joel
    Worrell, James
    MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10460 : 211 - 230
  • [35] Temporal Logics of Agency
    van Benthem J.
    Pacuit E.
    Journal of Logic, Language and Information, 2010, 19 (4) : 389 - 393
  • [36] Annotated temporal logics Δ*τ
    Abe, JM
    Akama, S
    ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1952 : 217 - 226
  • [37] KNOWLEDGE AND KNOWLEDGE MANAGEMENT - NEW CHALLENGES AND FUTURE PERSPECTIVES
    Popescu, Veronica Adriana
    Popescu, Gheorghe N.
    Popescu, Cristina Raluca
    EDULEARN12: 4TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2012, : 1011 - 1019
  • [38] TEMPORAL LOGICS FOR CCS
    STIRLING, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 354 : 660 - 672
  • [39] TEMPORAL LOGICS FOR GAMES
    Aceto, Luca
    Laroussinie, Francois
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2010, (100): : 79 - 98
  • [40] Integrating temporal logics
    Chen, YF
    Liu, ZM
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 402 - 420
12345