Cognitive System for Traversing the Possible Worlds with Individual Information Processes

被引:3
作者
Wolfengagen, Viacheslav [1 ]
Ismailova, Larisa [1 ]
Kosikov, Sergey [2 ]
Dohrn, Sebastian [2 ]
机构
[1] Natl Res Nucl Univ, Moscow Engn Phys Inst, Moscow 115409, Russia
[2] NAO JurInfoR, Moscow 119435, Russia
来源
BIOLOGICALLY INSPIRED COGNITIVE ARCHITECTURES 2021 | 2022年 / 1032卷
基金
俄罗斯基础研究基金会;
关键词
Possible worlds; Cognitive system; Information process; Semantic model; Functor;
D O I
10.1007/978-3-030-96993-6_67
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this work, an individual process, or for short, an individual is selected, and the "history" of its transformations is traced, depending on the scenario. Scenario is considered as the restriction imposed on the behavior of individual. States, or separate scenes, are achieved by possible worlds, and transitions between worlds are given by the relation of reachability, or evolvent. The evolvent restricts a transition from one stage of knowledge to later stages. In fact, in this work, the only preliminary work has been done to study the dynamics of the individual and a leading example is formulated. Its formulation gives rise to the induced commutative diagrams in a representative functor category. The mathematical apparatus involved is based on the variable domains and the functor category that represents them. Its purpose is to develop a certain intuition of semantic modeling, and then, if possible, to form a cognitive system. Some limited semantic models have been implemented and are undergoing further practical testing and improvement.
引用
收藏
页码:596 / 601
页数:6
相关论文
共 16 条
[1]   TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC [J].
Awodey, Steve ;
Kishida, Kohei .
REVIEW OF SYMBOLIC LOGIC, 2008, 1 (02) :146-166
[2]   A database of categories [J].
Fleming, M ;
Gunther, R ;
Rosebrugh, R .
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 35 (02) :127-135
[3]  
Gierz G., 1980, A compendium of continuous lattices, DOI DOI 10.1007/978-3-642-67678-9
[4]  
Ismailova L., 2021, Procedia Comput. Sci, V190, P324, DOI [10.1016/j.procs.2021.06.043, DOI 10.1016/J.PROCS.2021.06.043]
[5]  
Ismailova Larisa, 2021, PROCEDIA COMPUTER SC, V190, P312
[6]  
Ismailova Larisa, 2021, Procedia Computer Science, V190, P332
[7]  
Ismailova Larisa, 2021, Procedia Computer Science, V190, P317
[8]  
Johnson M, 2008, LECT NOTES COMPUT SC, V5140, P232
[9]  
Johnson Michael., 2002, ELECTRON NOTES THEOR, V61, P51
[10]  
Kosikov S., 2021, Procedia Computer Science, V190, P492, DOI [10.1016/j.procs.2021.07.001, DOI 10.1016/J.PROCS.2021.07.001]