В семи томах том Информатика смысла Машинная лингвистика




НазваниеВ семи томах том Информатика смысла Машинная лингвистика
страница14/33
Дата29.11.2012
Размер4.61 Mb.
ТипДокументы
1   ...   10   11   12   13   14   15   16   17   ...   33

3.2.4. Параметры Интерфейса. К параметрам относятся следующее:

  • вид интерфейса,

  • общие свойства интерфейса,

  • управление сохранением документов,

  • обзор каталогов,

  • управление доступом в систему,

  • выбор шрифтов,

  • выбор цвета шрифтов,

  • управление правописанием.

Это краткий перечень работ, которые поясняются в руководствах конкретных версий.


3.2.5. Статистика Интеллсист. Статистика по системе и ее работе подключается из сервиса. Вызов статистики по разделам (после равенства должны стоять конкретные данные по конкретному запросу пользователя):

по материалу текстов (файлы с расширением .txt):

Число слов по буквам =

Число терминов заданной длины =

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

по работе МЛВ:

Размеры вывода =

Число применений правил =

Быстродействие логического вывода в ЛИПСах =

по содержимому Интеллсист (его файлов)

Размеры системы =

Используемая память =

Размер свободной памяти =

по содержимому БД (по таблицам - из СУБД)

Размеры баз данных =

Размеры таблицы =

по содержимому БЗ

Размеры базы знаний =

по лексикону

Размеры лексикона или число терминов =

Размеры словаря =

Число синонимов =

Число стандартных слов =

Число терминов по сортам =

Число терминов по типам =

Размеры всех комментариев =

по набираемому материалу (знания и запрос)

Размеры лексикона запроса =

Размеры словаря запроса =

Число синонимов =

по результату

Размеры результата =

по библиотеке

Число карточек =

Число карточек по разделам =

Статистические данные по решению задачи, вопроса или проблемы полезны для оценки сложности запроса.


3.2.6. Настройка Интеллсист. К настройке системы такие параметры или работы:

  • настройка на проблему,

  • настройка ресурсов,

  • выбор СУБД,

  • создание журнала санкционированного доступа.

Опять, краткий перечень работ, которые поясняются в руководствах конкретных версий.


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


3.3. Иерархия работ и подработ


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

1. Установка и инициализация Интеллсист.

2. Определение предметной области. Предметная область - набор совокупностей имен и данных, которые являются или будут являться именами и значениями для фактов. В этом разделе определяются множества данных (типы), новые термины понятий и синонимы ранее введенных терминов.

3. Определение проблемной области. Интеллектуальное исследование связано с операциями (функциями и процедурами для моделирования), которые вводит или использует пользователь. К ним относятся операции над данными, правила подстановки, масштабы, преобразования.

4. Определение области библиотечных данных и знаний. Накопление разделов данных, знаний или систем способствует сохранению отработанных (точных) знаний и атрибутов их использования, а также для создания композиций из элементов библиотеки.

5. Определение области знаний. К области знания относятся фразы знания (основная информация) в соответствии с ЯПП, исключения, которые при инициализации в процессе логического вывода решений логического уравнения вызывают дополнительное знание, и прагмы для указания системе характеристик ее работы.

6. Определение области запросов. Запросы могут быть представлены в форме вопроса, задачи или проблемы (фразы на ЯПП). При этом сама система классифицирует запросы по классам задач и, после получения решения, указывает на сорт запроса. Исключение составляет класс запросов на запоминание логического вывода. Его необходимо инициализировать по меню работ.

7. Определение области систем. Перед началом работы допускается вызов Интеллсист вместе с ее писанием и инициализацией. Если что-нибудь забыто, то можно запустить пример показа работы по формированию системы, структуры БЗ, Интеллсист и библиотеки.


3.3.1. Формирование структуры Интеллсист. Первая ведущая работа - это задание параметров, режимов, исходных утверждений и структуры памяти СУБЗ. Формирование структуры Интеллсист в большинстве случаев не обязательно, работает принцип «формирование по умолчанию». Эта работа требует от пользователя определенной квалификации. Перед началом работы допускается вызов Интеллсист вместе с ее описанием и инициализацией. Начальная инсталляция программ делается при запуске. Вызов образов и установка параметров систем необходима перед началом работ, если система не установлена ранее и если не принят принцип «по умолчанию». Инициализация БЗ и Интеллсист осуществляется для установки начальных параметров данных и программ (или по умолчанию). Инсталляция из библиотеки состоит из организации каталога, введения формата карточки и создания файлов. При отсутствии библиотек необходимо задать имена и параметры хранилища картотеки и содержимого полок библиотеки. Работы по созданию рабочей структуры Интеллсист включают следующие разделы.


