Methods of identifying logical connections between parts of text documents

Метою роботи є створення формального опису способів виявлення логічних зв’язків між частинами тексів. Одним із засобів лінгвістичного аналізу текстової інформації та екстракції знань є логіко-лінгвістичні моделі. Довільний текст можна представити у вигляді масиву логіко-лінгвістичних моделей речень природної мови, логічні операції та структурні компоненти яких вказують на типи логічних зв’язків. Пропонується для відображення структури тексту використовувати формальний опис п’яти абстрактних моделей, що в подальшому дають можливість визначити тематику тексту.The objection of work is creation a formal specification of methods of identifying logical connections between parts of texts. One of the means of text information linguistic analysis and knowledge extraction is logic and linguistic model. Any text can be presented as array of logic and linguistic models of natural language sentences, where logic operations and structural components indicate the types of logical relationships. There are two levels while constructing the text. The first level reflects the grammar links between the natural language sentences, and the second one is in content relationships between fragments of text. Exactly the construction of the second level is proposed to be used for formal description of five abstract models. For that purpose, every natural language sentence transforms into logic and linguistic model, which is an atomic predicate for the simple sentence and, correspondingly, set of atomic predicates for the complex sentence. The first abstract model is based on the consistent deployment of information when the object of the preceding sentence becomes subject for the next sentence. For the second abstract model the key point is usage of the same subject in a few natural language sentences, and within these sentences subject is represented in different interpretations. The third model is based on the fact that the subjects of logic and linguistic models of the next natural language sentences are hyperons or conversives in relation to the subject of the first sentence of text fragment. For the fourth abstract model the subject of the first sentence is partly the subject for all the next sentences. In the fifth model the subjects of the next sentences can be both objects and matters of the first sentence and its subject. The result of the construction of such abstract models are polyhedrons that subsequently used to determine the texts’ subject (topic)

Analysis criteria of logic and linguistic models of natural language sentences

Для здійснення змістовного аналізу електронних текстових документів запропоновано використовувати формальні логіко-лінгвістичні моделі. Метою статті є опис критеріїв аналізу формальних моделей, що здатні відображати зміст речень природної мови та формуються з використанням математичного апарату логіки предикатів. Описані критерії аналізу логіко-лінгвістичних моделей необхідні для побудови формальних моделей електронних текстових документів.The article describes the main text models used today as a tool for content processing electronic text documents. To make a content analysis author proposes to use formal logic and linguistic models, which are based on functional relationships between the principal and subordinate parts of natural language sentences. The article is to describe the criteria for analysis of formal models that can reflect the content of natural language sentences and which are formed using mathematical tools of predicate logic. For this purpose, the study researches principles of construction of logic and linguistic models of natural language sentences and formulates four criteria of analysis. First criterion analyzes the number of simple predicates in logic and linguistic model that helps to identify information about the type and composition of natural language sentences. The second criterion analyzes potency of set of predicate variables and constants of logic and linguistic model, which affects the number of simple predicates and identifies the type of individual forms of logic and linguistic model. The third criterion focuses on the analysis of logical operations that used in logic and linguistic model. That makes it possible to analyze the sequence of considerations referred to the natural language sentence. The forth criterion examines the presence of identical components in logic and linguistic models of natural language sentences from different sets of predicate variables and constants. Described analysis criteria of logic and linguistic models required to build formal models of electronic text documents using the mathematical apparatus of predicate logic

Аналіз і синтез логіко-лінгвістичних моделей речень природної мови

Надано класифікацію окремих форм логіко-лінгвістичних моделей, що адаптовані до певного типу речень природної мови. Запропоновано алгоритм побудови логіко-лінгвістичної моделі електронного текстового документу. Сформульовано основні принципи та правила синтезу, на яких базується побудова формальної логіко-лінгвістичної моделі електронного текстового документу, описані абстрактні моделі логічних зв’язків між частинами текстових документів. Сформульовано критерії аналізу та умови тотожності логіко-лінгвістичних моделей простих речень природної мови. Описано структуру інформаційної технології порівняльного аналізу електронних текстових документів за змістом. Усі наведені результати належать автору особисто. Для студентів та науковців, які спеціалізуються в галузі інформаційного пошуку, комп’ютерної лінгвістики та інших сферах інформаційних технологій, де необхідною є автоматична обробка текстової інформації

Principles of Security and Trust

This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems

Bertsobot: gizaki-robot arteko komunikazio eta elkarrekintzarako portaerak

216 p.Bertsobot: Robot-Portaerak Gizaki-Robot Arteko Komunikazio eta ElkarrekintzanBertsotan aritzeko gaitasuna erakutsiko duen robot autonomoa garatzeada gure ikerketa-lanaren helburu behinena. Bere egitekoa, bertsoa osatzekoinstrukzioak ahoz jaso, hauek prozesatu eta ahalik eta bertsorik egokienaosatu eta kantatzea litzateke, bertsolarien oholtza gaineko adierazkortasunmaila erakutsiz gorputzarekin. Robot-bertsolariak, gizaki eta roboten artekoelkarrekintza eta komunikazioan aurrera egiteko modua jarri nahi luke, lengoaianaturala erabiliz robot-gizaki arteko bi noranzkoko komunikazioan