9;ютерної лінгвістики.
Що стосується трудовитрат по реалізації системи на даному етапі, то слід зазначити, що в якості основних труднощів виступають вилучення знань та їх формалізація.
2. База знань проектованої інтелектуальної системи
База знань [3] - сукупність програмних засобів, що забезпечують пошук, зберігання, перетворення і запис в пам'ять ЕОМ складно структурованих інформаційних одиниць.
Двома найбільш важливими вимогами до інформації, що зберігається в базі знань інтелектуальної системи, є [5]:
1.достоверность <# "justify"> Нижче перераховані деякі з особливостей, які можуть (але не зобов'язані) бути у системи, що оперує базами знань.
В· Автоматичне доказ <# "center"> 2.1 Задачного-орієнтована специфікація бази знань проектованої інтелектуальної системи
Тестовий збірник питань
1. Скільки модусів в 1 фігурі силогізму? (4 модусу)
. З чого складається силогізм? (З двох посилок і одного висновку)
. До якої фігурі силогізму належить модус Ferio? (До 1 фігурі)
. Які посилки включає модус Ferio? (Велика - общеутвердітельное, менша - частноутвердітельная)
. Чи належить модус Ferio і модус Barbara до однієї фігури силогізму? (Так, належать)
. У чому різниця між модусом Selarent і Barbara? (У модусу Barbara велика посилка общеутвердітельное, а у Selarent - Общеотріцательное. Висновок у Barbara Общеутвердітельное, у Selarent - Общеотріцательное)
. Які існують синоніми у диз'юнкції? (Логічна операція АБО)
. У чому подібні модус Ferio і Barbara? (Менша посилка є загальноствердним судженням)
9. Яке альтернативне поняття у докази? (Це логічна операція <# "justify"> база інтелектуальна довідкова система
16. Для чого використовується аргументація? (Для ухвалення аудиторією висунутих тез)
. Який посилки немає в модусі Ferio? (Общеутвердітельное)
. Навіщо необхідно виконувати доказ? (Для підтвердження або спростування тези)
. Як має бути сформульовано тезу? (Теза повинна бути сформульований ясно і виразно)
. Чим обмежується область істинності предиката? (Квантором)
. Яка історія терміна силогізм? (Перший ввів термін силогізм Арістотель)
. Чи перевищує кількість модусів 1 фігури кол-во модусів 2 фігури? (Ні, не правишает)
. Рівне чи кількість модусів у 1 фігури і 2 фігури силогізму? (Так, рівне)
. Які основні твердження про 1 фігуру силогізму? (Менша посилка є ствердною; велика посилка є спільною...
