Semantic Foundation Research Articles

Knowledge-Assisted Visualization of Multi-Level Origin-Destination Flows Using Ontologies

Origin-destination matrices help understand the movement of people within cities. This work is built upon the premise that stakeholders, e.g. decision makers, need to analyze mobility flows from spatio-temporal perspectives that are appropriate to their context of analysis. The data retrieved from sensors and Intelligent Transportation Systems are useful for this purpose due to their lower acquisition costs and fine granularity, although it is complex to use such data in an integrated way, as they might have heterogeneous representations of spatio-temporal attributes and granularities. Most of the related works on the analysis of OD flows consider matrices with a fixed spatio-temporal aggregation level, and do not explore the intrinsic issue of data heterogeneity. Herein we report our findings on building the semantic foundation of knowledge-assisted visualization tools for analyzing OD matrices from multiple stakeholder levels. We propose a set of ontology design patterns for modeling the semantics of OD data, and the relations between the spatio-temporal constructs that stakeholders ought to choose when visualizing urban mobility flows. Our approach aims to be reusable by researchers and practitioners. We describe a practical implementation using estimated flows from smart card data from Porto, Portugal.

Giving semantics to program-counter labels via secure effects

Type systems designed for information-flow control commonly use a program-counter label to track the sensitivity of the context and rule out data leakage arising from effectful computation in a sensitive context. Currently, type-system designers reason about this label informally except in security proofs, where they use ad-hoc techniques. We develop a framework based on monadic semantics for effects to give semantics to program-counter labels. This framework leads to three results about program-counter labels. First, we develop a new proof technique for noninterference, the core security theorem for information-flow control in effectful languages. Second, we unify notions of security for different types of effects, including state, exceptions, and nontermination. Finally, we formalize the folklore that program-counter labels are a lower bound on effects. We show that, while not universally true, this folklore has a good semantic foundation.

Semantics of Pictorial Space

A semantics of pictorial representation should provide an account of how pictorial signs are associated with the contents they express. Unlike the familiar semantics of spoken languages, this problem has a distinctively spatial cast for depiction. Pictures themselves are two-dimensional artifacts, and their contents take the form of pictorial spaces, perspectival arrangements of objects and properties in three dimensions. A basic challenge is to explain how pictures are associated with the particular pictorial spaces they express. Inspiration here comes from recent proposals that analyze depiction in terms of geometrical projection. In this essay, I will argue that, for a central class of pictures, the projection-based theory of depiction provides the best explanation for how pictures express pictorial spaces, while rival perceptual and resemblance theories fall short. Since the composition of pictorial space is itself the basis for all other aspects of pictorial content, the proposal provides a natural foundation for further pictorial semantics.

A comprehensive cognitive-perceptual model of analysis for contextually determined components of a conceptualized term

The authors analyze major features of complex multidisciplinary analysis models of the recipient’s perceptual capacity related to desobjectifying contextually determined transdisciplinary borrowing of newly emerging components within a semantic hierarchy. Critical analysis and comparison are applied to some alternative approaches in linguistic studies of transdisciplinary terminologization. There is a role revealed, which belongs to the cognitive-perceptual aspect in the respective knowledge field. The comprehensive phenomenon of component transgression within the meaning hierarchy is viewed from different angles: metaphoric and metonymic explication, and from the stance of conceptual integration of mental spaces and grammatical constructions of implicit meaning generation. The semantic foundations of the frame & semantic model of the borrowing theory serve a prototype of a comprehensive analytical model relevant not only in Linguistics, yet in other humanities (Literature, Psychology, Sociology). The comprehensive method of bottom-up analysis in studying explication of contextually determined overtones (forced reinterpretation of terms and terminoids) implies desobjectification of the semantic hierarchy at several levels. The analysis suggests that standard linguistic mechanisms can be employed through deautomation in the said cognitive modeling function. Reactivating a prototypical mental image within a new reflexive space is viewed as the most effective way of explicating the respective components.

СОФІСТИЧНІ ІНТЕНЦІЇ МОДЕРНОВОГО ТРАКТУВАННЯ МЕТОДІВ НАВЧАННЯ В СУЧАСНОМУ НАУКОВОМУ ДИСКУРСІ

