Персона:
Исмаилова, Лариса Юсифовна

Организационные подразделения

Организационная единица

Институт интеллектуальных кибернетических систем

Цель ИИКС и стратегия развития - это подготовка кадров, способных противостоять современным угрозам и вызовам, обладающих знаниями и компетенциями в области кибернетики, информационной и финансовой безопасности для решения задач разработки базового программного обеспечения, повышения защищенности критически важных информационных систем и противодействия отмыванию денег, полученных преступным путем, и финансированию терроризма.

Фамилия

Исмаилова

Имя

Лариса Юсифовна

Полная страница элемента

Результаты поиска

Теперь показываю 1 - 10 из 50

Только метаданные
Construction of Statically Verified System Interacting with User in Question-Answer Mode According to the Specification Set by the Formula of Linear Temporal Logic
(2022) Slieptsov, I.; Kosikov, S.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.The paper considers the automatic construction of information systems according to the formal specification of interaction with a user. The constructed system is provided with a proof of correctness in such a way that static verification of the compliance of the constructed system with its specification and the correctness of the construction itself is possible. The specification language is an extension of linear temporal logic, which allows the user setting the specification to set a class of possible options for the interaction of an information system with the environment and/or the user. The proposed solution is based on the implementation of the interpretive function, which checks the consistency of the specification and the interaction history at each stage.
Только метаданные
Data Enrichment with Provision of Semantic Stability
(2019) Kosikov, S. V.; Wolfengagen, V. E.; Ismailova, L. Y.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2019, Springer Nature Switzerland AG. The paper considers the problem of data enrichment, which is understood as supplying the data with semantics with further introduction of structuring. It also considers the data collected from heterogeneous sources with their subsequent organization in the form of information graphs. A data model is used in the form of a network, the framework of which is objects and relations between them. What is more, as objects, in turn, the relations can be used, and this potentially leads to higher order structures. The data connections and data dependencies are also taken into account. Providing semantic stability during the data enrichment requires solving a number of problems, among which the search for semantically unstable objects, their classification by types of instability and the identification of ways to overcome the instability. An approach is proposed to solve these problems on the basis of the homotopic type theory. Methods are considered for modifying unstable objects for types of different structures. The paper discusses the possibilities of using the results in information systems that allow to increase the “degree of cognitization” of the data and, in the long term, the transition to cognitive business.
Только метаданные
Elements of semantic analysis based on lambda-calculus
(2022) Ismailova, L.; Wolfengagen, V.; Kosikov, S.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
This paper considers the applicative computing technology (ACT), within the framework of which the semantic analysis of a number of natural language constructs is performed. The necessary elements of grammatical analysis are involved. Much first-order logical means is used, and predicate variables are necessarily used for analysis. At the same time, the advantages of higher-order systems, which include ACT, are extracted. The fact is that the semantics of a natural language is characterized by a multi-tiered nesting of grammatical structures, which conflicts with first-order logical systems.
Только метаданные
Logical-Applicative Computing Based on Type Theory
(2024) Wolfengagen, V.; Ismailova, L.; Kosikov, S.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
Только метаданные
Semantic Stabilization Tools for Managing the Cognitive Activity of the Subject
(2022) Kosikov, S.; Slieptsov, I.; Ismailova, L.; Wolfengagen, V.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.The paper considers a model of knowledge extraction based on the conceptual modeling of user interaction with a domain-oriented virtual environment. The environment is modeled as a network of information graphs that changes its structure over time. This allows us to set the task of supporting the modeling of the cognitive activity of the subject in a changing environment. The description of changes is made on the basis of a parameterized computational model using the construction of a variable domain. The paper shows that a given set of domain variables can be considered as nested in a topos, which provides a natural construction of program structures. The paper offers a tool for working with variable domains, which provides the task of semantically stable fragments of information graphs. The tool is a specialized applicative-type evaluator that provides computations in a changing environment. The build-up of network vertices and connections can lead to system contradictions, for the resolution of which it is necessary to include special handlers, the number of which can grow excessively. The evaluator provides a solution to the problem of managing handlers. Attempts to solve the mentioned difficulties and contradictions in practice lead to the idea of a multi-layer network architecture and semantic adapters.
Только метаданные
Representation of Conceptual Dependencies in the Domain Description Code
(2020) Slieptsov, I. O.; Kosikov, S. V.; Ismailova, L. Y.; Исмаилова, Лариса Юсифовна
© 2020, Springer Nature Switzerland AG.The paper considers the problem of representing conceptual dependencies in the domain description code with the support of their semantic integrity. It deals with the mechanisms for maintaining integrity in the course of computations in the conceptual model in two processes: (1) reduction with the provision of a given reduction strategy and (2) serialization of dependencies to provide for the transfer of dependence between various environments of computations. The paper compares the selected mechanisms and mechanisms of supporting systems of programming languages. The shortcomings of their computing systems arising from the lack of built-in mechanisms of sufficient power are analyzed. The paper considers the possibility of overcoming the existing problems. The approach to the extension of practical computing systems by the proposed possibilities (JavaScript language as an example) is investigated.
Только метаданные
A prototype system for supporting a network of information graphs with the ability to assess the nature of the subject's knowledge
(2022) Ismailova, L.; Wolfengagen, V.; Kosikov, S.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
The task of modeling a subject whose cognitive activity is directed under the influence of the information environment continues to remain relevant. The difficulties in solving this problem are due to (1) the dependence of the truth of information on time, as a result of which the subject can make decisions based on outdated information, and (2) the heterogeneous nature of the information itself, which, in particular, can be intentionally false (fake). The paper proposes a model of interaction of subjects, including the exchange of information marked both by the time of its creation (receipt) and the quality of information. The model is based on a system of interacting processes and is presented as a set of information graphs describing the stages of interaction. A system of typing graphs and their constituent elements is proposed. The composition tools that allow one to assemble complex graphs from simpler ones are presented. The paper also presents a set of tools corresponding to the proposed model. The tools include a process language interpreter that provides computation of model constructs, as well as an information graph editor, type control tools, debugging tools, and configuration management tools for the computing environment. The proposed tools have been experimentally tested in the development of application systems from the field of implementing the best available technologies.
Только метаданные
When and Where Conceptual Maths Equals to Conceptual Modeling: Reasons for Using in Cognitive Modeling
(2024) Wolfengagen, V. E.; Ismailova, L. Y.; Kosikov,S.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
Только метаданные
The applicative approach to the synthesis of a data structure with the given combinatory characteristic
(2023) Ismailova, L.; Wolfengagen, V.; Kosikov, S.; Andronov, S. I.; Исмаилова, Лариса Юсифовна; Вольфенгаген, Вячеслав Эрнстович
The paper shows that the use of a composition of objects representing a data structure, in fact, means the creation of a kind of information channels on their basis, along which the computation process spreads. In the case of applying the applicative computational technology, the computation process is started by means of the operation of applying the function object to the argument object. Two ways are presented to generate function objects — to use either lambda expressions or combinators to represent them. The first method uses an abstraction meta-operator and associated variables, which leads to the use of substitution systems with the potential for side effects. In the second method, only constant combinator objects participate in the construction of the function, and their application to the argument triggers a conversion based on rewriting rules, which does not cause a side effect. A practical solution to the problem of synthesizing a compositional data structure can be mixed, when both lambda terms and combinators are involved in the computations, which reduces the length of expressions. As a result, a data structure appears, which is composed of compositions of argument objects, equipped with a generated set of supporting function objects. © 2022 Elsevier B.V.
Только метаданные
Imposing and Superposing the Information Processes over Variable Concepts
(2021) Kosikov, S.; Wolfengagen, V.; Ismailova, L.; Вольфенгаген, Вячеслав Эрнстович; Исмаилова, Лариса Юсифовна
© 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.A conceptual basis for modeling the information process is given in the study of the features of its propagation in case of varying the determining property. The system of conceptual dependencies over variable abstract sets is used as a relativized basis for processing semantic information. Variable domains and mapping are used to control the progress of the process, as well as recognition mappings and reversal mapping of the process property. It is shown that in the representing functorial category they can be interpreted as cognitive architectures that are significant for solving semantic modeling problems. In this case, the superposition of process states can be taken into account.