Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2026
Main Authors:	Palagin, O.V., Kryvyi, S.L., Bibikov, D.S., Velychko, V.Yu., Markov, K., Ivanova, K., Mitov, I.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 51.681.3
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/926
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

The algebro-logical approach to the analysis and processing of the text information
by: Palagin, O.V., et al.
Published: (2026)

Development and substantiation of algorithms based on semantic properties
by: Kryvyi, S.L., et al.
Published: (2025)

On incompatibility of a nonlinear equations over set of natural numbers
by: Krivoi, S.L., et al.
Published: (2015)

Verification of programs: status, problems and experimental results. I
by: Maksymets, A.N.
Published: (2025)

Verification of programs: status, problems and experimental results. II
by: Maksymets, A.N.
Published: (2025)

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
by: Maksymets, O.M.
Published: (2015)

Parallel Computations with Large-scale Air Pollution Models
by: Dimov, I., et al.
Published: (2015)

Model of the "department" ecosystem
by: Kryvyi, S.L., et al.
Published: (2024)

Encryption system based on abelian groups and rings
by: Kryvyi, S.L.
Published: (2020)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2026)

Software model of genetic optimizer for regular neural networks in LabVIEW
by: Zherebko, V.A.
Published: (2025)

Developing software model of neural network PID controller in LabVIEW
by: Zherebko, V.A., et al.
Published: (2025)

Methodical support of adaptive regulator design by software of LabVIEW
by: Zherebko, V.A., et al.
Published: (2026)

About one technique for forming an object representation of relational data
by: Likhatsky, I.A.
Published: (2025)

Symbolic computation system for dynamical application programming
by: Doroshenko, A.Yu., et al.
Published: (2015)

About relational-object mapping technique
by: Lihatsky, I.A.
Published: (2025)

Algebraic automata specification of common and distributed memory parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2015)

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

The origin and interpretation of Kleene three-valued logics
by: Shishatska, O.V.
Published: (2026)

Relations of logical consequence in composition nominative logics
by: Shkilnyak, S.S.
Published: (2025)

Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
by: Berezovsky, K.A., et al.
Published: (2026)

Итеративный подход к анализу естественно-языковых текстов: логический аспект
by: Kryvyi, S.L., et al.
Published: (2015)

Formal description of the types and - data structures mixed programmes
by: Stenyashin, A.Yu.
Published: (2025)

Designing and program implementation of the subsystem for creation and use of the ontological knowledge base of the scientific employee publications
by: Palagin, O.V., et al.
Published: (2018)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)

Using ontological knowledge in recommender systems
by: Rogushina, J.V.
Published: (2025)

About one approach to automatic creation of formal queries to ontological knowledge bases
by: Palagin, O.V., et al.
Published: (2024)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2015)

Recursive queries in SQL: samples, intensional and formal semantics
by: Buy, D.B., et al.
Published: (2026)

Using of ontological models for formalized knowledge assessment
by: Ya. Hladun, et al.
Published: (2019)

Semantic properties of composition nominative modal logics
by: Shkilnyak, O.S.
Published: (2026)

Approach to building factories of student programs
by: Aronov, A.A., et al.
Published: (2025)

Compositional-nominative modal logics of the functional-equational level
by: Shkilniak, O.S.
Published: (2026)

Compositional logics of nominative data
by: Nikitchenko, M.S., et al.
Published: (2015)

The argument theory: formal contra informal logic
by: I. S. Matviienko
Published: (2020)

The argument theory: formal contra informal logic
by: I. S. Matviienko
Published: (2020)

The logic of verification of knowledge in the arguments of neopositivism
by: L. H. Komakha
Published: (2015)