1. Настройка на проблему. Имеется семь классов проблем, на которые необходимо настроиться. Настройку можно игнорировать, так как всегда действует принцип выполнения настройки по умолчанию. Более того, формулировка запроса обычно не предсказывает класс проблемы, которая должна быть разрешена. Решая одну проблему (по впечатлению пользователя) можно получить ответ на решение другой проблемы. Кажущееся доказательство теоремы (проблема 1) может привести к выводу условий того, что утверждение будет теоремой (проблема 2). Однако, после испытания своих запросов пользователь может точно установить требуемый класс проблем и осуществить настройку Интеллсист на этот класс. Процедуру определения класса проблем можно условно именовать отладкой параметров класса запросов и соответствующего класса проблем.


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


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

  • оставить без изменений результат (перечисление через запятую совместных фактов каждой альтернативы, перечисление через точку с запятой альтернатив, завершение записи результата точкой),

  • свернуть результат в формулу или утверждение (построение единого текста без перечисления),

  • исключить из результата печать исходных фактов (известные факты повторить важно для идентификации или привязки новых фактов),

  • результаты выдавать словами (заменить знаки их синонимами).

Такие рекомендации полезны для показа результатов в форме, близкой к естественной.


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


Четвертый класс проблем - информационный поиск - связан с вызовом подсистем поиска сообщений по ключевым словам или по смыслу запроса. Рассмотрение введенных или полученных таблиц осуществляется либо с помощью используемой СУБД, либо по печати результатов. При настройке необходимо указать имя СУБД или подсистемы поиска сообщений.


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


Шестой класс проблем - построение или синтез программы - связан с настройкой системы через набор ряда атрибутов:

  • язык программирования, для чего выделены объектные языки Паскаль, Си++, Ада и язык Ассемблера,

  • вызов программы компилятора (с параметрами),

  • выбор размера дробления текста программы на блоки (например, по 64К),

  • выбор поведения программ при возникновении стандартных исключительных ситуаций (указание «контролировать - не контролировать»),

  • выдача схемы, или текста, или текста и схемы готовой программы.


Седьмой класс проблем - информационный синтез системы - настраивается на выдачу результатов:

  • текстами (по умолчанию),

  • схемами с пиктограммами для понятий (выбор пиктограмм пользователем для указанных им терминов) с текстами в фигурах (выбор пользователем фигур для элементов схемы),

  • ссылками на тексты из фигур (выбор пользователем фигур для элементов схемы),

  • а также раздельно схемами и пояснительными текстами.


2. Создание формы заданий. Имеется три формы запросов: текстовая форма (по умолчанию), шаблоны и анкеты. Указание на текст необходимо для перехода от шаблонов и анкет к текстовому набору запроса. Имеется три режима решения запроса: обычный, когда запрос вводит сам пользователь, анкета и шаблон, когда запрос составляется знаниеведом в форме анкеты или шаблона соответственно, а пользователь только заполняет их и решает задание.


Анкета формируется из понятий (вопросная часть анкеты), выбираемых из лексикона. Если выбирается метапонятие, то в анкету переписываются все понятия данного метапонятия (с раскрытием рекурсии метапонятий). Каждое понятие сопровождается или не сопровождается пользователем своим значением в строчке, где помещено понятие. Заполненная анкета либо передается в запрос (обычный режим), либо передается на решение (режим анкеты). Каждый пункт анкеты может сопровождаться подсказками или образцами заполнения. Подсказки создаются автором анкеты.


Шаблон формируется из текстов в двух формах. Первая форма составляет запрос с окнами, она пишется на языке Лейбниц, вторая форма составляет фрагменты запросов, которые могут использоваться в реальных запросах, она также составляется из текста на ЯПП. В текстах шаблона первой формы имеются окна, показанные символом вопроса и заполняемые пользователем. Заполненный шаблон целиком или по частям передается в запрос для выполнения.


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