Introduction. This paper focuses on the issue of conceptual thinking inherent in modern scientific dis-course. The idea is emphasized that in any field of pedagogical activity, the acquisition of subject knowledge and thinking skills requires an understanding of the subject content, which is considered to be a complex and methodologically im-portant task not only in secondary school instruction, but also in professional training. An equally important aspect related to the understanding and interpretation of the senses embedded in texts is the awareness of the semantic core of those concepts that form the pivotal foundation of scholarly text. It is posited that the semantic essence of concepts is always formed at the stage of their emergence in a particular field of knowledge and has to remain unchanged while it is further being evolved. Extending the foregoing, the emergence of new concepts involves their logical coordination with the semantic foundations of the conceptual system inherent in the relevant field of knowledge. Under other conditions, new concepts do not get enrooted, and the tentative to make use of them is at variance with the systemic and conventionally accepted interpretations of other concepts. Besides, it and confuses their semantic interrelations. Therefore, for each field of knowledge, the logical completeness and unambiguity of the semantic attributes of the employed concepts is essential. Purpose. This article is aimed to review the positions of the contemporary scholars in interpreting the tradi-tional concept "teaching methods". Furthermore, it illus-trates the paradoxical essence of the proposed conceptual oxymorons, and to this end, it attempts to prevent the distortion of the conceptual meanings of the established pedagogical entities. Among the employed research methods, the priority is given to “modi operandi” of content analysis, which are non-inherent in the qualitative characteristics of the pedagogical concept “teaching method”. Nonetheless, in recent decades they have been actively implanted in pedagogical discourse by budding researchers. Results. The study has analyzed the issues of conceptual thinking immanent to contemporary scientific discourse. In particular, it has concentrated on investigating the semantic dimensions of interpreting the pedagogical concept “teaching method”. In addition, it has illustrated the semantic maxims of its gradual modifications to the levels of “active”, “effective’, and “innovative”. Furthermore, the article has revealed the inaccurate and incorrect usage of the qualitative characteristics of the notion “teaching method”. Hence, it has actualized the necessity to eradicate the previously introduced conflicting concepts from a pedagogical domain in order to prevent the attempts of modifying the domestic pedagogical system in accordance with foreign educational practices. The proposed study stands out for its originality, since it presents the scholarly substantiation and multi-tudinous illustrations of the absurdity of the artificially coined and adopted qualitative characteristics of the notion “teaching method”, which are continuously employed in contemporary scientific discourse. Conclusion. On this basis, it has been summarized that in the last decade the spreading of illogical and contradictory interpretations of pedagogical concepts has caused confusion in the system of basic pedagogi-cal dominants (principles, concepts, and relations). This requires an uncompromising response from leading educationalists and scholars in order to eradicate from Pedagogy, which is a systematized field of knowledge, the imposed contradictory notions, and to prevent the attempts to modify the domestic pedagogical system to conform to foreign standards, which run counter to the pedagogical system of domestic Pedagogy. This study though far from being conclusive, yet proposes several insights into understanding the core of domestic pedagogical notions and provides implications for further research in this domain in terms of conceptual content and pedagogical entities in order to rid domestic Pedagogy of the conceptual disorder that is actively introduced by unknown "experts" into pedagogical information resources.

АВТОРСЬКЕ СВІТОБАЧЕННЯ ЛЕОПОЛЬДА БУЧКОВСЬКОГО В ПОВІСТІ «ВЕРТЕПИ»

The article reveals the features of the “dialogic” creative method of the Polish writer Leopold Buchkowski, which was formed under the influence of the polyethnic environment in the region of the Polish-Ukrainian cultural border. In the novel “Wertepy” the writer creates a polyphonic image of a “small motherland”, in which each Other is a representative of another nationality and has his own voice, which is not a subject to the author’s speech, and the dialectic of “native” and “foreign” is devoid of ethnocentric motivation and is expressed in an opposition of “local” - “non-local”. It is noted that the artistic world of Leopold Buchkovsky, which was perceived by the artist as a multinational mosaic and to which he gave his own meanings, has been completely destroyed. It is pointed out that the characteristic feature of Leopold Buchkovsky’s artistic method is the versatility and ambiguity of the ethnocultural model of the art world, which results in different reading and a wide range of interpretations of the presented material. It is noted that his works are constructed in such a way that “the reader does not always have to perceive the world according to the author’s intentions”, on the contrary, he has the opportunity to “endow it with his own hypothetical structure, see in it what he considers important and valuable.” It is stipulated that the leading themes and dominant problems of Leopold Buchkovsky’s prose are extremely philosophical and universal issues of dramatization of the fluidity of the world, ephemerality of thinking, visions, inner states, and finally memory. It is stipulated that the author’s principle determines the specificity, uniqueness and originality of the work, begins with the author’s personality, which is the semantic foundation of literature. It is noted that in L. Buchkovsky’s “Wertepy” a certain plot sequence is preserved, it is possible to notice the lack of integrity of the presented images. It is stated that the space presented in the work, in which events unfold, is always clearly defined and limited by certain frameworks. It is pointed out that the space of Leopold Buchkovsky’s work, despite its anthropocentrism and secondary nature, is marked by extraordinary picturesqueness and sensuality, which have nothing to do with artistic decoration.

