Зображення обкладинки

Formal-logical approach to building analysis systems of knowledge in different domains

We proposed a formal statement of the problem of knowledge extraction from natural language objects. For manipulation, analysis and transformation of texts the notion of an algebraic system of list structures is introduced. For presentation and storage of semantic networks it is offered to use reali...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2026
Автори:	Palagin, O.V., Kryvyi, S.L., Bibikov, D.S., Velychko, V.Yu., Markov, K., Ivanova, K., Mitov, I.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 51.681.3
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/926
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

The algebro-logical approach to the analysis and processing of the text information
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)

Development and substantiation of algorithms based on semantic properties
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2025)

On incompatibility of a nonlinear equations over set of natural numbers
за авторством: Krivoi, S.L., та інші
Опубліковано: (2015)

Verification of programs: status, problems and experimental results. I
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Verification of programs: status, problems and experimental results. II
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
за авторством: Maksymets, O.M.
Опубліковано: (2015)

Parallel Computations with Large-scale Air Pollution Models
за авторством: Dimov, I., та інші
Опубліковано: (2015)

Model of the "department" ecosystem
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2024)

Encryption system based on abelian groups and rings
за авторством: Kryvyi, S.L.
Опубліковано: (2020)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)

Software model of genetic optimizer for regular neural networks in LabVIEW
за авторством: Zherebko, V.A.
Опубліковано: (2025)

Developing software model of neural network PID controller in LabVIEW
за авторством: Zherebko, V.A., та інші
Опубліковано: (2025)

Methodical support of adaptive regulator design by software of LabVIEW
за авторством: Zherebko, V.A., та інші
Опубліковано: (2026)

About one technique for forming an object representation of relational data
за авторством: Likhatsky, I.A.
Опубліковано: (2025)

Symbolic computation system for dynamical application programming
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

About relational-object mapping technique
за авторством: Lihatsky, I.A.
Опубліковано: (2025)

Algebraic automata specification of common and distributed memory parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

The origin and interpretation of Kleene three-valued logics
за авторством: Shishatska, O.V.
Опубліковано: (2026)

Relations of logical consequence in composition nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)

Formalized design and synthesis of parallel programs for videographic shortcuts
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)

Итеративный подход к анализу естественно-языковых текстов: логический аспект
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2015)

Formal description of the types and - data structures mixed programmes
за авторством: Stenyashin, A.Yu.
Опубліковано: (2025)

Designing and program implementation of the subsystem for creation and use of the ontological knowledge base of the scientific employee publications
за авторством: Palagin, O.V., та інші
Опубліковано: (2018)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

About one approach to automatic creation of formal queries to ontological knowledge bases
за авторством: Palagin, O.V., та інші
Опубліковано: (2024)

Using ontological knowledge in recommender systems
за авторством: Rogushina, J.V.
Опубліковано: (2025)

-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2015)

Using of ontological models for formalized knowledge assessment
за авторством: Ya. Hladun, та інші
Опубліковано: (2019)

Recursive queries in SQL: samples, intensional and formal semantics
за авторством: Buy, D.B., та інші
Опубліковано: (2026)

Semantic properties of composition nominative modal logics
за авторством: Shkilnyak, O.S.
Опубліковано: (2026)

Approach to building factories of student programs
за авторством: Aronov, A.A., та інші
Опубліковано: (2025)

Compositional-nominative modal logics of the functional-equational level
за авторством: Shkilniak, O.S.
Опубліковано: (2026)

Compositional logics of nominative data
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)

The argument theory: formal contra informal logic
за авторством: I. S. Matviienko
Опубліковано: (2020)

The argument theory: formal contra informal logic
за авторством: I. S. Matviienko
Опубліковано: (2020)

The logic of verification of knowledge in the arguments of neopositivism
за авторством: L. H. Komakha
Опубліковано: (2015)