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

(18)Всякий САПР, производящая математическую обработку Есть САПР, имеющая базу знаний(A,W4,W3)

(19)Всякий САПР, проводящая машинный эксперимент Есть САПР, помогающая  проектировать пользователю(A,W5,W1)

(20)Всякий САПР, проводящая машинный эксперимент Есть САПР, обесп. поддержку предметного мира(A,W5,W8)

(21)Всякий САПР, проводящая машинный эксперимент Есть САПР, имеющая модуль связи с пользователем(A,W5,W11)

(22)Всякий САПР, имеющая интеллектуальный интерфейс Есть САПР, помогающая проектировать пользователю(A,W6,W1)

(23)Всякий САПР, имеющая интеллектуальный интерфейс Есть САПР, имеющая  модуль связи с пользователем(A,W6,W11)

(24)Всякий САПР, обесп. поддержку мира состояний Есть САПР, помогающая  проектировать пользователю(A,W7,W1)

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

(26)Всякий САПР, обесп. поддержку предметного мира Есть САПР, помогающая проектировать пользователю(A,W8,W1)

(27)Всякий САПР, обесп. поддержку предметного мира Есть САПР, имеющая базу знаний(A,W8,W3)

(28)Всякий САПР, обесп. поддержку предметного мира Есть САПР, проводящая машинный эксперимент(A,W8,W5)

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

(30)Всякий САПР, обесп. поддержку мира объективных знаний Есть САПР, имеющая базу знаний(A,W9,W3)

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

(32)Всякий САПР, обесп. поддержку мира объективных знаний Есть САПР, имеющая модуль связи с пользователем(A,W9,W11)

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

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

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

(36)Всякий САПР, имеющая модуль связи с пользователем Есть САПР, имеющая интеллектуальный интерфейс(A,W11,W6)

(37)Всякий САПР, имеющая базу знаний Есть САПР, имеющая интеллектуальный интерфейс (A,W3,W6)

(38)Всякий САПР, проводящая машинный эксперимент Есть САПР, имеющая интеллектуальный интерфейс(A,W5,W6)

(39)Всякий САПР, использующая когнитивную графику Есть САПР, имеющая базу знаний(A,W2,W3)

(40)Всякий САПР, проводящая машинный эксперимент Есть САПР, имеющая базу знаний(A,W5,W3)

Построение многопосылочного вывода.

Введя исходные данные для автоматической обработки полученных бинарных высказываний, получаем следующие выводы сорита.

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

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

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

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

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

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

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

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

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

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

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