Особенности создания интеллектуальной справочной системы по логике, ее технико-экономическое обоснование. Онтология, содержательная декомпозиция, исходные тексты базы знаний, ее верификация и отладка. Тестирование интеллектуальной справочной системы.
Краткое сожержание материала:

Размещено на

Содержание

• Перечень условных обозначений
• Введение
• 1. Технико-экономическое обоснование проектируемой интеллектуальной системы
• 2. База знаний проектируемой интеллектуальной системы
• 2.1 Задачно-ориентированная спецификация базы знаний проектируемой интеллектуальной системы
• 2.2 Онтология базы знаний проектируемой интеллектуальной системы
• 2.3 Содержательная декомпозиция базы знаний проектируемой интеллектуальной системы
• 2.4 Исходные тексты базы знаний проектируемой интеллектуальной системы
• 2.5 Верификация и отладка базы знаний проектируемой интеллектуальной системы
• Заключение
• Библиографический указатель

Перечень условных обозначений

ИСС - интеллектуально справочная система;

БЗ - база знаний;

Введение

Идея создания искусственного подобия человека для решения различного рода задач давно была присуща людям.

В настоящее время развитие информационных технологий, робототехники, вычислительных машин и систем идёт быстрыми темпами. Современная техника всё более совершенствуется: улучшается её производительность, качество работы. Увеличился перечень задач решаемых компьютерными технологиями. Благодаря достижениям науки многие задачи решаемые человеком, могут решаться уже и машинами.

Однако, не каждый из пользователей может воспользоваться информационной системой без определённых знаний и инструкций по нужной системе. Большинство технологий не могут обеспечить полное взаимодействие между системой и пользователем. Из-за вышеназванного барьера происходит постоянное развитие информационных технологий, влекущее за собой, как следствие, их интеллектуализацию.

Одной из приоритетных целей информационных технологий является: переработка первичной информации для последующего предоставления её пользователю, с целью анализа, и принятия на его основе решения по выполнению какого-либо действия.

Целью данной курсовой работы является создание интеллектуальной справочной системы по логике, которая могла бы предоставлять пользователю ответы на вопросы которые содержатся в базе знаний, а также была бы способна формулировать новые знания на основе логического вывода и анализа уже имеющихся.

В рамках курсового проекта ставятся следующие задачи:

провести анализ выбранной предметной области;

разработать базу знаний интеллектуальной справочной системы;

спроектировать и реализовать первую версию интеллектуальной справочной системы по выбранной предметной области;

протестировать интеллектуальную справочную систему.

1. Технико-экономическое обоснование проектируемой интеллектуальной системы

Рост науки прямо пропорционален росту объёма обрабатываемой и получаемой информации в различных сферах. Остро стоит проблема анализа всех этих данных, для последующей их сортировки по предметным областям, распределению между различными системами, определения отношений между ними.

Из вышесказанного ясно, что в настоящее время есть реальная проблема поиска информации.

Долгое время главным из источников информации были книги. Инструментом поиска был доступ человека к книжному хранилищу. Поиск информации занимал достаточно большое время, т.к. человека, нуждающегося в информации, интересовала не сама книга, а только некоторый фрагмент, и очень часто нельзя было объяснить, как знания связаны с названием книги или её автором.

С развитием науки изменились и приоритеты в использовании того, или иного источника информации.

Однако и сегодня поиск по базам данных занимает не мало времени. Специалисты по информационным технологиям считают, что эту проблемы может исправить развитие семантических технологий. Они устроены таким образом, что между всеми данными существует смысловая связь, другими словами устанавливается отношения между ними. Данная особенность позволяет работать с информацией на высоком уровне.

Примером использования семантических технологий является семантические справочные системы. Семантические справочные системы - класс информационно-справочных систем, построенных с использованием семантических технологий.

Логика - один из важнейших гуманитарных предметов. Люди, изучающие её, сталкиваются с рядом трудностей. Благодаря ИСС по логике изучаемый материал будет легче восприниматься. Данная ИСС будет содержать все базовые понятия и логические законы.

Таким образом список пользователей будет очень обширным. В качестве пользователей могут выступать студенты, ученики, преподаватели, а так же люди и других профессий, изучающие логику.

Главной особенностью интеллектуальной системы будет то, что она способна "самосовершенствоваться", т.е. формировать новые знания с помощью логического вывода и механизмов выявления закономерностей в накопленных знаниях.

Для полного, целостного представления о системе следует провести её сравнение с уже существующими аналогами. В качестве схожих систем можно привести интернет-ресурсы exactus.ru [1] и google.com [6].

Exactus [1] - средство семантического интеллектуального поиска и анализа информации в гетерогенных информационных ресурсах и сервисах: Internet/Intranet сети, локальные/распределенные базы данных различного рода. Система представляет пользователям сервис глобального поиска с возможностью ввода естественно-языковых запросов, расширения запроса синонимами, выбором поискового профиля и т.д. что существенным образом увеличивает точность и полноту поиска.

Следует отметить, что новая версия Exactus функицонирует на высокопроизводительной кластерной установке под управлением операционной системы Unix. Специалисты ИСА РАН провели переработку архитектуры Exactus, сделав систему кросс-платформенной и масштабируемой.

Также Exactus позволяет решить проблему семантически релевантного поиска.

Google [6] - поисковая система, появившаяся сравнительно недавно, в 1998 г. Её создатели, сотрудники Стенфордского университета (США) Сергей Брин и Лоуренс Пейдж, постарались сделать её механизм более гибким и расширяемым, чем существовавшие на то время у грандов поиска - Аltavista и Inktomi. На данный момент Google и Fast (еще одна ИПС, www.alltheweb.com) имеют самый большой объем проиндексированных страниц - более двух миллиардов.

В течение ближайших месяцев поисковик Google обзаведется новыми возможностями - в частности, научится отвечать на вопросы, заданные пользователями. В результатах поиска, помимо ссылок на те или иные ресурсы, появятся ответы на вопросы, которые можно будет увидеть, не переходя по ссылкам.

Благодаря "перестройке" поисковик сможет давать ответы на достаточно сложные вопросы, например: запрос "озеро Тахо" позволит пользователю, не посещая дополнительные сайты, получить информацию о местоположении озера, высоте над уровнем моря, температуре воды и так далее.

Нововведения станут возможны благодаря реализации технологии так называемого "семантического поиска". Для ответа на вопрос Google анализирует значение слов, из которых составлен запрос, и найдет необходимые сведения в специальной базе данных.

Стоит заметить, что ответы на простейшие вопросы Google умеет давать уже сейчас - например, отображать в результатах поиска котировки акций, выдавать информацию о погоде, осуществлять арифметические операции.

Таблица 1. Сравнение интеллектуальной справочной вопросно-ответной системы по логике с некоторыми аналогами

Критерии сравнения	ИСС	Интернет-ресурс google.com	Интернет-ресурс exactus.ru
Содержание теоретических сведений	+	-	-
Возможность простого поиска по ключевым словам	+	+	+
Возможность сложно-структурированного поиска	+	-	+
Возможность генерации знаний	+	-
Возможность интеграции с другими системами	+	-
Способ ответа на вопрос	Готовый ответ на естественном языке.	Готовый ответ на естественном языке (на некоторые вопросы) Список источников содержащих ответ	Список источников содержащих ответ

Таким образом, разра...