Список источников содержащих ответ
Стоит отметить, что с помощью семантической технологии
проектирование и разработка ИСС не занимает длительного времени. Все эти
преимущества обеспечивается в первую очередь за счет использования технологии
семантической сети.
Семантические технологии позволяют создавать сложные системы,
которые будут легко интегрироваться одна с одной.
Семантические технологии - это бурно развивающаяся область
информатики, возникшая на стыке работ по искусственному интеллекту,
Internet-технологиям, компьютерной лингвистике.
Что касается трудозатрат по реализации системы на данном
этапе, то следует отметить, что в качестве основных трудностей выступают
извлечение знаний и их формализация.
2.
База знаний проектируемой интеллектуальной системы
База знаний [3] - совокупность программных средств,
обеспечивающих поиск, хранение, преобразование и запись в память ЭВМ сложно
структурированных информационных единиц.
Двумя наиболее важными требованиями к информации, хранящейся
в базе знаний интеллектуальной системы, являются [5]:
1. достоверность
<#"564512.files/image001.gif">
Рисунок 2.1 - 1 правило деления - константы.
Рисунок 2.2 - 1 правило деления - надмножество.
Рисунок 2.3 - 1 правило деления - определение.
Рисунок 2.4 - 1 правило деления - синонимы.
Рисунок 2.5 - абстрактное понятие - константы.
Рисунок 2.6 - абстрактное понятие - надмножество.
Рисунок 2.7 - абстрактное понятие - определение.
Рисунок 2.8 - абстрактное понятие - синонимы.
Рисунок 2.9 - бинарный предикат - константы.
Рисунок 2.10 - бинарный предикат - надмножество.
Рисунок 2.11 - бинарный предикат - определение.
Рисунок 2.12 - бинарный предикат - синонимы.
Рисунок 2.13 - булевая алгебра - константы.
Рисунок 2.14 - булевая алгебра - надмножество.
Рисунок 2.15 - булевая алгебра - определение.
Рисунок 2.16 - булевая алгебра - синонимы.
Рисунок 2.17 - двусмысленное определение - константы.
Рисунок 2.18 - двусмысленное определение - надмножество.
Рисунок 2.19 - определение двусмысленного - определения.
Рисунок 2.20 - двусмысленное определение - синонимы.
Рисунок 2.21 - делимое понятие - константы.
Рисунок 2.22 - делимое понятие - надмножество.
Рисунок 2.23 - делимое понятие - определение.
Рисунок 2.24 - делимое понятие - синонимы.
Рисунок 2.25 - дихотомия - константы.
Рисунок 2.26 - дихотомия - надмножество.
Рисунок 2.27 - дихотомия - определение.
Рисунок 2.28 - дихотомия - синонимы.
Рисунок 2.29 - достаточное условие - константы.
Рисунок 2.30 - достаточное условие - надмножество.
Рисунок 2.31 - достаточное условие - определение.
Рисунок 2.32 - достаточное условие - синонимы.
Рисунок 2.33 - единичное понятие - константы.
Рисунок 2.34 - единичное понятие - надмножество.
Рисунок 2.35 - единичное понятие - определение.
Рисунок 2.36 - единичное понятие - синонимы.
Рисунок 2.37 - непосредственное умозаключение - константы.
Рисунок 2.38 - непосредственное умозаключение - надмножество.
Рисунок 2.39 - непосредственное умозаключение - определение.
Рисунок 2.40 - непосредственное умозаключение - синонимы.
Рисунок 2.41 - несовместимые по объёму понятия - константы.
Рисунок 2.42 - несовместимые по объёму понятия -
надмножество.
Рисунок 2.43 - несовместимые по объёму понятия - определение.
Рисунок 2.44 - несовместимые по объёму понятия - синонимы.
Рисунок 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. Системе был задан ряд тестовых
вопросов и успешно получены ответы на них.
Примеры некоторых вопросов:
. Найти семантическую окрестность фрагмента
"постулат".
Ответ:
. Найти определение постулата
Ответ:
. Найди константы входящие в определение
Ответ:
Таким образов можно сделать вывод, что база знаний успешно
пополнилась новыми знаниями, и они уже могут использоваться для решения задач
ИСС.
Заключение
В процессе выполнения данной курсовой работы по разработке
ИСС была изучена предметная область "логика". Была спроектирована и
разработана начальная версия базы знаний интеллектуальной справочной системы по
логике. На данный момент БЗ насчитывает более 300 статей. Личный вклад - 50
фрагментов БЗ, а также 30 тестовых вопросов.
Разработанная база знаний позволяет производить навигацию с
помощью шаблонов изоморфного поиска и набора стандартных поисковых операций
находить ответы на вопросы.
Библиографический
указатель
1.
Сайт интеллектуальной поисковой системы Exactus [Электронный ресурс]. - Режим
доступа: http://www.exactus.ru - Дата доступа: 01.05.2012.
.
Кузнецов, О.П. Дискретная математика для инженера / О.П. Кузнецов - Учебное
пособие.6-е изд., стер. - СПб.: Издательство "Лань", 2009. - 400 с.:
ил. - (Учебники для вузов. Специальная литература).
.
Хорошевский, В.Ф. Базы знаний интеллектуальных систем / В.Ф. Хорошевский, Т.А.
Гаврилова - СПб: Питер, 2000. - 384 с.: ил.
.
Проект OSTIS [Электронный ресурс]. Минск, 2012. - Режим доступа:
http://ostis.net/. - Дата доступа: 01.05.2012.
.
Справочно-информационный портал Википедия [Электронный ресурс]. - Режим
доступа: http://www.http://ru. wikipedia.org - Дата доступа: 01.05.2012.
.
Сайт поисковой системы Google [Электронный ресурс]. - Режим доступа:
http://www.http://google.com - Дата доступа: 01.05.2012.
Похожие работы на - База знаний интеллектуальной справочной системы по логике
|