Опис документа

Стаття є продовженням попередніх досліджень авторів, в яких було введено номінативні множини, що допускають неоднозначність іменування, доведена теорема про монотонність та еквітонність програм над такими даними. У даному повідомленні досліджується еквівалентність даних, що допускають неоднозначність іменування, доводиться теорема про збереження програмами композиційної мови SІCON[нижній індекс R] еквівалентності, яка базується на початковій еквівалентності базових значень. Запропоновано використання отриманих результатів в інтелектуальних навчальних системах та інших системах, які використовують слабкоструктуровані дані.

The article is a continuation of previous author"s research, where introduced nominative sets allowing ambivalence naming and theorem about monotone and equitone programs on such data proved. This paper investigated the equivalence of data allowing ambiguity of naming; a theorem about the conservation programs of compositional language SICON[lower index R] equivalence based on the initial equivalence of basic values proved. Proposed to use the obtained results in intelligent tutoring systems and other systems, which use semistructed data.