3. Выбор формы отчетов. По результатам логического вывода по запросу печатается окончательный результат либо в форме текста (по умолчанию), либо по заведомо составленному шаблону, либо с помощью ФЯ. В некоторых случаях результатами являются заполненные таблицы, они могут печататься с помощью программ СУБД.


4. Настройка на СУБД и БЗ. Если необходима работа с таблицами, то система должна настраиваться на имеющуюся СУБД. Выбор СУБД за пользователем. Интеллсист может быть настроена на имеющиеся БЗ, если они не противоречат друг другу. Заказ СУБД и БЗ для пользователя не обязательны, он может ориентироваться на свои силы и знания.


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


6. Настройка на системы программирования. Если поставлена цель создания программы (или подпрограммы для библиотеки программ), то систему необходимо настроить на объектный язык программирования. Ими могут быть Паскаль, Си, Ада или язык ассемблера.


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


Подробное описание работ и подработ можно либо понять интуитивно, либо посмотреть по руководству пользователю.


3.3.2. Работа с языками в Интеллсист. Интеллсист допускает работы по формированию и использованию ФЯ для создания генераторов, анализаторов и трансляторов текстов, расширения ЯПП под нужды пользователя. Работа с ФЯ является специальной, ориентированной на системного программиста или знаниеведа, хотя после приобретении некоторых навыков каждый пользователь сможет применять перечисленные ниже подработы. Работа с языками - задание текстов формализма ЯПП и ФЯ - связана с построением графа распознающей грамматики, построением порождающей грамматики и таблиц символов. Построение текстов ЯПП может потребовать перехода к работе по формированию лексикона, так как термины ФЯ могут быть использованы при формировании запросов и при передаче знаний через СУБЗ. Вторая работа сложна тем, что она может вызвать побочные работы по разработке некоторых семантических подпрограмм преобразования текстов в структуры представления знаний в СУБЗ.


1. Языки. Этот вид знания (грамматики различных форм) необходим для многих целей. Главные из них - это порождение текстов конкретного языка и распознавание принадлежности текста конкретному языку. Грамматика ЯПП также является объектом изучения в форме расширения изобразительных средств и методов разбора новых лексем и термаций из ЕЯ. Имеются специальные языки для разработки сценариев технологии или диалогов с Интеллсист - все они являются носителями знаний, которые целесообразнее всего представлять именно через обе формы грамматик. Меню Интеллсист предусматривает некоторые работы по вводу текстов семантических знаний. Рассмотрим работы по вводу таких знаний.


2. Порождающие грамматики. В основе ввода порождающих грамматик использован метаязык Марков. Окна меню подскажут формы и составы сведений, которые отражают грамматику. В процессе набора правил грамматики создаются словари символов и метапонятий, с помощью которых можно облегчить набор очередных правил или осуществить контроль над правильностью набора. Работа с порождающими грамматиками связана с заданием в соответствии с языком Марков формального описания требуемого языка, параметров генерации текстов, запуском программ генерации и оформлением результатов генерации.


3. Распознающие грамматики. В основе ввода распознающих грамматик использован язык графов языка (см. гл.5). Также окна меню подскажут формы и составы сведений, которые отражают грамматику. Для подсказки можно использовать набор (в окне) символов ASCII. Работа с распознающими грамматиками также связана с заданием графа языка, генерацией анализатора текстов, исходного текста для анализа, запуском анализатора и оформлением результатов трансляции.


4. Уточнение ЯПП. СеГ непрерывно пополняется своим словарным и понятийным запасом. По-видимому, процедура пополнения беспредельна. Поэтому инструментарий Интеллсист обеспечивает расширение словарного запаса ЯПП. Работы по уточнению ЯПП связаны с заданием новых терминов общего назначения.


5. Язык пути логического вывода. Формирование языка пути логического вывода связано с заданием определений понятий и печатью этих определений в качестве итогов работы Интеллсист в форме, пригодном для обеспечения читаемости пути логического вывода. Путем-результатом является план поиска пути в «лаберинте».


