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 条
  • [1] Perspectives of Using Temporal Logics for Knowledge Management
    Mach-Krol, Maria
    2012 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2012, : 935 - 938
  • [2] Resolution for temporal logics of knowledge
    Dixon, C
    Fisher, M
    Wooldridge, M
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 345 - 372
  • [3] Using temporal logics of knowledge for specification and verification - A case study
    Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, United Kingdom
    J. Appl. Logic, 2006, 1 (50-78):
  • [4] Using temporal logics to express search control knowledge for planning
    Bacchus, F
    Kabanza, F
    ARTIFICIAL INTELLIGENCE, 2000, 116 (1-2) : 123 - 191
  • [5] Using temporal logics of knowledge in the formal verification of security protocols
    Dixon, C
    Gago, MCF
    Fisher, M
    van der Hoek, W
    11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2004, : 148 - 151
  • [6] Temporal Logics of Knowledge and their Applications in Security
    Dixon, Clare
    Fernandez Gago, Mari-Carmen
    Fisher, Michael
    van der Hoek, Wiebe
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 186 : 27 - 42
  • [7] Sequent calculi for temporal logics of common knowledge and belief
    Sakalauskaite, R
    INFORMATICA, 2006, 17 (01) : 85 - 94
  • [8] Model checking temporal logics of knowledge in distributed systems
    Su, K
    PROCEEDING OF THE NINETEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE SIXTEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2004, : 98 - 103
  • [9] Model checking temporal logics of knowledge via OBDDs
    Su, Kaile
    Sattar, Abdul
    Luo, Xiangyu
    Computer Journal, 2007, 50 (04): : 403 - 420
  • [10] Mining Hyperproperties using Temporal Logics
    Bartocci, Ezio
    Mateis, Cristinel
    Nesterini, Eleonora
    Nickovic, Dejan
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2023, 22 (05)
12345