Разработка САПР: Методические указания к лабораторным работам, страница 19

(224,s=219,p=4)Некоторый САПР, производящая математическую обработку Есть САПР, обесп. поддержку мира состояний(J,W4,W7)

(225,s=221,p=4)Всякий САПР, производящая математическую обработку Есть САПР, обесп. поддержку мира состояний(A,W4,W7)

(226,s=216,p=16)Некоторый САПР, использующая когнитивную графику Есть САПР, производящая математическую обработку(J,W2,W4)

(227,s=218,p=16)Некоторый САПР, обесп. поддержку мира состояний Есть САПР, производящая математическую обработку(J,W7,W4)

Анализ построенного сорита.

Обратим внимание на понятия, которые сорит особенно выделил. Это понятия:

W7   - САПР, обесп. поддержку мира состояний

W10 - САПР, обесп. поддержку мира субъективных знаний

Проанализируем понятие W7.

Выпишем все предикаты этого понятия:

A               W7         W8

A               W7         W9

J W7         W10

A               W7         W6

где -  W6 - САПР, имеющая интеллектуальный интерфейс

W8 - САПР, обесп. поддержку предметного мира

W9 - САПР, обесп. поддержку мира объективных знаний

W10 - САПР, обесп. поддержку мира субъективных знаний

Таким образом, мы видим что поддержка мира состояний проектировщика является очень важной составляющей проектируемой САПР, ибо она влияет на все остальные модельные миры проектировщика. Но поддержка мира состояний требует наличие в системе интеллектуального интерфейса. Эти выводы, вообще-то, не являются неожиданными. Они явным образом заложены в семантических сетях. Но тот факт, что сорит обратил на них внимание, делает особый акцент на этих понятиях.

Анализ понятия  W10.

Выпишем предикаты этого понятия:

J W10      W6

J W10      W7

J W10      W8

J W10      W9

J W10      W4

где         W4 - САПР, производящая математическую обработку

W6 - САПР, имеющая интеллектуальный интерфейс

W7 - САПР, обесп. поддержку мира состояний

W8 - САПР, обесп. поддержку предметного мира

W9 - САПР, обесп. поддержку мира объективных знаний

Здесь мы опять видим взаимосвязь модельных миров проектировщика. Субъективный мир знаний, являющийся наиболее важным, требует какой-нибудь поддержки остальных миров. Это тоже довольно тривиальный вывод. Но любопытно было увидеть среди понятий W6, W7, W8, W9 также понятие W4 - математическая обработка данных в системе. Сорит отметил важную роль математической обработки при формировании нового субъективного знания у проектировщика. Этот вывод стоит учитывать при разработке будущей САПР.

Анализ сорита с провоцирующей посылкой.

Прежде всего рассмотрим смысл этой самой провоцирующей посылки.

Провоцирующая посылка.

(41)Всякий САПР, обеспечивает поддержку мира субъективных знаний Есть САПР, настроенная на когнитивные структуры пользователя(A,W10,W0)

По сути дела, эта посылка характеризует идеал САПР, к которому нужно стремиться при разработке САПР. С этой точки зрения особенно интересны выводы получающегося сорита, так как может быть они подскажут направления деятельности при разработке.

Итак, при вводе вышеобозначенной  провоцирующей посылке прежде всего изменилась графическая структура получающегося сорита. Добавилось два уровня. Кроме того, на третьем, четвертом и пятом (последнем) уровнях наблюдается обилие сильных высказываний "Всякий". Это можно объяснить повысившимися требованиями к САПР. Определенные функции САПР теперь должны обязательно присутствовать в ней. Приведем ниже наиболее интересные выводы.

(212,s=141,p=41)Всякий САПР, имеющая базу знаний Есть САПР, настроенная на когнитивные структуры пользователя (A,W3,W0)

(213,s=147,p=41)Всякий САПР, использующая когнитивную графику Есть САПР, настроенная на когнитивные структуры пользователя(A,W2,W0)

(214,s=150,p=41)Всякий САПР, проводящая машинный эксперимент Есть САПР, настроенная на когнитивные структуры пользователя(A,W5,W0)