6. Сценарий работы с Интеллсист. Если все работы с Интеллсист в ее конкретном применении рутинны, то целесообразно однажды запомнить последовательность действий, представить ее в определенной форме и следовать по «запланированному» маршруту. Языки сценариев для работы инструментария включают подработы по созданию последовательности применения класса Интеллсист к запросам, а для работы Интеллсист – к технологии работы пользователя с системой. Построение композиции Интеллсист (ее можно именовать интеллектуальное макропрограммирование) и сокращение числа нажатий на клавиши - это пути повышения производительности пользователя. Сценарий состоит из отметок последовательности обращений к некоторым Интеллсист с некоторыми запросами или к подработам самой Интеллсист.


7. Языки запросов в информационном поиске по таблицам определяются подключенными к инструментарию подсистемам поиска и СУБД. Языки спецификации систем задают фигуры для некоторых терминов и связей их с другими понятиями, а также терминов-функций, которые связаны с фигурами или связями. Языком запросов являются тексты, составленные по правилам СеГ.


3.3.3. Формирование лексикона. Работа содержит подработы построения (генерации) лексикона. При наборе элементов лексикона создаются словари из слов и терминов. До набора элементов лексикона рекомендуется провести анализ текстов, при котором создаются претенденты на термины. Работа по анализу текстов именуется сборкой. Исследование текстов сопровождается набором статистики слов и терминов. Из получаемых таблиц терминов можно осуществлять передачу отдельных терминов в окна набора терминов, приписав им требуемые характеристики. Работы выполняют обычно лингвист, знаниевед или пользователь.


Термины понятий добавляются в лексикон из:

  • чернового наброска лексикона, полученного после сборки,

  • файла стандартных терминов (встроенный словарь),

  • фундаментальных БЗ (по заказу пользователя),

  • БЗ конкретных предметных и проблемных областей (по конкретной специальности),

  • областей знаний самого пользователя (при наборе личного лексикона),

  • запросов пользователя и автоматически в процессе работы Интеллсист из рабочих терминов, скрытых от пользователя,

  • и других лексиконов.

Набираемые тексты запросов можно редактировать, если обнаружены какие-либо ошибки или при изменении содержания запроса. При редактировании следует помнить о сохранении БЗ, если реализуется накопление знаний, о повторной трансляции набираемого текста. Перед трансляцией необходимо восстанавливать БЗ из того или иного файла. Выбор файла с БЗ ложится на пользователя.


Следует обратить особое внимание на ручную и автоматическую сборку терминов. Термины выбираются вручную по тексту (выделение цветом), из вызываемого терминологического словаря или с помощью вызываемого словаря из слов (напрямую или по прецеденту). Причем термины могут заимствоваться из других приложений Интеллсист, из других областей знания. Для этого необходимо вести библиотеку лексиконов. Словари терминов могут создаваться автоматически в разделе «Сборка».


Автоматическое создание словарей может соединяться с многократным прогоном текстов знаний или запросов через транслятор. При каждом запуске транслятора необходимо сохранять полученную БЗ или восстанавливать БЗ от предыдущего сохранения. По мере обнаружения ошибок либо в словари вносятся новые термины, либо последовательно редактируется весь текст. Наиболее частыми ошибками являются две: не описан термин или термин описан дважды. Редактирование может быть связано с исключением избыточного текста или его фрагментов (это бывает чаще всего).


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


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


Формализм записи лексикона не пригодится, если набор его осуществляется по меню. Главной работой при создании лексикона является работа с окнами, которые подсказывают пути перехода от одного режима к другому. Оконный набор генерирует текст знаний или запроса в выделенном файле с показом на экране дисплея. При печати или показе набор терминов из слов и знаков, помещается между знаками ~ (~возможн_о +~) с выделением у слов основы и конца, которые отделяются подчеркиванием (_). По основе слова осуществляется идентификация слова, конец слова служит для грамматической вариации слова. Из лексикона можно выбрать термин и просмотреть его наполнение. Из словаря можно выбрать подходящее слово или просмотреть его заполнение. Для анализа понятия можно просмотреть его характеристику по терминологическому словарю. Можно вызвать все синонимы данного понятия.


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


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


3.3.4.Работы с библиотекой. Работа с библиотекой должна моделировать известную работу в любой из известных пользователю районных, городских или республиканских библиотек с книгами или документами. Конечно же, имеются и отличия машинных и известных библиотек. Наполнение машинной библиотеки составляют файлы, которые при использовании копируются, а не изымаются. Кроме этого, машинная библиотека состоит из стандартных разделов:


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

