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

(192,s=56,p=36)Некоторый САПР, настроенная на когнитивные структуры пользователя Есть САПР, имеющая интеллектуальный интерфейс(J,W0,W6)

(193,s=104,p=36)Всякий САПР, обесп. поддержку мира состояний Есть САПР, имеющая интеллектуальный интерфейс(A,W7,W6)

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

(195,s=70,p=39)Некоторый САПР, настроенная на когнитивные структуры пользователя Есть САПР, имеющая базу знаний(J,W0,W3)

Ввод провоцирующей посылки.

Попробуем ввести в сорит посылку, достоверность которой не совсем ясна. Полученный результат представлен ниже.

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

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

/-----------------2 - уровень -------------/

/-----------------3 - уровень -------------/

(171,s=55,p=2)Некоторый САПР, проводящая машинный эксперимент Есть САПР, использующая когнитивную графику(J,W5,W2)

(172,s=118,p=2)Некоторый САПР, обесп. поддержку предметного мира Есть  САПР, настроенная на когнитивные структуры пользователя(J,W8,W0)

(173,s=122,p=2)Некоторый САПР, обесп. поддержку мира объективных знаний Есть САПР, настроенная на когнитивные структуры пользователя(J,W9,W0)

(174,s=168,p=2)Всякий САПР, обесп. поддержку мира объективных знаний Есть САПР, использующая когнитивную графику(A,W9,W2)

(175,s=170,p=2)Всякий САПР, обесп. поддержку предметного мира Есть САПР, использующая когнитивную графику(A,W8,W2)

(176,s=55,p=3)Некоторый САПР, проводящая машинный эксперимент Есть САПР, имеющая интеллектуальный интерфейс(J,W5,W6)

(177,s=74,p=3)Некоторый САПР, обесп. поддержку мира субъективных знаний Есть САПР, имеющая интеллектуальный интерфейс(J,W10,W6)

(178,s=169,p=3)Всякий САПР, обесп. поддержку мира состояний Есть САПР, имеющая интеллектуальный интерфейс(A,W7,W6)

(179,s=74,p=4)Некоторый САПР, обесп. поддержку мира субъективных знаний Есть САПР, обесп. поддержку мира состояний(J,W10,W7)

(180,s=168,p=4)Всякий САПР, обесп. поддержку мира объективных знаний Есть САПР, обесп. поддержку мира состояний(A,W9,W7)

(181,s=170,p=4)Всякий САПР, обесп. поддержку предметного мира Есть САПР, обесп. поддержку мира состояний(A,W8,W7)

(182,s=55,p=5)Некоторый САПР, проводящая машинный эксперимент Есть САПР, обесп. поддержку предметного мира(J,W5,W8)

(183,s=74,p=5)Некоторый САПР, обесп. поддержку мира субъективных знаний Есть САПР, обесп. поддержку предметного мира(J,W10,W8)

(184,s=169,p=5)Всякий САПР, обесп. поддержку мира состояний Есть САПР, обесп. поддержку предметного мира(A,W7,W8)

(185,s=55,p=6)Некоторый САПР, проводящая машинный эксперимент Есть САПР, обесп. поддержку мира объективных знаний(J,W5,W9)

(186,s=58,p=6)Некоторый САПР, имеющая базу знаний Есть САПР, обесп. поддержку мира объективных знаний(J,W3,W9)

(187,s=74,p=6)Некоторый САПР, обесп. поддержку мира субъективных знаний Есть САПР, обесп. поддержку мира объективных знаний(J,W10,W9)

(188,s=169,p=6)Всякий САПР, обесп. поддержку мира состояний Есть САПР, обесп. поддержку мира объективных знаний(A,W7,W9)

(189,s=59,p=9)Всякий САПР, обесп. поддержку мира субъективных знаний Есть САПР, проводящая машинный эксперимент(A,W10,W5)

(190,s=73,p=9)Некоторый САПР, настроенная на когнитивные структуры пользователя Есть САПР, проводящая машинный эксперимент(J,W0,W5)

(191,s=169,p=10)Некоторый САПР, настроенная на когнитивные структуры пользователя Есть САПР, использующая когнитивную графику(J,W0,W2)

(192,s=73,p=11)Некоторый САПР, настроенная на когнитивные структуры пользователя Есть САПР, имеющая модуль связи с пользователем(J,W0,W11)

(193,s=131,p=12)Некоторый САПР, производящая математическую обработку  Есть САПР, помогающая проектировать пользователю(J,W4,W1)