Prospects of Using Temporal Logics for Knowledge Management

被引：1
|
作者：
Mach-Krol, Maria [1 ]
机构：
[1] Univ Econ, Katowice, Poland
来源：
ADVANCES IN BUSINESS ICT | 2014年 / 257卷
关键词：
knowledge management; computer system; temporal logic; TAL language;
D O I：
10.1007/978-3-319-03677-9_3
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：41 / 52
页数：12
相关论文
共 50 条
  • [31] 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
  • [32] Temporal Logics of Agency
    van Benthem J.
    Pacuit E.
    Journal of Logic, Language and Information, 2010, 19 (4) : 389 - 393
  • [33] MANAGEMENT INFORMATION AND JUDICIAL KNOWLEDGE: prospects and challenges
    Pimenta Ferretti, Jose Roberto
    Alvares, Lilian
    INFORMACAO & SOCIEDADE-ESTUDOS, 2015, 25 (02) : 19 - 28
  • [34] Annotated temporal logics Δ*τ
    Abe, JM
    Akama, S
    ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1952 : 217 - 226
  • [35] TEMPORAL LOGICS FOR CCS
    STIRLING, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 354 : 660 - 672
  • [36] TEMPORAL LOGICS FOR GAMES
    Aceto, Luca
    Laroussinie, Francois
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2010, (100): : 79 - 98
  • [37] Integrating temporal logics
    Chen, YF
    Liu, ZM
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 402 - 420
  • [38] On Logics of Knowledge and Belief
    Robert Stalnaker
    Philosophical Studies, 2006, 128 : 169 - 199
  • [39] On logics of knowledge and belief
    Stalnaker, R
    PHILOSOPHICAL STUDIES, 2006, 128 (01) : 169 - 199
  • [40] Representation of isomeric knowledge on management decision problem based on description logics
    Wang, Su-Fen
    Yang, Bao-An
    Feng, Jun-Kang
    Kongzhi yu Juece/Control and Decision, 2006, 21 (04): : 462 - 465
12345