База знаний интеллектуальной справочной системы по логике
Курсовой проект - Компьютеры, программирование
Другие курсовые по предмету Компьютеры, программирование
·м - константы.
Рисунок 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. Системе был задан ряд тестовых вопросов и успешно получены ответы на них.
Примеры некоторых вопросов:
. Найти семантическую окрестность фрагмента "постулат".
Ответ:
. Найти определение постулата
Ответ:
. Найди константы входящие в определение
Ответ:
Таким образов можно сделать вывод, что база знаний успешно пополнилась новыми знаниями, и они уже могут использоваться для решения задач ИСС.
Заключение
В процессе выполнения данной курсовой работы по разработке ИСС была изучена предметная область "логика". Была спроектирована и разработана начальная версия базы знаний интеллектуальной справочной системы по логике. На данный момент БЗ насчитывает более 300 статей. Личный вклад - 50 фрагментов БЗ, а также 30 тестовых вопросов.
Разработанная база знаний позволяет производить навигацию с помощью шаблонов изоморфного поиска и набора стандартных поисковых операций находить ответы на вопросы.
В дальнейшем ИСС будет совершенствоваться. Планируется добавление новых фрагментов БЗ и интеграция с другими системами.
Библиографический указатель
1. Сайт интеллектуальной поисковой системы Exactus [Электронный ресурс]. - Режим доступа:
. Кузнецов, О.П. Дискретная математика для инженера / О.П. Кузнецов - Учебное пособие.6-е изд., стер. - СПб.: Издательство "Лань", 2009. - 400 с.: ил. - (Учебники для вузов. Специальная литература).
. Хорошевский, В.Ф. Базы знаний интеллектуальных систем / В.Ф. Хорошевский, Т.А. Гаврилова - СПб: Питер, 2000. - 384 с.: ил.
. Проект OSTIS [Электронный ресурс]. Минск, 2012. - Режим доступа:
. Справочно-информационный портал Википедия [Электронный ресурс]. - Режим доступа:
. Сайт поисковой системы Google [Электронный ресурс]. - Режим доступа: