Формальная модель описания семантических сетей: обзор исследований и постановка задачи

Abstract

Семантические сети являются одной из наиболее фундаментальных форм представления знаний. При решении задач на основе применения семантических сетей в каждом конкретном случае создаётся семантическая сеть, которая отвечает требованиям только в рамках поставленных задач. Цель работы – обосновать актуальность и значимость вопроса создания теории формального описания семантических сетей, которое могло бы быть использовано как в формальной логике, так и в кибернетике, которое было бы как человекочитаемым, так и машиночитаемым.

Semantic networks are one of the most fundamental forms of knowledge representation. When solving problems based on the use of semantic networks, a semantic network is created in each specific case, which meets the requirements only within the framework of the tasks set. The purpose of the work is to substantiate the relevance and significance of the issue of creating a theory of formal description of semantic networks, which could be used both in formal logic and in cybernetics, which would be both human–readable and machine-readable. The article defines semantic networks, gives the areas and areas of application of semantic networks. The analysis of publications on the use of semantic networks for various tasks is carried out. The author puts forward a thesis on what factors should be taken into account when forming a formal description system, and also suggests the structure of a formal model for describing semantic networks.