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

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

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

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

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

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

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

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

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

Для полного, целостного представления о системе следует провести её сравнение с уже существующими аналогами. В качестве схожих систем можно привести интернет-ресурсы 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. Сравнение интеллектуальной справочной вопросно-ответной системы по логике с некоторыми аналогами

Таким образом, разрабатываемая система имеет ряд преимуществ перед аналогами.

Стоит отметить, что с помощью семантической технологии проектирование и разработка ИСС не занимает длительного времени. Все эти преимущества обеспечивается в первую очередь за счет использования технологии семантической сети.

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

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

Что касается трудозатрат по реализации системы на данном этапе, то следует отметить, что в качестве основных трудностей выступают извлечение знаний и их формализация.

2. База знаний проектируемой интеллектуальной системы

1. Сколько модусов в 1 фигуре силлогизма? (4 модуса)

2. Из чего состоит силлогизм? (из двух посылок и одного заключения)

3. К какой фигуре силлогизма принадлежит модус Ferio? (к 1 фигуре)

4. Какие посылки включает модус Ferio? (большая - общеутвердительная, меньшая - частноутвердительная)

5. Принадлежит ли модус Ferio и модус Barbara к одной фигуре силлогизма? (да, принадлежат)

6. В чём разница между модусом Selarent и Barbara? (у модуса Barbara большая посылка общеутвердительная, а у Selarent - общеотрицательная. Вывод у Barbara общеутвердительный, у Selarent - общеотрицательный)

7. Какие существуют синонимы у дизъюнкции? (логическая операция ИЛИ)

8. В чём сходны модус Ferio и Barbara? (меньшая посылка является общеутвердительным суждением)

9. Какое альтернативное понятие у доказательства? (это логическая операция обоснования истинности утверждения)

10. Что такое тезис? (то, что доказывается (какое-либо суждение, высказывание, утверждение))

11. Каким бывает доказательство? (прямое подтверждение; косвенное подтверждение; прямое опровержение; косвенное опровержение)

12. Какова цель аргументации? (принятие аудиторией выдвигаемых положений)

13. Какая задача доказательства? (утвердить обоснованность доказываемого тезиса)

14. Какое определение у модального высказывания? (это отдельный вид суждения, в котором отражается отношение и связь между субъектом и предикатом и показывается отношение к предмету с помощью модальных отношений)

15. Какое правило для среднего термина? (средний термин должен быть распределён хотя бы в одной из посылок)

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

16. Для чего используется аргументация? (для принятия аудиторией выдвигаемых тезисов)

17. Какой посылки нет в модусе Ferio? (общеутвердительной)

18. Зачем необходимо выполнять доказательство? (для подтверждения или опровержения тезиса)

19. Как должен быть сформулирован тезис? (тезис должен быть сформулирован ясно и определенно)

20. Чем ограничивается область истинности предиката? (квантором)

21. Какова история термина силлогизм? (первый ввёл термин силлогизм Аристотель)

22. Превышает ли количество модусов 1 фигуры кол-во модусов 2 фигуры? (нет, не правышает)

23. Равное ли количество модусов у 1 фигуры и 2 фигуры силлогизма? (да, равное)

24. Какие основные утверждения про 1 фигуру силлогизма? (меньшая посылка является утвердительной; большая посылка является общей.)

25. Какая классификация простых атрибутивных суждений? (общие, общеотрицательные, частноутвердительные, частноотрицательные)

26. Где используется "аксиомы классического исчисления"? (в логике предикатов)

27. Когда конъюнкция истина? (когда оба входящих в конъюнкцию высказывания истинны)

28. Когда конъюнкция ложна? (когда хотя бы одно из высказываний входящих в конъюнкцию ложно)

29. Можно ли изменять тезис? (тезис должен оставаться неизменным на протяжении всего доказательства)

30. Почему операцию дизъюнкция еще называют " логической операцией ИЛИ"? (по своему применению максимально приближённая к союзу "или" в смысле "или то, или это, или оба сразу")

2.2 Онтология базы знаний проектируемой интеллектуальной системы