Search

При проведении анализа больших объёмов данных с привлечением экспертов предметной области возникает проблема представления знаний, заключающаяся в описании смыслового содержания суждений с последующей их формализацией, автоматизированным построением логического вывода и компьютерной обработкой, целью которой является преобразование суждений в соответствии с их семантикой. В работе исследуется проблема представления знаний через построение семантики суждений на основе интуиционистской логики. Предлагается компьютерно ориентированный метод, позволяющий эффективно работать со смысловым содержанием суждений и получать компьютерно реализуемые интуиционистские выводы утверждений на основе трансляционного подхода с помощью конвертирования классических выводов в интуиционистские. Суть метода заключается в семантическом оценивании каждого суждения элементами специально подбираемой решётки. Метод позволяет автоматически переходить от выводимости (истинности) некоторого суждения в классической теории к выводимости (соответственно истинности) самого или близкого ему по смыслу суждения в соответствующей интуиционистской теории, если в качестве решёток выбирать полную булеву и полную гейтингову алгебры соответственно. Такой подход особенно актуален при обработке больших объёмов информации, так как позволяет избежать необходимости построения сложных интуиционистских выводов, что, в свою очередь, позволяет значительно увеличить скорость обработки данных. В работе предлагаемый метод используется при построении интуиционистских выводов в языке решёточно упорядоченных колец и при конвертации классической теории в интуиционистскую для многосортных алгебраических систем. Исследуются также особенности метода, доказываются соответствующие утверждения., The article considers the method of working with the semantics of judgments, its properties are investigated. With its help, it is possible to construct computer-implemented intuitionistic conclusions of statements due to the conversion of the corresponding classical conclusions (the semantic evaluation of which in a Boolean-valued universe is equal to one) into intuitionistic ones. This approach is especially relevant when processing large amounts of information, as it avoids the need to build complex intuitionistic conclusions, which, in turn, allows you to significantly increase the speed of data processing. In particular, the possibility of transferring the properties of l-rings to ordered rings and converting classical theory into intuitionistic theory for multi-grade algebraic systems is shown., Международный научный журнал "Современные информационные технологии и ИТ-образование", Выпуск 4 2021, Pages 880-888

In the article, trends in the development of didactic support for the profession-oriented English language course are determined. Social and economic conditions to update the development of advanced didactic instruments are stated. Moving from the competence education model to the cognitive one followed by searching for the effective forms of knowledge representation to their transit in the learning and instructing process is among them. The experience of the Department of Foreign Languages of Siberian Transport University in the development of education resources to show the opportunities of different forms of content representation for effective academic knowledge transition is summarized. In particular, the electronic learning and instructing support package “English for Railways” based on a hypertext technology (the history of development, its structure, forms of software interactivity) is described. As an example of didactic instruments for the cognitive education model, a prototype of the multilingual learning environment based on ontologies “Onto.plus” is presented. Onto.plus has been developed for students of railway universities through the request of the Training and Methodology Centre for Railway Transport. It is stated that ontologies are approved as the up-to-date international web–standard for knowledge representation by ISO/IEC. The advantages of Onto.plus refer to the following: a student enjoys an access to different forms of content representation (a linear text, hypertext links, ontologies) on a number of national languages. The need for methods to introduce the suggested solutions into the learning and instructing practice is underlined. The method for students’ cognitive skills development adopted for the profession-oriented English language course is given as an example. This article may be of practical interest for transport university instructors and students., {"references":["Volegzhanina, I. S., & Chusovlyanova, S. V. (2018). Determination of the didactic expediency of the management system of educational branch knowledge for railway universities. Information - Communication - Society (IKO - 2018): Proceedings of the XV All-Russian Scientific Conference / Saint Petersburg, 18-19. January 2018 St. Petersburg: Publishing House SPbGETU, 70-76","Mitsuk, I. V., Khabarov, V. I., Volegzhanina, I. S. (2016). Management of branch knowledge in the system \"branch - branch educational institution\". Educational technologies and society, 19(3). 473-491","Carmichael P., & Bodea C.-N. (2012). An Ontology-Based Learning System in IT Project Management. Software industry-oriented education practices and curriculum development: experiences and lessons, 191–210","Chung, H.-S., & Kim, J.-M. (2014). Semantic Model of Syllabus and Learning Ontology for Intelligent Learning System. International Conference on Computational Collective Intelligence (ICCCI), (8733). 175–183"]}

Описывается интеллектуальная информационная система, основанная на понятийном моделировании предметной области. Понятийная модель состоит из понятийной структуры и описания содержания понятий. Понятийная структура определена как множество понятий, на которых заданы четыре отображения абстрагирования: обобщение, типизация, ассоциация и агрегация. Описание содержания понятий осуществляется с помощью таблиц базы данных. Существенным отличием используемой понятийной модели от других является описание ассоциации как обычного понятия. Показано, что благодаря семантической инвариантности области понятийной интерпретации удается улучшить технологические и эксплуатационные характеристики информационной системы., Conceptual modeling is used for formal specification of domain knowledge and its integration into an information system. We describe an intelligent information system based on the conceptual domain modeling. The system consists of four layers: client, knowledge, logic and data. The knowledge layer is based on a conceptual model which consists of a conceptual structure and a content of concepts. A conceptual structure is specified as a set of concepts, which contains four abstractions: generalization, typification, association and aggregation. A content of each concept is specified by database tables. The significant difference between the proposed conceptual model and others is the description of the association not as a relationship but as an ordinary concept. This implies that the conceptual structure can be represented as a tree. And the information needed for knowledge-based inference is contained in the concept structure itself. We show that the semantic invariance of the conceptual interpretation improves technological and operational characteristics of the information system., №66 (2018)

