От сложного – к простому. От непонятного – к понятному.

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

В основе предлагаемой системы лежит модель семантических справочных систем, основу которых составляет унифицированное кодирование информации при помощи SC-кода (Semantic Code). Интеллектуальные системы, основанные на SC-коде, называются sc-системами; Унификация представления знаний, позволяет на единой теоретической основе получать знания, их обрабатывать, принимать решения на основе этих знаний, а также генерировать новые знания; Данный факт позволяет говорить о систематизации предметной области на принципиально новом уровне.

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

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

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

3 эволюционных этапа проектирования ИСС ИСС со стандартным набором информационно- поисковых операций и базовым пользовательским интерфейсом ИСС с расширенным набором информационно- поисковых операций и базовым пользовательским интерфейсом ИСС с расширенным пользовательским интерфейсом

Рассматриваемая интеллектуальная информационно-поисковая система по геометрии со стандартным набором информационно-поисковых операций и базовым пользовательским интерфейсом представляет собой 1-й прототип ИСС по геометрии.

Выделена следующая этапность развития текущей версии ИСС: систематизированный сборник тестовых информационно-поисковых задач по геометрии; исходный текст базы знаний интеллектуальной справочной системы по геометрии, представленный в псевдоестественной форме; исходный текст базы знаний интеллектуальной справочной системы по геометрии, представленный в SCg-коде;

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

Что такое Геометрия Евклида? Какие понятия являются неопределяемыми для Геометрии Евклида? Какие высказывания являются аксиомами Геометрии Евклида? Как выглядит полная логическая спецификация Геометрии Евклида? В чем противоречие Геометрии Евклида и Геометрии Лобачевского? Какие отношения заданы на прямых? Как связаны между собой понятия многоугольник и треугольник? Как классифицируется понятие многоугольника? Какой знак используется для обозначения треугольника? По каким признакам осуществляется разбиение (классификация) множества треугольников? Какими свойствами обладает равносторонний треугольник? Как выглядит теорема о равенстве углов в равностороннем треугольнике? Почему справедлива теорема о равенстве углов в равностороннем треугольнике? Какие высказывания используются при доказательстве теоремы о равенстве углов в равностороннем треугольнике?

sc-язык множеств sc-язык логики sc-язык описания отношений sc-язык числовых систем sc-язык гипермедийных структур sc-язык геометрических отношений sc-язык онтологий sc-язык вопросов

sc-язык вопросов предназначен для унификации формальной записи всего множества запросов к ИСС.

Какими свойствами обладают прямоугольные треугольники Какие высказывания описывают свойства понятия прямоугольного треугольника Какие высказывания описывают общие свойства произвольных элементов множества всевозможных прямоугольных треугольников Пример на sc

Вопрос спецификация запрашиваемой у ИСС информации высказывание на sc-языке вопросов принадлежащее к одному из классов типа вопросов Тип вопроса семейство всевозможных типов вопросов элементарный класс вопросов, указание принадлежности к которому вместе с его компонентами однозначно задает операции поиска или генерации соответствующих ответов

запрос по атомарному образцу атомарный вопрос неатомарный вопрос запрос множества высказываний что это такое запрос основных элементов множества запрос множества связок и др.

«какой специальный графический символ используется для обозначения отношения параллельности»

атомарный вопрос неатомарный вопрос вопрос состоящий из 2-х или более атомарных вопросов «Что такое понятие треугольник» «Какими свойствами обладают прямоугольные треугольники»

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

Спецификация операции включает в себя: Описание операции Условие применения Описание алгоритма выполнения операции Исходный текст операции и др.

Операция поиска свойств указанного объекта = SC-операция поиска ответов на запросы свойств указанного объекта =SC-операция поиска описаний свойств указанного объекта Описание операции Операция осуществляет поиск свойств указанного объекта. Операция осуществляет поиск свойств в два этапа. На первом этапе ищется связка отношения основные утверждения*, связывающая указанный объект и множество его свойств. При отсутствии таковой связки отношения, поиск свойств осуществляется на втором этапе. На этом этапе проверяются все высказывания теории на включение в них указанного объекта. Свойством объекта называется высказывание, в которое явно входит данный объект.

Условие применения Значения переменных узлов Х_ и Y_ определяются на этапе проверки условия применения. Значение переменного узла _Y определяет теорию к которой относится заданный вопрос. Значение переменного узла _Х определяет для какого объекта происходит поиск свойств.

Результат успешной работы

Описание алгоритма выполнения операции На этапе проверки условия применения операции, выполняется также поиск в вопросе значимых для операции узлов (узел теории, объекта для которого ищутся свойства, тип вопроса и т.д.). При выполнении условия применения выполняется переход на первый этап поиска свойств. На первом этапе поиска свойств ищется связка отношения основные утверждения*, связывающая указанный объект и множество его свойств. Если такая связка найдена, то происходит генерация ответа, иначе осуществляется переход на второй этап поиска свойств. На втором этапе, поиск происходит в множестве всех высказываний заданной теории (узел у_). Каждое высказывание проверяется на наличие в нем искомого элемента (узел х_). Проверка осуществляется посредством рекурсивного просмотра всего высказывания и проверки вхождения искомого элемента в проверяемое множество. При нахождении такого вхождения высказывание добавляется в результирующие множество, а дальнейший его просмотр прекращается. В завершение, операция генерирует в памяти системы полный и краткий ответ.

Расширение базы знаний Расширение множества информационно-поисковых операций Добавление операций генерации новых знаний используя логический вывод