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 条
  • [21] TEMPORAL CONVERGENCE FOR KNOWLEDGE MANAGEMENT
    Martin, Christopher Phillip
    Philp, Wayne
    Hall, William P.
    AUSTRALASIAN JOURNAL OF INFORMATION SYSTEMS, 2009, 15 (02) : 133 - 148
  • [22] Justification logics, logics of knowledge, and conservativity
    Melvin Fitting
    Annals of Mathematics and Artificial Intelligence, 2008, 53 : 153 - 167
  • [23] Justification logics, logics of knowledge, and conservativity
    Fitting, Melvin
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2008, 53 (1-4) : 153 - 167
  • [24] 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
  • [25] 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
  • [26] Neutrosophic logics: Prospects and problems
    Rivieccio, Umberto
    FUZZY SETS AND SYSTEMS, 2008, 159 (14) : 1860 - 1868
  • [27] 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
  • [28] 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
  • [29] 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
  • [30] Quantales and temporal logics
    Moeller, Bernhard
    Hoefner, Peter
    Struth, Georg
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2006, 4019 : 263 - 277
12345