The influence of the traditions of eastern art on the painting of Michael Guyda

The purpose of the article. To analyze the work of Ukrainian painter Mykhailo Huida in the context of cultural integrations of China and Ukraine in the last decades of the XX - beginning of the XXI century. as an expression of trends in contemporary art. Methodology. General scientific research methods, chronological and historical-comparative, historical-biographical, figurative-stylistic, semantic, analysis are applied. Theoretical and art terminological structures are used. The scientific novelty lies in elucidating the peculiarities of Mykhailo Huida's work and the formation of the meaningful, compositional, stylistic and aesthetic beginnings of his painting in the context of cultural integrations of China and Ukraine in the last decades of the XX - early XXI centuries. Conclusions. The peculiarities of the creative path of the Ukrainian painter Mykhailo Huida, his unique experience of work in China, which became the basis for the creation of the artist's personal artistic style, are analyzed. The study of works of art by Mikhail Guida revealed the consistent formation of features and peculiarities of his painting over the decades as a result of: a) acquaintance with the art of the East in Japan; b) stay in China, including among Chinese cultural and artistic figures; c) study the history of culture and art of China; d) deep penetration into the world of China through understanding of its nature, customs, traditions due to travel, stay in different provinces of the country, teaching in Chinese universities. The figurative and artistic content of his works reveals an innovative combination of European, including Ukrainian, and Chinese stylistics, artistic means and various linguistic methods of traditional Chinese painting. It is also important for the artist to comprehend the semantic foundations of Chinese traditional and modern art, which turned out to be in agreement with Mikhail Guidi as a person. It was found that the imagery of Mikhail Guida's painting has an internal form that embodies the image in the general structure of the subject-spiritual world. It is concluded that the involvement of the traditions of Chinese and Ukrainian art in a single work involves a philosophical understanding of the artistic heritage of both countries and their transformation into modern forms. The artist's creative path, discovering the techniques of painting in the East, enriched and elevated his work to exceptionally high standards.

Песня «Вĕç, вĕç, куккук» как феномен музыкально-поэтического творчества чувашского народа

The article examines the semantic and axiological foundations of «Fly, fly, cuckoo» – the most popular work of Chuvash song folklore. The purpose of the work is to establish the history of the song from the moment of the first recording and analyze its professional processing. The author practices a short generalized description of the most characteristic features of each artistic treatment. This approach allows to clearly feel the individual handwriting of each composer. The research results are based on comparison and generalization methods. The melody of this song inspired the Chuvash and Russian composers to create works of different genres: vocal, choral, instrumental. It is unique in terms of the number of adaptations: there are more than 30 of them – so often composers did not pay attention to any Chuvash song. The article discusses the most vivid and characteristic examples of processing the melody of a song. The author analyzes the works of S. M. Maksimov, A. G. Orlov-Shuzm, G. Khirbyu, A. Petrov, G. Anchikov, V. Bely and others. The inclusion in the educational process of such examples of folk art as the song «Fly, fly, cuckoo», and works created on this topic, contributes to an increase in the level of musical culture, the formation of respect for indigenous peoples and their traditions.

Constructing assembly design model capable of capturing and sharing semantic dynamic motion information in heterogeneous CAD systems

