lign="justify"> Малюнок 2.45 - нульове поняття - константи.
В
Малюнок 2.46 - нульове поняття - надмножество.
В
Малюнок 2.47 - нульове поняття - визначення.
В
Малюнок 2.48 - нульове поняття - синоніми.
В
Малюнок 2.49 - прогресивний полісіллогізм - константи.
В
Малюнок 2.50 - прогресивний полісіллогізм - надмножество.
В
Малюнок 2.51 - прогресивний полісіллогізм - визначення.
В
Малюнок 2.52 - прогресивний полісіллогізм - синоніми.
В
Малюнок 2.53 - розділової-категоричне умовивід - константи.
В
Малюнок 2.54 - розділової-категоричне умовивід - надмножество.
В
Малюнок 2.55 - разделительно категоричне умовивід - визначення.
В
Малюнок 2.56 - розділової-категоричне умовивід - синоніми.
В
Малюнок 2.57 - множення понять - надмножество.
В
Малюнок 2.58 - множення понять - константи.
В
Малюнок 2.59 - множення понять - визначення.
В
Малюнок 2.60 - множення понять - синоніми.
2.5 Верифікація та налагодження бази знань проектованої інтелектуальної системи
Верифікація та налагодження бази знань проводилася за допомогою утиліти Semantic User Interface Toolkit 0.4.0. Системі було поставлено ряд тестових питань і успішно отримані відповіді на них. p align="justify"> Приклади деяких питань:
. Знайти семантичну околиця фрагмента "постулат". p align="justify"> Відповідь:
В
. Знайти визначення постулату
Відповідь:
В
. Знайди константи входять до визначення
Відповідь:
В
Таким образів можна зробити висновок, що база знань успішно поповнилася новими знаннями, і вони вже можуть використовуватися для вирішення завдань ІДС. p align="center"> Висновок
У процесі виконання даної курсової роботи з розробки ІДС була вивчена предметна область "логіка". Була спроектована і розроблена початкова версія бази знань інтелектуальної довідкової системи з логіки. На даний момент БЗ налічує більше 300 статей. Особистий внесок - 50 фрагментів БЗ, а також 30 тестових питань. p align="justify"> Розроблена база знань дозволяє виробляти навігацію за допомогою шаблонів изоморфного пошуку і набору стандартних пошукових операцій знаходити відповіді на запитання.
Надалі ІДС буде вдосконалюватися. Планується додавання нових фрагментів БЗ і інтеграція з іншими системами. p align="center"> Бібліо...
