A Mathematical Model for Describing Structured Meanings of Natural Language Sentences and Discourses

Abstract

The purpose of this chapter is to construct a mathematical model describing a system consisting of ten partial operations on the finite sequences with the elements being structured meanings of Natural Language (NL) expressions. Informally, the goal is to develop a mathematical tool being convenient for building semantic representations both of separate sentences in NL and of complex discourses of arbitrary big length pertaining to technology, medicine, economy, and other fields of professional activity. The starting point for developing this model is the definition of the class of conceptual bases introduced in the previous chapter. The constructed mathematical model includes the definition of a new class of formal systems, or calculuses – the class of K-calculuses (knowledge calculuses) and the definition of a new class of formal languages – the class of SK-languages (standard knowledge languages).