В работе представлена постановка задачи диагностирования сложного структурируемого объекта с использованием моделей. Данная задача заключается в получении диагноза неисправностей путем сравнения структурного, поведенческого описания структурируемого объекта с его наблюдаемым поведением с учетом общих знаний о предметной области. Предложено представление знаний сложного составного объекта, при котором объект представляется в виде композиции включенных в него объектов, формализуемых посредством паттернов, отражающих их структуру и поведение. Это позволяет выполнить диагностику объекта независимо от специфики предметной области, на основе структуры и поведения объекта и его составляющих. Полученные в результате диагностики отношения могут отражать связи между неверными элементами и некорректным поведением как вида «один-к-одному», так и вида «множество-ко-множеству. The paper presents a formulation of the problem of diagnosing a structured complex object using models. This objective is to obtain a diagnosis of faults by comparing the structural, behavioral description of a structured object with its observed behavior with regard to the general knowledge of the subject area. A representation of knowledge of complex composite object when the object is represented as a composition of objects included therein, formalized by means of patterns that reflect their structure and behavior. This makes it possible to diagnose the object, regardless of the specifics of the subject area, based on the structure and behavior of an object and its components. The resulting diagnostic relationships may reflect the link between incorrect elements and annoying behavior as a type of "one-to-one" and type "a set-to-set.

The article focuses on the ways of presentation of linguistic knowledge to University students in the process of English grammar acquisition. Special attention is given to the conceptual metaphor and the cognitive schema.

Прослеживается история идеи искусственного интеллекта и существующие способы ее реализации. В качестве перспективного направления развития искусственного интеллекта отмечаются исследования на основе автоэпистемической логики. Искусственный интеллект рассматривается как система, имитирующая решение человеком сложных задач в процессе его жизнедеятельности. Представлена интеллектуальная традиция исследования искусственного интеллекта, берущая начало в "Физике" Аристотеля, "Диалогах" Платона; раскрыты предпосылки и основания теории искусственного интеллекта. В числе главных вопросов анализа сферы искусственного интеллекта и сферы его приложений рассмотрены структура символов и операций, посредством которых осуществляется интеллектуальное решение задачи, поиск стратегических ориентиров для тех решений, которые обусловлены определенными структурами символов и операций. Экспертные системы интерпретированы как разновидность интеллектуальных систем; обозначены различные способы представления знаний (логическая модель, фреймовые и продукционные системы, семантические сети), реализуемые в границах когнитивного направления исследования искусственного интеллекта. Утверждается, что представление знаний является методологией моделирования и формализации концептуальных знаний в сфере инженерии знаний. The history of idea of artificial intelligence and the ways of its implementation are observed in the paper. The authors select researches based on autoepistemic logic as a perspective line of development of artificial intelligence. Artificial intelligence (AI) is considered as a system that imitates the process of decision making by a man, when a man solves complex tasks. The paper introduces the intellectual tradition of artificial intelligence: this tradition goes back to the Aristotle's "Physics" and Plato's "Dialogs". The premises and grounds for the artificial intelligence theory are disclosed as well. The structure of symbols and operations are considered as basic questions of analysis of artificial intelligence and AI applications. Expert systems are interpreted as a variety of intelligence system. Different methods of knowledge representation (logical model, frame systems and production systems, semantic networks) are designated in the article. These methods are realized within the scope of a cognitive trend of AI investigation. The authors assert that knowledge representation is a methodology of modeling and formalization of conceptual knowledge in the sphere of knowledge engineering.

The formal grammatical approach and the approach based on logical statements are general-purpose simulation means of information systems. These approaches are used in designing and representation of programming languages, algorithms, state machines, systems of pattern recognition, designing of compilers, bases of data and knowledge, and other applications of artificial intelligence. The goal of this research is to construct a hybrid grammatical structure which allows to generalize and extend both grammatical structures with operations of substitution, matrix substitution, homomorphism and intelligent systems with the operations of substitution and logical syllogisms. The formal hybrid system is constructed in two stages. At the first stage, the formal structure of knowledge is determined as an element of the grammatical structure carrier. And at the second stage, the formal grammatical system is determined with the logical conclusion. The formal structure of knowledge is based on the production approach of knowledge representation as a subjective formal constructive system. The system is constructed on the dictionary of notions using the proposed semiotics of formation formulas of knowledge. The set of formulas of knowledge forms an infinite knowledge base. The construction of the formal grammatical system with the conclusion is implemented on the formal structure of knowledge using the technique for the identification of the formal language based on a combination of logical syllogisms and operations of substitutions. The formal grammatical system with logical conclusion can be used in the designing and synthesis of state machines and other objects of artificial intelligence, Предложено формирование грамматической структуры и языковых конструкций через представление знаний, что расширяет возможности формальных грамматических структур в системах искусственного интеллекта, Запропоновано формування граматичної структури і мовних конструкцій через представлення знань, що розширює можливості формальних граматичних структур у системах штучного інтелекту

В статті представлений підхід до побудови інтернет-порталу знань в області міцності матеріалів. В якості інформаційної моделі порталу використовується онтологія. The article presents the approach for the designing of knowledge Internet portal in the field of materials strength. Ontology is used as portal informational model. В статье представлен поход к построению интернет-портала знаний в области прочности материалов. В качестве информационной модели портала используются онтологии.