Formal Representation of Knowledge for Infocommunication Computerized Training Systems

被引：0

作者：

Shubin, Igor ^{[1
]}

Kyrychenko, Iryna ^{[1
]}

Goncharov, Petr ^{[1
]}

Snisar, Stanislav ^{[1
]}

机构：

[1] Kharkiv Natl Univ Radioelect, Dept Software Engn, Kharkov, Ukraine

来源：

2017 4TH INTERNATIONAL SCIENTIFIC-PRACTICAL CONFERENCE PROBLEMS OF INFOCOMMUNICATIONS-SCIENCE AND TECHNOLOGY (PIC S&T) | 2017年

关键词：

adaptation; adaptive hypermedia; adaptive learning system; infocommunication training system; user's model; hyperdocument; minimization; DNF; CDNF;

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Various questions of creation of integrated development environment for infocommunication training systems are considered in the given paper. The information technologies and algebra of finite predicates that can be used for creating of the integrated development environment are described. Different aspects of minimization of formulas of algebra of finite predicates realization of such systems are analyzed. Some ways to improve the efficiency and quality of learning process with computer training systems for distance education are pointed out.

引用

页码：287 / 291

页数：5

共 50 条

[1] FORMAL APPARATUS FOR KNOWLEDGE REPRESENTATION BASED ON POST PRODUCTION SYSTEMS
TARASOV, OV
CYBERNETICS AND SYSTEMS ANALYSIS, 1992, 28 (01) : 18 - 25
[2] Formal Languages Generation in Systems of Knowledge Representation Based on Stratified Graphs
Danciulescu, Daniela
INFORMATICA, 2015, 26 (03) : 407 - 417
[3] THE PROBLEM OF JUSTIFICATION IN FORMAL KNOWLEDGE REPRESENTATION
Kovalyov, Sergei P.
Rodin, Andrei, V
VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2018, 46 : 22 - 29
[4] KNOWLEDGE REPRESENTATION TOPOLOGICAL MODELS FOR COMPUTERIZED SYNTHESIS OF RESOURCE-SAVING CHEMICOTECHNOLOGICAL SYSTEMS
KAFAROV, VV
MESHALKIN, VP
DOKLADY AKADEMII NAUK SSSR, 1987, 293 (04): : 933 - 937
[5] FORMAL CONCEPT ANALYSIS - KNOWLEDGE REPRESENTATION - TRANSLATIONS
Boroch, Robert
ROCZNIKI HUMANISTYCZNE, 2013, 61 (06): : 121 - 154
[6] Formal ontology, conceptual analysis and knowledge representation
Guarino, N
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1995, 43 (5-6) : 625 - 640
[7] Formal ontology, conceptual analysis and knowledge representation
Int J Hum Comput Stud, 5-6 (625):
[8] Representation and evaluation of hierarchical knowledge in formal ontologies
Zhang, CX
2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 324 - 329
[9] Knowledge representation and processing with formal concept analysis
Kuznetsov, Sergei O.
Poelmans, Jonas
WILEY INTERDISCIPLINARY REVIEWS-DATA MINING AND KNOWLEDGE DISCOVERY, 2013, 3 (03) : 200 - 215
[10] Some problems in the formal representation of hierarchical knowledge
Jones, DM
Paton, RC
FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 1998, 46 : 135 - 147

← 1 2 3 4 5 →