0: if (BD [3]. yslovie1.ActivE == true) BD [3]. yslovie1.ActivE = false; BD [3 ]. yslovie1.ActivE = true; break; 11: if (BD [3]. yslovie2.ActivE == true) BD [3]. yslovie2.ActivE = false; BD [3]. yslovie2.ActivE = true; break; 12: if (BD [3]. yslovie3.ActivE == true) BD [3]. yslovie3.ActivE = false; BD [3]. yslovie3.ActivE = true; break; 13: if (BD [4]. yslovie1 . ActivE == true) BD [4]. yslovie1.ActivE = false; BD [4]. yslovie1.ActivE = true; break; 14: if (BD [4]. yslovie2.ActivE == true) BD [4] . yslovie2.ActivE = false; BD [4]. yslovie2.ActivE = true; break; 15: if (BD [4]. yslovie3.ActivE == true) BD [4]. yslovie3.ActivE = false; BD [4 ]. yslovie3.ActivE = true; break;}
}}}
Додаток 3
КОНТРОЛЬНІ ПРИКЛАДИ
Інтерфейс програми складається з трьох основних частин: панель затвердження фактів (зразків), панель побудови логічного висновку, панель відображення активності зразків. Інтерфейс представлений на малюнку Контрольний приклад 1 (інтерфейс) (см.Ріс.П.3.1.). br/>
Контрольний приклад 1 (інтерфейс)
В
Ріс.П.3.1.
Встановимо два факти (зразка): товар пройшов державні експертизи; ціна прийнятна. Виходячи з даних фактів програма повинна, в полі побудови виведення, видати запис, про те, що товар якісний (тому товар пройшов державні експертизи => товар якісний). Вікно програми представлено на малюнку Контрольний приклад 2 (див.. Рис . Д.3.2).
Контрольний приклад 2
В
Ріс.П.3.2.
Встановимо наступні факти (зразки): постачання відбувається в строк; товар не отримує дефектів в ході транспортування; товар пройшов державні експертизи; ціна прийнятна. Виходячи з даних фактів програма повинна, в полі побудови виведення, видати запис, про те, що товар якісний (тому товар пройшов державні експертизи => товар якісний), після чого обробляючи зразки В«поставка відбувається в строкВ», В«товар не отримує дефектів В», програма повинна зробити висновок про те що скарг на постачальника не було, а виходячи з цього факту (з того що скарг не було), програма повинна зробити висновок про те що постачальник перевірений, в слідстві чого випливає висновок про те що постачальник підходить (тому Постачальник перевірений і товар якісний і ціна прийнятна => постачальник підходить). Вікно програми представлено на малюнку Контрольний приклад 3 (див.. Ріс.П.3.3.).
Контрольний приклад 3
В
Ріс.П.3.3.
Встановимо наступні факти (зразки): є рекомендації від інших замовників; товар пройшов державні експертизи; ціна прийнятна. Виходячи з даних фактів програма повинна, в полі побудови виведення, видати запис, про те, що товар якісний (тому товар пройшов державні експертизи => товар якісний), після чого обробляючи зразок В«є рекомендації від і...