Over the last decades, collaborative assembly design has received much attention, which has provided fruitful results in terms of data models, knowledge-based, and top-down geometric modeling approaches, to name a few. Particularly, researchers have focused their efforts towards assembly relationships within product models, but have limited the scope to static assembly geometric description as currently stated in computer-aided design (CAD) systems. A disruptive vision is assumed in this research work, arguing that the assembly design itself presents a dynamic nature via, especially, dynamic motion. Such a paradigm shift requires an appropriate logical and semantic foundation to augment current CAD systems and data models’ capabilities with the capture of dynamic phenomena such as assembly motions and kinematic behaviors. Traditional CAD systems nowadays can handle the kinematics-related motion-related information; however, the interoperation of this motion-related information from one CAD system to the other is still a limitation of the interoperability standards. To tackle this research challenge, this paper aims at defining an original framework built upon a formal ontology to capture and share dynamic assembly motion among heterogeneous CAD systems. The formal ontology uses spatiotemporal mereotopology, which serves as a theoretical backbone to qualitatively describe the dynamic behavior of a product. This theory addresses the qualitative description of the temporal dimension over the spatial dimension of 3D objects. The proposed ontology is then enhanced to maintain semantic continuity of the spatial and temporal aspects embedded in assembly design ontology models. Built with a Web Ontology Language (OWL) data structure to interact with a CAD system and a motion visualization application, the ontology ensures the dynamic motion information capturing and sharing. SWRL (Semantic Web Rule Language) is utilized to show the semantic reasoning among the moving and non-moving parts of the product assembly. As a result, a semantic articulation ensuring flexibility and interoperability as a competitive industrial edge is demonstrated with proof of concept to be effective in a collaborative assembly design environment.

ПЕДАГОГИКАЛЫК КЕСИПКЕ ДАЯРДОО МАСЕЛЕСИНЕ АРНАЛГАН ИЗИЛДӨӨЛӨРДҮН МАҢЫЗДЫК АСПЕКТИСИ

One of the priority areas of research in the field of education is the issue of professional training of future teachers. The growing interest of researchers in this issue is associated with the emergence of special requirements for the quality of professional education. The requirements are due to the complexity of the teacher's professional activity in modern conditions, the diversity of its context, the change of communication principles, and the ambiguity of its value and semantic foundations. In accordance with this, the article examines the concept of pedagogical training in higher education and its essential aspect, and analyzes several areas of interrelated research.

Semiring programming: A semantic framework for generalized sum product problems

To solve hard problems, AI relies on a variety of disciplines such as logic, probabilistic reasoning, machine learning and mathematical programming. Although it is widely accepted that solving real-world problems requires an integration amongst these, contemporary representation methodologies offer little support for this.In an attempt to alleviate this situation, we position and motivate a new declarative programming framework in this paper. We focus on the semantical foundations in service of providing abstractions of well-known problems such as SAT, Bayesian inference, generative models, learning and convex optimization. Programs are understood in terms of first-order logic structures with semiring labels, which allows us to freely combine and integrate problems from different AI disciplines and represent non-standard problems over unbounded domains. Thus, the main thrust of this paper is to view such well-known problems through a unified lens in the hope that appropriate solver strategies (exact, approximate, portfolio or hybrid) may emerge that tackle real-world problems in a principled way.

Unifying semantic foundations for automated verification tools in Isabelle/UTP

The growing complexity and diversity of models used in the engineering of dependable systems implies that a variety of formal methods, across differing abstractions, paradigms, and presentations, must be integrated. Such an integration relies on unified semantic foundations for the various notations, and co-ordination of a variety of automated verification tools. The contribution of this paper is Isabelle/UTP, an implementation of Hoare and He's Unifying Theories of Programming, a framework for unification of formal semantics. Isabelle/UTP permits the mechanisation of computational theories for diverse paradigms, and their use in constructing formalised semantic models. These can be further applied in the development of verification tools, harnessing Isabelle's proof automation facilities. Several layers of mathematical foundations are developed, including lenses to model variables and state spaces as algebraic objects, alphabetised predicates and relations to model programs, including algebraic and axiomatic semantics, proof tools for Hoare logic and refinement calculus, and UTP theories to encode computational paradigms.

Towards Higher-order OWL

We summarize our ongoing endeavour towards proposing a suitable higher-order description logic that could serve as the semantic foundation for higher-order OWL, similarly to $$\mathcal {SROIQ}$$ serving as the semantic foundation of regular OWL.

A polymorphic RPC calculus

