ьників (5.1) Ціна прийнятна (Д5)
Виходячи з даних наведених у таблиці (див. таблицю 1.2.1.) математичну модель алгоритму побудови логічного висновку опишемо наступним чином:
) У1.1 and У1.2 and У1.3 => Д1
) У2.1 or У2.2 => Д2
) Д2 => У1.1
) У3.1 or (У3.2 and У3.3) => Д3
) Д3 => У2.2. => Д2 => У1.1
) У4.1 or У4.2 => Д4
) Д4 => У1.2.
) У5.1 => Д5
) Д5 => У1.3.
) Д2 and Д4 and Д5 => Д1
11) Д5 and (У4.1. or У4.2.) and (У2.1 or У2.2) => Д1
) У5.1 and (У4.1. or У4.2) and ((У3.1 or (У3.2 and У3.3)) or У2 .1) = Д1
Де:
У1, У2, У3 - умови (факти) необхідні для виконання деякої дії
Д - дія яке виникає при виконанні необхідних умов.
2.Опісаніе ІНФОРМАЦІЇ
.1 Вхідна інформація
Вхідний інформацією для програми в цілому, є модуль data_base.cs (який зберігає в собі опис структури бази знань, безпосередньо саму базу даних і функції ініціалізації та констатації фактів), а так само відмічені затвердження (див. Рис.2.1.1.).
В
Ріс.2.1.1.Панель вибору фактів
.2 Вихідна інформації
В якості вихідної інформації (для програми в цілому) виступає логічний висновок (см.Ріс.2.2.1), і панель відображення поточного стану фактів (висновок даних про активність умов см.Ріс.2.2.2 .).
В
Ріс.2.2.1.Построеніе виведення
В
Ріс.2.2.2Актівность умов
3. Ієрархічна СХЕМА
.1 Ієрархічна схема представлена ​​у вигляді граф - схеми (см.Ріс.3.1.1)
В
Ріс.3.1.1.Граф-схема Ієрархія функцій
.2 Специфікація
Кurs_TPR - основна програма
checkbox_checked () - функція відповідає за передачу зразків, обраних користувачем, функції data.Констотація_факта ().
exit () - функція реалізує вихід з програми.
data.Констотація_факта () -...
