Knowledge set theory: a knowledge representation method based on extenics

2013 ◽  
Author(s):  
Haifeng Li
Keyword(s):  
Knowledge Representation ◽  
Set Theory ◽  
Knowledge Set ◽  
Representation Method

Dynamic Knowledge Representation as a Formalization Conveyor for Manmade Systems With Useful Impulse

2018 ◽  
pp. 270-285
Author(s):  
Andrey Naumov ◽  
Ilya Popov ◽  
Igor Bondarenko ◽  
Boris Krylov ◽  
Roman Timonin ◽  
...  
Keyword(s):  
Knowledge Representation ◽  
Database Management ◽  
Structural Similarity ◽  
Management Tools ◽  
Underlying Theory ◽  
Representation Method

Many manmade systems, from tea clippers to banking database management tools, exhibit an important common feature that a useful impulse is produced and functionates in them, being affected by favorable or unfavorable circumstances. While some of these systems are highly formalized, others remain operated or investigated quite intuitively. Their structural similarity urges one to think of conveying of experience of formalization from most to least formalized systems, but this process itself needs formal grounds to avoid the errors of inadequate formalization. In this chapter, a solution in the dynamic knowledge representation method and underlying theory of multitudes are sought.

3110 A knowledge representation method based on case grammar classification and knowledge templates

2007 ◽  
Vol 2007.17 (0) ◽  
pp. 286-287
Author(s):  
Aki SUGIYAMA ◽  
Ryo SUZUKI ◽  
Masatoshi NAKANISHI ◽  
Yoshiki SHIMOMURA ◽  
Masaharu YOSHIOKA ◽  
...  
Keyword(s):  
Knowledge Representation ◽  
Case Grammar ◽  
Representation Method

Knowledge Representation for Computer-Aided Planning of Controlled Clinical Trials: the PATriCIa Project

1997 ◽  
Vol 36 (03) ◽  
pp. 172-178 ◽  
Author(s):  
U. Haag
Keyword(s):  
Clinical Trials ◽  
Knowledge Representation ◽  
Formal Representation ◽  
Controlled Clinical Trials ◽  
Knowledge Based ◽  
Study Protocols ◽  
Representation Method ◽  
Computer Aided Planning ◽  
Research Structure

The main thesis of the PATriCIa project is that a knowledge-based system can provide efficient and reliable support for biometricians as well as physicians involved in planning of controlled clinical trials, resulting in a higher quality of medical research. Structure and contents of study protocols are analyzed, and an object-oriented method for formally representing biometric knowledge is proposed. A study protocol can be generated from this formal representation. The programming language Prolog is used to realize the system based on a blackboard architecture. It is concluded that the knowledge representation method developed in the PATriCIa project is well suited for the purpose of generating study protocols for controlled clinical trials.

Qualitative and Quantitative Formalisms for Knowledge Representation in the Theory of Multitudes

2018 ◽  
pp. 32-75 ◽  
Author(s):  
Cyril Pshenichny
Keyword(s):  
Knowledge Representation ◽  
Set Theory ◽  
Formal Method ◽  
Expert Knowledge ◽  
Logical System ◽  
Qualitative And Quantitative ◽  
The World

The theory of multitudes pretends to be an alternative to virtually all existing versions of the set theory and claims to better handle the knowledge about changing and evolving world. Then, by analogy, one may expect an original logical system based on the theory of multitudes, and within this logic, an authentic calculus. This chapter presents such calculus. Moreover, a new mathematical methodology can be developed on top of it, which together with the underlying logic, should clearly separate qualitative and quantitative, static and dynamic concerns and offer a formal method to proceed from representation of expert knowledge to modeling the world this knowledge is about.

Sign in / Sign up

Export Citation Format

Share Document