The RPC calculus is a simple semantic foundation for multi-tier programming languages such as Links in which located functions can be written for the client-server model. Subsequently, the typed RPC calculus is designed to capture the location information of functions by types and to drive location type-directed slicing compilations. However, the use of locations is currently limited to monomorphic ones, which is one of the gaps to overcome to put into practice the theory of RPC calculi for client-server model. This paper proposes a polymorphic RPC calculus to allow programmers to write succinct multi-tier programs using polymorphic location constructs. Then the polymorphic multi-tier programs can be automatically translated into programs only containing location constants amenable to the existing slicing compilation methods. We formulate a type system for the polymorphic RPC calculus, and prove its type soundness. Also, we design a monomorphization translation together with proofs on its type and semantic correctness for the translation.

ТЕКСТ КАК ФЕНОМЕН КУЛЬТУРЫ В ФИЛОСОФСКИХ УЧЕНИЯХ ХХ ВЕКА

Цель. В статье анализируются исторические особенности проблем текста в философии XX века как элементы структуры общества. В работе показано, что особенностью данного подхода является раскрытие сущности диалогического мышления в культуре через изучение текста как «первичной реальности» любой гуманитарной науки. Цель – рассмотрение исторических особенностей проблем текста в контексте изменения современной культурной парадигмы и ее философского осмысления.Методы. При написании работы использовались междисциплинарный, деятельностный и аксиологический подходы.Результаты. Проблемы текста рассмотрены в следующих аспектах: текст как инструмент самоидентификации и как источник аккумулятивных постижений общества. Поэтому, трактовка языка как воплощения смысложизненной интенциональности человеческой экзистенции приводит к инспирации современной парадигмы философии языка в контексте культуры постмодерна, задающей предельно широкое видение текстовой реальности. Все это и обосновывает релевантность предметной области работы, дающей также достаточно подробный анализ культурфилософских экспликаций проблемы текста в постмодернистской парадигме, а также подчеркивает актуальность избранной автором темы исследования в целом. Результаты исследования имеют как методологическое, так и мировоззренческое значение для постижения смысловых оснований культуры и проблемы взаимодействия мышления, языка и культуры в рамках лингвофилософского дискурса, когнитивной теории культуры, а также исследований в области моделирования когнитивных процессов.Область применения результатов. Текст — это сложное динамическое образование, которое для своего понимания требует от читателя не только знание языковых кодов и культурных реалий, которые позволяют раскрыть невербализуемые смыслы в тексте, но и «деятельного сотрудничества». Такой подход дает возможность выявить некоторые механизмы формирования текстовых предпочтений личности, сценариев речевого поведения, социальные факторы, обусловливающие этот персональный выбор. Поэтому, результаты исследования могут быть использованы при разработке учебных курсов по соответствующим дисциплинам: культурологии, лингвокультурологии, семиотике культуры, а также при создании учебных пособий.

Abstracting PROV provenance graphs: A validity-preserving approach

Data provenance is a structured form of metadata designed to record the activities and datasets involved in data production, as well as their dependency relationships. The PROV data model, released by the W3C in 2013, defines a schema and constraints that together provide a structural and semantic foundation for provenance. This enables the interoperable exchange of provenance between data producers and consumers. When the provenance content is sensitive and subject to disclosure restrictions, however, a way of hiding parts of the provenance in a principled way before communicating it to certain parties is required. In this paper we present a provenance abstraction operator that achieves this goal. It maps a graphical representation of a PROV document PG1 to a new abstract version PG2, ensuring that (i) PG2 is a valid PROV graph, and (ii) the dependencies that appear in PG2 are justified by those that appear in PG1. These two properties ensure that further abstraction of abstract PROV graphs is possible. A guiding principle of the work is that of minimum damage: the resultant graph is altered as little as possible, while ensuring that the two properties are maintained. The operator developed is implemented as part of a user tool, described in a separate paper, that lets owners of sensitive provenance information control the abstraction by specifying an abstraction policy.

Фразеологизмы английского языка как средство репрезентации знаний о роде занятий и профессии

The article examines the English phraseological units. The research objective includes analysing cognitive foundations of semantics of the phraseological units that contain information on occupations and professions. Scientific originality of the paper involves an analysis of linguistic material from the viewpoint of the cognitive approach, which allows identifying cognitive models of a phraseological unit formation. The findings lead to the conclusion that a phraseological unit semantics is formed according to metaphorical (ABSTRACT - PHYSICAL, ARTIFACT -ARTIFACT), metonymical (PART - WHOLE, PART - PART) and metaphtonymic cognitive models.

