On cognitive informatics foundations of knowledge and formal knowledge systems

被引：0
|
作者：
Wang, Yingxu [1 ]
机构：
[1] Univ Calgary, Schulich Sch Engn, Dept Elect & Comp Engn,Int Ctr Cognit Informat, Theoret & Empir Software Engn Res Ctr, Calgary, AB T2N 1N4, Canada
来源：
PROCEEDINGS OF THE SIXTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS | 2007年
关键词：
cognitive informatics; knowledge science knowledge engineering; generic information model; knowledge creation; acquisition; manipulation; modeling; abstract levels; formal knowledge system; LRAM; HAM; OAR;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Knowledge is acquired information in forms of data, behavior, experience, and skills retained in memory through learning. This paper presents the nature of human knowledge, its mathematical model, and its manipulation by concept algebra. The taxonomy of knowledge and its hierarchical abstraction model of knowledge are investigated. Mathematical models of knowledge and its manipulation by concept algebra are developed. The theory of knowledge acquisition and the cognitive model of knowledge spaces are formally described covering the effort and complexity models of knowledge creation and acquisition. The framework of formalized knowledge systems is developed based on the analyses of formal and empirical knowledge.
引用
收藏
页码：263 / 272
页数：10
相关论文
共 50 条
  • [21] 'Formal knowledge'
    Duinker, A
    LITERARY REVIEW, 1997, 40 (03) : 380 - 380
  • [22] Preliminary Study on Knowledge Society Criteria and Indicators: A Cognitive Informatics Approach
    Hamid, Norsiah Abdul
    Zaman, Halimah Badioze
    INTERNATIONAL SYMPOSIUM OF INFORMATION TECHNOLOGY 2008, VOLS 1-4, PROCEEDINGS: COGNITIVE INFORMATICS: BRIDGING NATURAL AND ARTIFICIAL KNOWLEDGE, 2008, : 1002 - 1008
  • [23] COGNITIVE SYSTEMS, FOLK PSYCHOLOGY, AND KNOWLEDGE
    HAMLYN, DW
    COGNITION, 1981, 10 (1-3) : 115 - 118
  • [24] EXPERT SYSTEMS AND THE LIMITS OF COGNITIVE KNOWLEDGE
    LIPSCOMBE, B
    SCIENCE TECHNOLOGY & HUMAN VALUES, 1988, 13 (1-2) : 145 - 146
  • [25] Formal model for fuzzy knowledge based systems with similarities
    Vinar, Jan
    Vojtas, Peter
    Neural Network World, 2000, 10 (05) : 891 - 905
  • [26] A Knowledge Based Formal Language for Securing Information Systems
    Bai, Yun
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I, PROCEEDINGS, 2009, 5711 : 70 - 77
  • [27] Formal Representation of Knowledge for Infocommunication Computerized Training Systems
    Shubin, Igor
    Kyrychenko, Iryna
    Goncharov, Petr
    Snisar, Stanislav
    2017 4TH INTERNATIONAL SCIENTIFIC-PRACTICAL CONFERENCE PROBLEMS OF INFOCOMMUNICATIONS-SCIENCE AND TECHNOLOGY (PIC S&T), 2017, : 287 - 291
  • [28] A FORMAL MODEL FOR KNOWLEDGE-BASED SYSTEMS VERIFICATION
    LAITA, LM
    COUTO, J
    DELEDESMA, L
    MARGARIT, AF
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (09) : 769 - 786
  • [29] Nursing Informatics and the Foundation of Knowledge
    Carlson, Elizabeth A.
    ORTHOPAEDIC NURSING, 2010, 29 (02) : 142 - 142
  • [30] STUDENTS' BACKGROUND KNOWLEDGE OF INFORMATICS
    Oreski, Predrag
    Varga, Matija
    INTED2016: 10TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, 2016, : 6225 - 6234
12345