2. языки различного назначения (БЯ) - файлы, содержащие машинные представления порождающих или распознающих грамматик, построенных для работы Интеллсист при решении лингвистических заданий;

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

4. БД - файлы, содержащие различные накопители данных или результатов (исходных или новых фактов), массивы, таблицы или записи;

5. БЗ - файлы, содержащие знания из различных областей знания и представленные текстами, в кодах Интеллсист или на ФЯ Лейбниц;

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

7. реализации Интеллсист (БИ) - файлы, содержащие различные версии и редакции программ Интеллсист и всей сопутствующей информации;

8. картотека (БК) - один или несколько файлов с наборами карточек, один файл является стандартным для данной библиотеки, а остальные содержатся для справки;

9. тексты документов (БТ) - файлы, содержащие различные текстовые документы по Интеллсист, черновики с текстами или с исходными знаниями, находящихся в работе.

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


Создателями библиотек являются авторы Интеллсист (исходный пакет), пользователь или библиотекарь (например, знаниевед). Библиотека может создаваться «от нуля» или автоматически пополняться через команды-операции меню. Исключение из библиотеки карточки или документа автоматически исключает документ или карточку соответственно.


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

1. название раздела библиотеки,

2. инвентарный номер - внутренняя нумерация карточек по порядку,

3. автор(ы) документа,

4. краткое название документа,

5. размер документа в Кб или б,

6. фирма-источник,

7. дата введения в библиотеку,

8. дата модификации,

9. дата последнего использования,

10. аннотация документа (возможно с УДК),

11. лицензия (номера) и может быть пуст,

12. версия документа, состоящая из четырех номеров по данному далее смыслу: 1-фундаментальный, 2 -номер редакции, 3-месяц и 4-год выпуска,

13. доступ-путь к файлу (чтение-изменение-запись),

14. скрытый пароль автора,

15. имена пользователей,

16. скрытый пароль пользователей,

17. отметка о выборе материала,

18. указатель адреса в дереве.


Работа с библиотекой включает следующие основные действия:

  1. ведение картотеки;

  2. удаление, замена или помещение в библиотеку;

  3. вызов документа по карточке;

  4. просмотр карточек и файлов;

  5. поиск документов в библиотеке;

  6. просмотр карточек и файлов;

  7. упорядочивание элементов раздела библиотеки по алфавиту или по предметам;

  8. статистическая обработка библиотечных данных;

  9. листование каталогов по разделам и просмотр карточек для поиска необходимого материала.

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


3.3.5. Формирование БЗ. БЗ создается только квалифицированными специалистами. Это не значит, что остальные пользователи исключаются из работ по созданию БЗ. Через запросы можно создавать фрагменты БЗ или БЗ целиком. Передача таких БЗ для тиражирования становится весьма сложным делом, но пригодным для экспериментальных работ со знаниями. Ответственность создателя БЗ высока, поскольку эта работа подразумевает ИП класса задач, характеризующиеся тщательным подбором понятия, их терминов и характеристик, а также исходных соотношений понятий. Отличие БЗ, созданной в этом разделе библиотеки, от БЗ, созданной в разделе запросов, заключается в методах окончательного машинного оформления файлов со знаниями (упаковка и маркировка). Созданная в этом разделе библиотеки БЗ помещается вместе с карточкой. БЗ бывают встроенная, фундаментальная, по области знаний, пользовательская по запросам


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


Для работы «с нуля» исследуется файл с книгой (или другой документацией), по которой можно автоматически составить словарь терминов. С помощью этого словаря и словаря из стандартных терминов, а также словаря из слов можно составлять тексты знаний, если знаний в книге недостаточно. Создается лексикон. Если БЗ уже создавалась, то вызывается файл с набросками БЗ и продолжается редактирование, при котором также можно воспользоваться словарями. Так или иначе, составленный текст знаний может транслироваться для выявления ошибок различного свойства. Эти процедуры можно назвать контрольными запусками или отладкой знаний. В процессе отладки можно обращаться к словарям из терминов или слов для исследования (или напоминания) их характеристик. Для ориентации по тексту можно реализовать поиск по тексту. Для введения новых терминов необходимо перейти в раздел «Лексикон» и пополнить или исправить состав лексикона, а затем вернуться в раздел БЗ для продолжения работ над БЗ. Для введения новых данных также необходимо перейти в раздел «Лексикон» и осуществить заполнение БЗ фактами.


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

