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 条
  • [1] Prospects of Using Temporal Logics for Knowledge Management
    Mach-Krol, Maria
    ADVANCES IN BUSINESS ICT, 2014, 257 : 41 - 52
  • [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