Open AccessTranscendental Logic-Based Formalism for Semantic Representation of Software Project Requirements Architecture
Author(s) -
Oleg V. Moroz,
Oleksii O. Pysarchuk,
Tetiana I. Konrad
Publication year - 2022
Publication title -
computer and information science
Language(s) - English
Resource type - Journals
eISSN - 1913-8997
pISSN - 1913-8989
DOI - 10.5539/cis.v15n2p15
Subject(s) - computer science , software engineering , rotation formalisms in three dimensions , executable , knowledge representation and reasoning , ontology , formalism (music) , artificial intelligence , programming language , philosophy , geometry , mathematics , epistemology , art , musical , visual arts
This article is devoted to the analysis of the situation that has arisen in the practice of using artificial intelligence methods for software development. Nowadays there are many disparate approaches, models, and practices based on the use of narrow intelligence for decision-making at different stages of the life cycle of software products, and an almost complete lack of solutions brought to wide practical use. The article provides a comprehensive overview of the main reasons for the lack of the expected effect from the implementation of Agile and suggests a way to solve this problem based on the use of a self-organizing knowledge model. Based on the heuristic usage of transcendental logic in the terms of "ontological predicates", such a model makes it possible to create a formalism of the semantic representation of the requirements architecture of a software project, which could provide semantic interoperability and an executable semantic framework for automated ontology generation from unstructured informal software requirements text. The main benefit of this model is that it is flexible and ensures the accumulation of knowledge without the need to change the initial infrastructure as well as that the ontology inference engine is the part of the mechanism of collective interaction of active elements of knowledge and not some externally programmed system of rules that imitate the process of thinking.