1. Редактирование исходных запросов связано с изменениями в имеющемся запросе, вставкой в запрос шаблона или анкеты, а также самостоятельная работа по анкете.

2. Ввод текстов и данных для решения задачи с помощью СП.

3. Разрешение запроса. Трансляция и отладка запросов состоит из запуска транслятора в режимах: по строчке, по абзацу или до курсору для точной локализации ошибок. Одновременно с трансляцией осуществляется предварительное решение или полное решение запроса.

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

5. По результатам можно реализовать вызов формы отчета и преобразование результата по форме.


Конструирование языка запросов важно для определения формы самого запроса. Имеются стандартные формы: фраза (возможно с формулами), анкета или шаблон. Другие формы устанавливаются с помощью распознающих формальных грамматик и шаблонов для ответов. Запросы могут вводиться фразами ЯПП. Фразы формируются на ЯПП. Анкета состоит из вопросов и предполагаемых ответов пользователя или форм для ответов. Что найти определяет пользователь. Шаблонный запрос представлен в заданной форме с возможным заполнением пользователя окон необходимой информацией.


3.3.7. Формирование новой Интеллсист. Формирование Интеллсист предназначено для создания новых систем из имеющихся в библиотеке. Имеется шесть фундаментальных операций композиции двух и более Интеллсист. Эти операции рассмотрим подробнее. В связи с проблемой формирования Интеллсист интересен вопрос о создании БЗ, с помощью которой можно формировать программы Интеллсист по запросам пользователей (универсальная Интеллсист - одна из операций формирования). На этот вопрос нужно ответить утвердительно. Источником идеи формирования Интеллсист является фундаментальная книга по алгоритмике [Марков84], являющейся вторым переработанным изданием книги Маркова «Теория алгорифмов», выпущенной в 1954 году. Итак, рассмотрим операции над Интеллсист, которые совпадают с операциями формирования новых алгоритмов. При этом предполагается, что используется либо одна БЗ, либо несколько БЗ для некоторых предметных и проблемных областей. Излагаемые ниже операции образуют фактически язык проектирования систем.


Расширение лексикона. Операция выполняется автоматически в случае введения новых понятий в запросе. Добавление понятий в лексикон не изменяет результата разрешения запросов, если понятия не совпадают по терминам или значениям в разных запросах. Эту операцию можно представить формально так. Пусть Л1 - обозначение исходного лексикона, Л2 - расширенного новыми понятиями, тогда


ИНТЕЛЛСИСТ(Л1, запрос) = ИНТЕЛЛСИСТ(Л2, запрос),


где ИНТЕЛЛСИСТ - программы Интеллсист с лексиконом Л, работающая над запросом «запрос» и логически выводящая результат ИНТЕЛЛСИСТ(Л, запрос), «запрос» - конкретный запрос, Л1 > Л2. Расширение лексикона создает новую систему. Причем лексикон может быть расширен в БЗ при ее пересмотре. Расширение БЗ может привести к нарушению равенства.


Повторение. Операция выполняется по правилу, которое в прежних (см. выше) обозначениях можно представить так:


ИНТЕЛЛСИСТ1(Л, запрос) = ИНТЕЛЛСИСТ(Л, ИНТЕЛЛСИСТ(Л, запрос)).


Интеллсист с именем ИНТЕЛЛСИСТ применяется один раз к запросу «запрос» в лексиконе Л (или, вообще говоря, в БЗ), а второй раз - к запросу, который является результатом первого применения. Число повторений может быть произвольным, но конечным.


Соединение. Операция применяется по правилу, которое можно в прежних обозначениях представить так:


ИНТЕЛЛСИСТ1(Л, запрос) = ИНТЕЛЛСИСТ(Л, запрос1) ^ ИНТЕЛЛСИСТ(Л, запрос2).


Интеллсист с именем ИНТЕЛЛСИСТ применяется один раз к запросу «запрос1» в лексиконе Л, второй раз к запросу «запрос2», а результаты соединяются в один общий результат. Число соединений может быть произвольным, но конечным.


