Formalization of semantic network of image constructions in electronic content

TL;DR

This paper develops a formal theory for semantic networks of image constructions using algebraic structures, introducing a normal form and a model based on a commutative semigroup to represent interrogative linguistic images.

Contribution

It introduces a novel formalization of image constructions with a binary associative relation and models sentences as components within a semigroup framework.

Findings

A formal binary operator for associative relations is constructed.

An associative normal form of image constructions is introduced.

A semigroup model representing interrogative linguistic images is proposed.

Abstract

A formal theory based on a binary operator of directional associative relation is constructed in the article and an understanding of an associative normal form of image constructions is introduced. A model of a commutative semigroup, which provides a presentation of a sentence as three components of an interrogative linguistic image construction, is considered.