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 条
  • [41] Two knowledge perspectives to growth management
    Laihonen, Harri
    Lönnqvist, Antti
    Metsälä, Juha
    VINE, 2015, 45 (04): : 473 - 494
  • [42] MANAGING KNOWLEDGE MANAGEMENT THROUGH STRATEGIC MANAGEMENT PERSPECTIVES
    Ahmad, Abd. Rahman
    Idris, Mohammad Talha Mohamed
    INNOVATION AND KNOWLEDGE MANAGEMENT IN BUSINESS GLOBALIZATION: THEORY & PRACTICE, VOLS 1 AND 2, 2008, : 1295 - +
  • [43] On Logics of Knowledge and Belief
    Robert Stalnaker
    Philosophical Studies, 2006, 128 : 169 - 199
  • [44] On logics of knowledge and belief
    Stalnaker, R
    PHILOSOPHICAL STUDIES, 2006, 128 (01) : 169 - 199
  • [45] 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
  • [46] Model Checking Concurrent Recursive Programs Using Temporal Logics
    Mennicke, Roy
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 438 - 450
  • [47] PERSPECTIVES FOR USING LIGHT QUALITY KNOWLEDGE AS AN ADVANCED ECOPHYSIOLOGICAL WEED MANAGEMENT TOOL
    Merotto Jr, A.
    Fischer, A. J.
    Vidal, R. A.
    PLANTA DANINHA, 2009, 27 (02) : 407 - 419
  • [48] Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: Completeness and decidability
    J. Sakalauskaitė
    Lithuanian Mathematical Journal, 2007, 47 : 266 - 276
  • [49] Sequent calculi for branching time temporal logics of knowledge and belief with awareness: Completeness and decidability
    Sakalauskaite, J.
    LITHUANIAN MATHEMATICAL JOURNAL, 2007, 47 (03) : 266 - 276
  • [50] Temporal management using relative time in knowledge-based process control
    Knight, B
    Ma, JX
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1997, 10 (03) : 269 - 280
12345