Ветвление. Некоторые Интеллсист являются распознавателями свойств запросов по такой схеме: если запрос обладает известным свойством, то результатом выполнения ИНТЕЛЛСИСТр(Л, запрос) будет истина, иначе - ложь. Запрос в таком случае является претендентом на звание теоремы или ложного высказывания. Такие распознаватели свойств запросов можно использовать для построения операции ветвления, которая формально может быть изображена так:


ИНТЕЛЛСИСТ1(Л, запрос) = если ИНТЕЛЛСИСТр(Л, запрос),

то ИНТЕЛЛСИСТ2(Л, запрос), иначе ИНТЕЛЛСИСТ3(Л, запрос).


Результат новой Интеллсист равен результату применению ИНТЕЛЛСИСТ2 к запросу, если распознаватель вывел истину, или равен результату применению ИНТЕЛЛСИСТ3 в противном случае.


Композиция. Эта операция напоминает операцию повторения, но использует различные Интеллсист. Формально операцию можно представить так:


ИНТЕЛЛСИСТ3(Л, запрос) = ИНТЕЛЛСИСТ2(Л3, ИНТЕЛЛСИСТ1(Л2, запрос)).


Последовательно применяются две Интеллсист, вначале применяется ИНТЕЛЛСИСТ1, а затем к результату ее применения применяется ИНТЕЛЛСИСТ2. Обе применяемые Интеллсист могут использовать различные лексиконы.


Универсальная Интеллсист. Об этой операции сделана заметка вначале раздела. Формальная запись имеет вид:


ИНТЕЛЛСИСТ(Л, запрос) = ИНТЕЛЛСИСТу(запись БЗ, запись запроса),


где запись БЗ и запись запроса - описание БЗ (вместе с лексиконом) и запроса на некотором известном системе языке. Под БЗ понимается совокупность всех знаний относительно ИЛ, ЯПП, структуры памяти Интеллсист (внутреннее представление элементов БЗ) и др., что обеспечивает передачу всех сведений, которые потребовались при создании Интеллсист.


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


3.3.8. Системные работы. Выход из системы по окончании работ осуществляется выполнением этой работы, или нажатием клавиши Esc, или нажатием двух клавиш Alt-x. Кроме выхода имеются средства для работы системных программистов (авторов систем) по развитию средств ИП (инструментарий, Интеллсист или БЗ). Эта часть скрыта от пользователя. БЗ - это информационная модель предметной и проблемной областей, она отражает свойства реального пользовательского мира и включает лексикон терминов понятий и их значений из БД. БЗ в ИП создаются проще, нежели наборы продукций для ЭС.





3.4. Проектирование работ для меню


Создание меню для пользовательской программы осуществляется с помощью БЗ «Интерфейс». Синтез программы с помощью Интеллсист целесообразнее всего реализовывать после разработки интерфейса для связи пользователя программы непосредственно с программой. До применения БЗ «Интерфейс» необходимо разработать проект, в котором выделяется список работ, устанавливается порядок их выполнения и определяются алгоритмы самих работ. Интерфейс пользователя с программой обычно ориентирован на ввод исходных данных, представленных некоторым(и) видом(ами) знаний, показ или фиксация выходных данных и организацию циклической работы программы над варьируемыми исходными данными.


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

ввод начальных условий (или данных), которые определяют состав работ СП,

представление о выходных данных, которые определяют итоги работы СП,

общее представление об алгоритмах реализации решения задачи (вместе с промежуточными данными),

преобразование исходных данных в конечные или выходные данные,

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

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

Ставится проблема - построить распределение усилий по созданию алгоритма реализации преобразования средствами БЗ и ЯПП и взаимодействия с проектируемой программой.


Меню записывается одним из предложенных в разделе 3.2 способом, проверяется на корректность методом проведения «игр» и реализуется записями на ЯПП с использованием терминологии БЗ «Интерфейс». Затем осуществляется отладка, испытание, верификация и тестирование сконструированной программы с помощью Интеллсист и указанной БЗ.


3.5. Пиктографические меню


