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

ЛАБОРАТОРНАЯ РАБОТА № 5.

Логический подход к формированию схем вывода.

(2 часа).

1. Цель работы.

1.1. Практическое освоение методологии построения и использования многопосылочной схемы дедуктивного вывода типа “сорит”.

1.2. Обретение навыков работы с программным обеспечением поддержки построения сорита.

1.3. Изучение методов анализа полученных выводов.

2. Отчет должен содержать:

2.1. Перечень унарных высказываний относящихся к вашей тематике, задействованных в семантической сети ( по работе №3).

2.2. Перечень бинарных высказываний.

2.3. Распечатку уровней сорита.

2.4. Анализ выводов сорита, притендующих на информативность

2.5. Соображения по поводу возможной целесообразности коррекции ранее построенной семантической сети.

3. При выполнении работы следует ориентироваться на материал учебного пособия стр.88-111.

ПРИМЕР ВЫПОЛНЕНИЯ ЛАБОРАТОРНОЙ

РАБОТЫ  № 5.

Выбор унарных высказываний.

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

Использованные унарные высказывания:

W0 - САПР, настроенная на когнитивные структуры пользователя

W1 - САПР, помогающая проектировать пользователю

W2 - САПР, использующая когнитивную графику

W3 - САПР, имеющая базу знаний

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

W5 - САПР, проводящая машинный эксперимент

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

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

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

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

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

W11 - САПР, имеющая модуль связи с пользователем

Выбор бинарных высказываний.

Исходя из отношений между унарными высказываниями, обозначенных на семантических сетях, формируем список бинарных высказываний.

Сорит.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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