ISS1: d1 - носитель семантической информации (SI1) об изучаемом объекте в виде SO1,

d2 - носитель SI2 об учебном объекте в виде SO2,

m - посредник (SO1,2) между SO1 и SO2.

ISS2: d3 - носитель семантической информации (SI3) об изучаемом объекте в виде SO3,

d4 - носитель SI4 об учебном объекте в виде SO4,

r - посредник (SO3,4) между SO3 и SO4.

В соответствии в приведенными выше условиями прогрессивного перехода ISS из одного класса в другой достаточные условия для прогрессивного перехода ISS1 в ISS2 можно представить в следующем формализованном виде:

где ad - знак адекватности, а SS - знак полной семантической совместимости.

С учетом того, что предъявляемый обучаемому УО (SI2 ad SI4) является по отношению к нему внешней, объективной моделью, приведенные выше условия прогрессивного перехода ISS1 в ISS2 можно обобщить в следующем виде.

С позиций содержательной (смысловой) переработки семантической информации эффективное использование ЭВМ в качестве КОС в рамках АОС обеспечивается при соблюдении следующих условий:

1. Формализации представления, хранения и переработки всех видов информации, поступающей от обучаемого и обучающего в КОС. Основными объектами данной формализации должны являться:

1.1 Формализация содержания обучения:

- разработка логико-смысловой модели предметной области;

- разработка логико-смысловых и функциональных моделей всех УЭ, составляющих данную предметную область;

- разработка баз данных (знаний), обеспечивающих хранение указанных выше моделей и эффективный доступ к ним;

1.2 Формализация процедур переработки информации в КОС:

- формализация процедур диагностики и оценки учебной деятельности обучаемого;

- формализация процедуры формулировки дидактической задачи и ее решения;

- формализация процедуры формирования УО из УЭ в соответствии с выработанным в процессе дидактической задачи обучающим воздействием;

- формализация процедур предъявления УО обучаемому и управления УО в процессе этого предъявления;

- формализация структуры и процедур диалога между обучаемым и КОС в процессе их взаимодействия.

2. Полном взаимном соответствии между логико-смысловыми моделями УЭ(УО), определяющими логическую структуру, внутренние закономерности, условия и специфику существования УЭ(УО), и логико-смысловыми моделями решения задач по управлению данным УЭ(УО) или манипулированию им (адекватность первичной и вторичной семантической информации).