The paper considers the problem of building of the transformable object-relation mapping. It is offered to receive the decision by a semantic method in case of which the formal models of object ...system and relational system are considered and their interpretations are set. The transformation mappings are considered as a kind of mappings saving interpretations of the given form. Creation of model of converting of data objects on the basis of applicative computing systems is offered. On this basis the models can be received allow compositions of means of converting and also determination and check of global restrictions for the changes of data determined by the given set of methods of converting. Achievement of flexibility requires use parametrization of the considered construction.
The paper considers the approach to solving the task of storing data in the Web environment using semantic networks (SN). The control over the access to SN is identified as a critical task. An ...approach to the solution based on the use of the controlling SN is proposed. The rationale for the approach involves developing a computational model for supporting the access operations. The construction of a model based on intensional logic is proposed. The basic logical constructions, necessary for building a model, are considered. The testing of the model’s constructions was performed when building the tools of semantic support for the implementation of the best available technologies (BAT).
The paper considers the approach to solving the problem of preventing the information system vulnerability that arises due to the insertion and / or performance of a semantically incorrect script ...(XSS-vulnerability). The solution of this task suggests modelling the information exchange between active objects. Modelling is supposed to be carried out within the framework of the basic applicative computing system, in which the code fragments can be modelled by applicative objects. An important part of the task is to check the correctness of the scenarios composition, which requires the tools make compositional thinking about data flows, both when they are processed by scripts and contain them. The correctness is proposed to be provided by supporting the fairly strong typing system that excludes incorrect combinations of scenarios. The type system is assumed to be immersed into the applicative environment. The system is proposed to be built on the basis of the homotopy type theory, which ensures, in particular, the introduction of independent and dependent types, as well as the definition of recursion and induction principles for them. Partial approbation of typing constructions is performed with the example of the problem of semantic support for the implementation of the best available technologies (BAT).
The paper considers an approach to solving the problem of supporting the similarity mechanisms of conceptual dependencies for semantic filtering of exemplar queries. The solution is based on the ...informational graphs with their structure and semantical labels. The presence of variational similarity criteria makes it possible to carry out “semantic filtering” of the retrieval of a response. The set of criteria is given. The criteria can be extended for treating the similarity of frame representing graphs.
The paper considers the problem of visualizing heterogeneous information relevant to the solution of a particular problem domain. An essential part of the task is to get the conversion of data ...objects doing their representation adjusted for the corresponding data model. Creation of model of converting of data objects is offered on the basis of applicative computing systems. Achievement of flexibility requires the parametrization of the considered construction, i.e. support of dependence of a set of available methods of interpretation on parameters as which semantic characteristics of processed data appear. The methods of working with interpretation coordination tools have been partially tested when implementing various applications for informational support for the implementation of the best available technologies (BAT).
Computational activity is now recognized as a natural science, and computational and information processes have been discovered in the deep structures of many areas. Computations in the natural world ...were present long before the invention of computers, but a remarkable shift in understanding its fundamental nature occurs, in fact, before our eyes. The present moment, in fact, is a transition from the concept of computer science as an artificial science to the understanding that information processes are abundant in nature. Computing is recognized as a natural science that studies natural and artificial information processes.
In everyday computing, operations are performed on the individual generators, with little attention paid to their internal structure. However, many common operations consist of more primitive constructions connected by a combination mode. The interaction of information processes and corresponding structures is carried out in an environment of “applicative interaction”, their applications to each other, and the study of the properties of this environment allows us to understand the nature of the computations.
In the present work, the main attention is paid to elucidating the technological features of computations with individual generators, or objects. Their interaction is considered in an applicative environment, which allows us to elucidate the internal structure of ordinary operations, the knowledge of which allows us to understand their properties. The choice of initial constant generators, considered as generic ones and expressed by combinators, is discussed. These initial generators are used as the main “building blocks” that occur within the larger blocks of the applicative environment in interaction with each other. As a result of the interaction, constructions arise that give representative sets of ordinary operators and embedded computing systems.
Computationally inspired cognitive modeling Wolfengagen, Viacheslav; Ismailova, Larisa; Kosikov, Sergey
Cognitive systems research,
January 2024, 2024-01-00, Volume:
83
Journal Article
Peer reviewed
A computational approach to cognitive modeling is proposed. The computational model is a parametric construction that takes into account cognitive stages and transitions between them. The cognitive ...model enables the idea of information processes, from their birth and appearance in a scope, evolution and canceling out their existence and disappearing from the scope. Process habitats are Lawvere’s variable domains; inter-transition is based on the notion of channeled spreading of processes.
In this paper, at a qualitative level, we mean the concept as an abstraction based on the characteristics of the perceived reality. In analytic activity, a concept is considered to be some label ...imposed on a phenomenon, which forces us to connect individual observations and perform generalizations. For convenience, it is identified with the name given to observations and events. Each concept is associated with some kind of its properties. A variable is often understood as a measured concept as a property that is associated with the concept and changes when measured. If the property does not change, then it is considered a constant. We proceed from the fact that concepts should have a mechanism for change. Under these assumptions, a two-parameter commutative diagram is constructed that connects possible worlds and property transformations. The resulting semantic map sets the framework for their variation. Thus, the regulation of the variability of the associated structure of variable concepts is achieved, which determines the possible relationships of the displaced concepts.