НІМЕЦЬКІ ЮРИДИЧНІ ТЕРМІНИ: ВІДНОВЛЕННЯ СМИСЛОВИХ ОСНОВ

The article deals with the analysis of the process of forming terminological units by means of lexis de-symbolization. The functioning of this way and its meaning for forming legal terminology is examined here. The lexical base of analysis is formed with the complex of lexis of the German legal terminological system. The objective of the current research is a multifaceted study and description of the semantic foundations of lexical units of law. The requirement to implement this objective has determined the need to solve the following research task: to investigate the process of de-symbolization of words, i. e. the transformation of words into terminological units primarily through the restoration of their semantic foundations (as exemplified by a number of German lexemes). The object of the research is the lexicon of the domain of the legal terminology of the said language. The subject of the research is the formation of legal terms as a result of the process of de-symbolization of the respective words (notions). The material involved in the study was considered from the standpoint of a systematic approach. In order to obtain objective data when determining the semantic foundations of terminological units of law, the descriptive method and the comparative one were used, as well as the method of semantic bundles (series). Examining the process of de-symbolization of lexical units makes it possible to draw the conclusion that the functioning of words in the context of certain semantic parameters determines the change in the content of those words' symbolic foundations. The words are used in a narrower sense, since they have become terms.

An Ontology-based approach to Knowledge-assisted Integration and Visualization of Urban Mobility Data

This paper proposes an ontology-based framework to support integration and visualization of data from Intelligent Transportation Systems. These activities may be technically demanding for transportation stakeholders, due to technical and human factors, and may hinder the use of visualization tools in practice. The existing ontologies do not provide the necessary semantics for integration of spatio-temporal data from such systems. Moreover, a formal representation of the components of visualization techniques and expert knowledge can leverage the development of visualization tools that facilitate data analysis. The proposed Visualization-oriented Urban Mobility Ontology (VUMO) provides a semantic foundation to knowledge-assisted visualization tools (KVTs). VUMO contains three facets that interrelate the characteristics of spatio-temporal mobility data, visualization techniques and expert knowledge. A built-in rule set leverages semantic technologies standards to infer which visualization techniques are compatible with analytical tasks, and to discover implicit relationships within integrated data. The annotation of expert knowledge encodes qualitative and quantitative feedback from domain experts that can be exploited by recommendation methods to automate part of the visualization workflow. Data from the city of Porto, Portugal were used to demonstrate practical applications of the ontology for each facet. As a foundational domain ontology, VUMO can be extended to meet the distinctiveness of a KVT.

Логіко-семантичний аспект побудови стратегій розслідування

The purpose of the article consists in revealing of those semantic foundations of investigative logic, basing on which it could be possible to define the conditions of relevant application of different logical-heuristic and forensic methods, and also to outline a principal model of logical rationalization of approaches to investigative strategy building. Methodology. The method of comparative analysis is used for the exposure of sources of basic contradictions, traced in the most widespread methodological approaches to decision of the examined problem in modern literature. Based on the method of semantic analysis, the conditions of effectiveness of various logical and methodological tools in the field of investigative activities are determined. The methods of logical modeling, generalization and formalization are used during the elaboration of logical heuristic strategies and algorithms of investigative optimization. Scientific novelty. There’s been studied the logical and semantic foundations of the relevant application of heuristic search methods in the construction of investigation strategies. Besides, a logical model of optimization of such strategies is proposed, which is based on the mechanisms of mutual coordination of synchronic and diachronic aspects of the analysis of reproduced events. Conclusions. The construction of an effective investigation strategy involves, first of all, the development of a general model of organization of heuristic search activities. Such a model should be understood not as a “universal tool” that eliminates the need for other general and special methods, but as a methodological foundation of their system-coordinated application. The logic of rationalization of investigative actions, which is the basis of the mentioned model, should be focused on achieving the functional unity of its synchronic and diachronic aspects. The effective means of optimizing strategies and methods of investigation are connected with a combinational approach that provides a significant and timely narrowing of the search range, regarding the conditions of compatibility and achievability of the analyzed situations in the context of the available evidence. Keywords: investigative methodology; semantic bases of logical methods; logic of investigation; investigative strategy; logical analysis of versions; synchronic and diachronic aspects of search analysis; logical criteria of provability; technology of logical arrangement of investigation.