Меню может реализовываться в форме оконной, пиктографической, кнопочной и анимационной техники с рисунками. Рассмотрим вторую форму. Управление работами может производиться путем указания мышью и нажатия клавиши. Каждая работа выбирается по меню или, если нужно короче, нажатием на выделенные кнопки. На современных ВМ имеется много форм исполнения меню. Здесь указаны только основные. Совокупность кнопок быстрого набора образует пиктографическое меню. Компьютерные игры предусматривают весьма красочные пиктограммы. Для работы с Интеллсист принят строгий режим использования кнопочных пиктограмм.


3.6. Общая характеристика других работ


К другим относятся работы, которые допускает WINDOWS и другие имеющиеся системы. До обычного применения Интеллсист можно, а иногда целесообразно, войти в Редактор для создания текстового файла с набросками знаний или запросов, со словарями из слов или терминов или в систему программирования для формирования программистами библиотеки подпрограмм для применения пользователями. До обычного применения Интеллсист можно скомпилировать тексты по имеющимся текстовым файлам для создания черновика БЗ. Это только образцы работ, которые можно выполнить до применения Интеллсист. Аналогичное перечисление можно дать на работы по оформлению отчетов по итогам применения Интеллсист. Все результаты прогонов Интеллсист накапливаются в файлах. По окончании взаимодействий с Интеллсист можно приступить к созданию полного отчета с построением заключения или выводов.


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


3.7. Инсталляция программ


Исполняемые программы и документация хранится и распространяется на CD-ROM. Среди документов имеются известные файлы readme.txt, которые содержат экспресс информацию о работе с диском. Содержимое на дисках может инициироваться автоматически. Кроме информационных файлов имеются файлы setup.exe, выполнение которых обеспечит инсталляцию всего инструментария Интеллсист.


Для информации пользователя предусмотрена подсказка, которая вызывается нажатием клавиши F1. Иллюстрацией подсказки является список, приведенный в Приложении 1.


1   ...   10   11   12   13   14   15   16   17   ...   33

Похожие:

В семи томах том Информатика смысла Машинная лингвистика iconСобрание сочинений в семи томах 3 «Собрание сочинений в семи томах»: Время; 2008
Собрание сочинений М. М. Зощенко — самое полное издание прозы одного из крупнейших писателей-новаторов XX века. В него входят практически...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика в семи томах
Излагаемые методы частично модифицированы по сравнению с их оригинальным изложением для их ориентирования и усиления при использовании...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика в семи томах
Определяются логические лексемы, фундаментальные операции, правила преобразования логических уравнений, а также металогика для обоснования...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика в семи томах
Словарь поможет пользователям Интеллсист и разработчикам машинных систем разнообразного назначения в написании отчетов, руководств...
В семи томах том Информатика смысла Машинная лингвистика iconВ семи томах том Основы информатики (Введение в информатику)
Вм на основе своих общих и профессиональных знаний без привлечения программистов для решения задач, для разрешения вопросов или проблем...
В семи томах том Информатика смысла Машинная лингвистика iconВ семи томах том Представление знаний (Структуры данных)
Приводимые примеры служат фрагментами прототипов записей знаний и запросов, предназначенных для создателей заданий и запросов к базе...
В семи томах том Информатика смысла Машинная лингвистика iconРавительство республики башкортостан академия наук республики башкортостан история башкирского народа в семи томах том V уфа гилем 2010
Российская академия наук Уфимский научный центр ■ Институт истории, языка и литературы
В семи томах том Информатика смысла Машинная лингвистика iconЬство республики башкортостан академия наук республики башкортостан история башкирского народа в семи томах том VI москва восточная литература 2011
Российская академия наук Уфимский научный центр Институт истории, языка и литературы
В семи томах том Информатика смысла Машинная лингвистика iconВ семи томах том Интеллектуальные системы (Системы решения проблем)
Интеллсист, их структуры и технологии работы с инструментарием составляют центральную часть тома. Оценка возможностей Интеллсист...
В семи томах том Информатика смысла Машинная лингвистика iconИнформатика и вычислительная техника” и специальностей 220100 “Вычислительные машины, комплексы, системы и сети” и 021800 “Теоретическая и прикладная лингвистика” Ульяновск 2003
Методические указания к выполнению лабораторных работ по программированию для студентов направления 552800 “Информатика и вычислительная...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница