Главная > Документ


А.А.Красилов

ИНФОРМАТИКА

В СЕМИ ТОМАХ

Том 4. Представление знаний

(Структуры данных)

Москва

1997 - 2003

ИНФОРМАТИКА

Том 1. Основы информатики

(Введение в информатику)

Том 2. Информатика смысла

(Машинная лингвистика)

Том 3. Концептуальная информатика

(Толковый словарь по информатике)

Том 4. Представление знаний

(Структуры данных)

Том 5. Основания информатики

(Теоретические основы)

Том 6. Методы информатики

(Изобретание, проектирование,

разработка и сопровождение)

Том 7. Интеллектуальные системы

(Системы решения проблем)

Альберт Александрович Красилов

УДК ....................

Аннотация

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

The informal description of representation of knowledge of various kinds in language of professional prose is stated. The description is given in full conformity with a formal statement of language in volume 2. The basic purpose of a statement consists in the practical explanatory of methods of formalization of the knowledge, not demanding studying of formal languages or all formal bases of logic programming, but only on the basis of language of professional prose. Brought examples serve as fragments of prototypes of records of knowledge and the inquiries intended for founders of tasks and inquiries to base of knowledge, for direct users Intelsys.

()

ОГЛАВЛЕНИЕ

0. Введение

0.1. Общие соображения о представлении знаний

0.2. Шаги формализации в работе со знаниями

0.3. Шаги в исследованиях пользователя с применением Интеллсист

0.4. Шаги в технологии интеллектуального программирования

Глава 1. Предметная область

1.1. Наборы данных

1.2. Классы констант

1.2.1. Символьные данные.

1.2.2. Истинностные данные

1.2.3. Целочисленные данные

1.2.4. Вещественные данные

1.2.5. Агрегатные данные. База данных.

1.2.6. Даты

1.2.7. Время

1.2.8. Последовательности

1.2.9. Ссылочные данные

1.2.10. Программные данные

1.3. Абстрактные величины

1.4. Множества данных, описание пользовательского типа

1.4.1. Символьный тип

1.4.2. Логические и перечислимые типы

1.4.3. Числовые типы

1.4.4. Индексируемые типы

1.4.5. Именуемые типы

1.4.6. Табличные типы

1.4.7. Ссылочный тип

1.4.8. Типы множеств

1.4.9. Типы последовательностей

1.4.10. Типы подпрограмм и записи алгоритмов

1.4.11. Тип абстрактных величин

1.5. Классы величин и их значения

1.5.1. Описание понятия

1.5.2. Пользовательские типы

1.5.3. Описание метапонятия

1.5.4. Описание синонима

1.5.5. Описание отношения. Декартовое произведение

1.5.6. Описание исключения

1.5.7. Описание операции

1.5.8. Описание правила

1.5.9. Описание подстановки

1.5.10. Описание масштаба

1.6. Классы предметных данных

1.7. Другие классы данных

Глава 2. Проблемная область

2.1. Алфавиты или словари операций

2.2. Классы операций

2.3. Базовые операции

2.4. Стандартные операции

2.5. Прикладные операции

2.6. Классы графических операций

2.7. Классы предметных операций

Глава 3. Лексиконы

3.1. Классы словарей

3.2. Словарь символов

3.3. Словарь слов

3.4. Словарь терминов

3.5. Представление словарей

3.6. Словарь графических фигур

3.7. Представление баз знаний

Глава 4. Представление фраз

4.1. Построение фраз

4.2. Константы

4.3. Имена

4.4. Общие утверждения

4.5. Использование функций

4.6. Операции преобразования

4.6.1. Преобразование данных к заданному типу

4.6.2. Квалификация типа

4.6.3. Масштабирование типа

4.6.4. Преобразование подстановкой

4.7. Атрибуты величин

Глава 5. Представление знаний (логика простыми словами)

5.1. Элементарное знание

5.2. Простое и сложное знание

5.3. Множество смыслов

5.4. База знаний. Файловая структура СУБЗ

5.5. Применения СиГ

5.5.1. О теории веры

5.5.2. Знания в теории веры и представление их для обработки

5.5.3. Постановка цели обработки знаний

5.5.4. Классы графов представления текстов

5.5.5. БД для хранения знаний, представленных по СиГ

5.5.6. Об алгоритмах обработки знаний

5.5.7. Заключительные суждения

5.6. Об использовании Интеллсист в реальном времени

5.7. Нетекстовые знания

5.7.1. Массивы, таблицы, записи, рисунки и телекадры

5.7.2. Графическая информатика. Основные положения и концепция

5.7.3. Свойства изображений. Классы задач

5.7.4. Конкретные задачи и методы

5.7.5. Графовая информатика

Глава 6. Представление алгоритмов и примеры задач

6.1. Языки представления алгоритмов

6.1.1. Общие сведения

6.1.2. Оформление обращений к готовым программам

6.1.3. Формализм языка Вызов

6.1.4. Примеры типов подпрограмм

6.2. Помеченные выражения

6.3. Решение задач, вопросов и проблем. Примеры

6.3.1. Вычислительные задачи.

6.3.2. Аналитические выкладки

6.3.3. Разработка тестов и логические задачи

6.3.4. Распознавание образов

6.3.5. Выделение признаков Определение понятий

6.3.6. Доказательство теорем Правильность высказываний

6.3.7. Синтез теорем

6.3.8. Вопросно-ответные системы

6.3.9. Лингвистические задачи

6.3.10. Учет, контроль, мониторинг и управление

6.3.11. Юридические задачи

6.3.12. Формирование законов

6.3.13. Формирование программ

6.3.14. Игровые задачи

6.3.15. Понимание ЕЯ

6.4. Формирование БД и начальных значений

6.5. Синтез программ

6.6. Применение библиотечных подпрограмм

6.7. Реализация программ и их использование

Глава 7. Структура заданий для Интеллсист

7.1. Приобретение знаний

7.2. Представление запросов

7.2.1. Утверждения

7.2.2. Анкеты

7.2.3. Шаблоны

7.3. Технология работы с инструментарием

7.4. Библиотеки знаний

7.5. Разработка баз знаний

7.5.1. Вводные положения о формировании БЗ

7.5.2. Технология создания БЗ

7.6. Ответы на запросы

7.7. Стандартное окружение

Литература

Приложения 1. Символы стандарта ASCII

Приложения 2. Зарезервированные слова

Приложение 3. Словарь стандартных терминов и синонимов

Приложение 4. Встроенные операции

Приложение 5. Ограничения версий инструментария Интеллсист

Сокращения для терминов

АП - алгоритм порождения

АР - алгоритм распознавания

БД - база данных

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

ВМ - вычислительная машина

ГЯ - граф языка

ЕЯ - естественный язык

ИИ - искусственный интеллект

ИИС - инструментарий интеллектуальной системы

ИМГР - интерпретатор машины грамматического разбора

Интеллсист - интеллектуальная система

КС - контекстно-свободный

МГР - машина грамматического разбора

МГР1 - машина грамматического разбора первого типа

МГР2 - машина грамматического разбора второго типа

МГР3 - машина грамматического разбора третьего типа

МГР4 - машина грамматического разбора четвертого типа

ММ - математическая машина

МТ - машина Тьюринга

ППП - пакет прикладных программ

СВТ - средства вычислительной техники

СеГ - семантическая грамматика

СиГ - синтаксическая грамматика

СП - синтезированная программа

СУБД - система управления базой данных

СУБЗ - система управления базой знаний

ФРАК - формульный автокод

ФЯ - формальный язык

ЭС - экспертная система

ЯЛ - язык Лейбниц

ЯПП - язык профессиональной прозы

ASCII - American Standard Code Information Interchange

0. Введение

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

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

Основу для представления данных и знаний составляет СеГ русского языка, которая формально описана в т.2. Там же указаны все языковые средства, с которыми может столкнуться пользователь Интеллсист явно или неявно (например, для толкования языковых ошибок). Здесь рассмотрим некоторые практические (прагматические) особенности представлений, связывающие реальные и формальные представления знаний. Отличия представлений языка Лейбниц в т.т. 2 и 4 выражаются формальными и пользовательскими (неформальными) изложениями соответственно. Одна из целей настоящего тома состоит в рассмотрении способов накопления знаний, создания БД (в меньшей степени) и БЗ (в большей степени).

Данные (существенная часть фактов) обычно возникают в результате некоторой деятельности человека. Они представляются просто числами, знаками, в записях, таблицах или массивах. Имеются и более сложные “данные” типа выражения, программы. Знания извлекаются из книг, статей или мыслей специалистов. В печатных изданиях они обычно представляются текстами на ЕЯ, формулами, схемами или графически. Для того чтобы Интеллсист восприняла данные и знания необходима совокупность правил их представления. Общие правила представления данных и знаний выработала деятельность человека, они сведены в ЕЯ, на котором общаются специалисты, и многочисленные издания (например, книги, статьи, руководства, пособия) по каждой профессии. В разрешении запросов на основе знаний заинтересован каждый пользователь ВМ. Следовательно, средства представления фактов и знаний должны вполне соответствовать правилам ЕЯ и изданий, с которыми имеет дело пользователь. При реализации Интеллсист были наложены два ограничения на способы представления знаний: вместо СиГ рассматривается СеГ и ЕЯ ограничен только той частью, которую использует специалист данной области знаний или на стыке двух и более областей для разрешения своих профессиональных запросов, ограниченной частью является ЯПП.

Конкретную цель изложений в томе можно представить так:

  • рассмотреть по возможности широкие средства представления фактов и знаний,

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

  • и привести реальные (но небольшие) примеры из области решения задач с помощью Интеллсист.

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

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

В технической литературе вопросам формализации знаний уделено большое внимание в рамках изучения ИИ [Александров78, Брябрин81, Восилюс80, Гришин82, Дюбуа90, Калиниченко90, Касаткин81, Кирсанов82, Клещев82, Кондрашина89, Коэн75, Минский78 и 79, Осуга89, Предстинт80, Предстсис89, Рыбина79, Тамм85, Хельбиг80, Хомский96, Ыйм80]. Значительное место в публикациях уделено построению ФЯ для представления знаний, что естественным образом приводит к прокрустову ложе - вкладыванию всякого знания в один определенный формализм. Это приводит создателей программ ИИ к формированию множества ФЯ. Основное возражение к существующему в ИИ подходу состоит в том, что прямому пользователю ФЯ являются недоступными. Они доступны только программистам или знаниеведам (иногда именуемым инженерами по знаниям). ЕЯ и ЯПП являются доступными любому пользователю, легко ориентирующемуся в своей области знаний. Именно с помощью этих языков он передает знания другому пользователю. Необходимо обеспечить каждого пользователя средствами ввода знаний на ЕЯ и ЯПП. О возможности такого подхода рассказывается в этом томе Информатики. Ниже рассматривается принятая последовательность шагов, приводящая к формальному представлению знаний с меньшими усилиями, чем это требуется в системах ИИ.

0.2. Шаги формализации в работе со знаниями. Еще немного об одном важном обстоятельстве. Бытующее мнение о частичной или полной невозможности формализации текстов ЕЯ необходимо поколебать, поскольку знания передаются от человека человеку именно текстами (а также числами, таблицами и др. способами). При этом человек всегда находит понимание сведений, получаемых от другого человека. Уже установилось мнение о том, что на ВМ можно передать любые сведения. Отсюда уже следует, что текстовые знания можно передавать для Интеллсист (хотя бы с помощью клавиатуры, линий связи или файлов) без потери их смысла или содержания. Действительно, ограничиваясь классической грамматикой ЕЯ сложно передать для Интеллсист знания из-за использования человеком большого контекста при принятии решений. Основным средством передачи знаний текстами для Интеллсист является СеГ ЕЯ. Настоящий том предназначен для неформального пояснения этого положения. При этом ограничимся иллюстративными примерами и пояснениями для того, чтобы выработать у пользователя Интеллсист навыки ИП. Формальные основания изложены в томе 2.

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

Язык изложения в томе характеризуется той особенностью, что здесь всюду использованы специальные информатические и математические термины (тип, функция, процедура, множество и т.п., их немного), которые имеют свои аналоги или синонимы в различных областях знаний (набор, зависимость, действие, собрание). Это может вызвать отрицательную реакцию читателя, не знакомого с информатикой, но предположительно в совершенстве знакомого со своим ЯПП и, в особенности, со своим лексиконом. У пользователя всегда имеется возможность введения своих синонимов. Материал тома пишется для смягчения такого неприятия терминологии информатики и для установления взаимопонимания. Для этого каждое не очень или совсем не знакомое понятие расшифровывается постепенно и последовательно до момента использования общеупотребительных терминов (см. также т.3 - Терминологический словарь). Заметим, что каждая БЗ сопровождается терминологическим словарем конкретной области знаний. Именно такую одну из основных ролей играет содержание тома, роль толкователя информатических терминов. Некоторые термины так и останутся непонятыми, такой термин и не будет использоваться в практической работе с Интеллсист. Вполне возможно, что в язык конкретной специальности не включены некоторые термины СеГ и их интерпретации. Без них можно решать задачи, поскольку в СеГ развит аппарат синонимии. Например, школьник младших классов не имеет представления о кванторах существования. Это обстоятельство не будет препятствовать применению Интеллсист для решения его задач, в которых надо найти значение неизвестной величины. Термины кванторов имеют синонимы и в ЕЯ.

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

Первым шагом (формализации знаний) при работе с Интеллсист является создание терминов (пользовательских понятий). В соответствии с описанием СеГ весь передаваемый для Интеллсист текст состоит из терминов, которые должны включаться в лексикон БЗ. Каждый термин может быть операндом (терманд - термин операнда) или операцией (термация - термин операции). Совокупность первых определяют предметную область, вторых - проблемную область. Все термины и составляют лексикон, в который включаются стандартные, базовые, пользовательские, временные и порождаемые термины. Работы с каждым сортом терминов различаются незначительно. Создать термин – это значит сформировать имя понятия (написание или наименование термина) и его характеристики. Работа по созданию и ввода терминов ведется по меню инструментария. Необходимо учитывать, что имеются стандартные термины, известные в ЕЯ, и термины, используемые в БЗ (базовые термины). С ними необходимо предварительно ознакомиться, пока отсутствует опыт работы с Интеллсист или пока область знаний не совсем знакома. Если работа по применению Интеллсист находится в начальной стадии или область знания хотя бы частично неизвестна, то можно начать с автоматизированного изучения текстов знаний на предмет построения лексикона. Можно использовать автоматический анализ текста на терминологический состав, что предусмотрено в Интеллсист. Он может помочь пользователю в выборе подходящих терминов, согласованных с текстами знаний. Заметим, что

  1. термины чаще всего не создаются (не изобретаются как в ФЯ идентификаторы), но используются те, которые имеются в ЕЯ или «технической» литературе данной области знания,

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

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

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

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

Третьим шагом (формализации знаний) при работе с Интеллсист является создание собственно лексикона понятий (терминологического словаря) данной области знаний, служащий расширением стандартной или базовой его частей. Смысл термина, фразы или текста выражается значением. Определения терминов составляют основу знаний, они включают выбранные термины и их характеристики: тип значений, текущее значение (текущий смысл), сорт термина, текст описательного определения понятия. К характеристике система автоматически присоединяет дату создания термина. В лексикон входят стандартные понятия из СеГ, языка Лейбниц и из стандартных или введенных БЗ. В лексикон входят понятия из БЗ для отрасли или области знаний, чисто пользовательские понятия из запросов и некоторые создаваемые системой понятия. Меню инструментария автоматически предлагает пути формирования всех характеристик терминов. С помощью справочной подсистемы можно получить подсказку или расшифровку смысла той или иной характеристики.

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

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



Скачать документ

Похожие документы:

  1. А а красилов информатика в семи томах том 1 основы информатики

    Книга
    А.А. КрасиловИНФОРМАТИКА В СЕМИТОМАХТом 1. Основы информатики (Введение в информатику) Москва 1997 - 2003 ИНФОРМАТИКАТом 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла (Машинная лингвистика) Том 3. Концептуальная ...
  2. А а красилов информатика в семи томах том 1 основы информатики

    Книга
    А.А. КрасиловИНФОРМАТИКА В СЕМИТОМАХТом 1. Основы информатики (Введение в информатику) Москва 1997 - 2003 ИНФОРМАТИКАТом 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла (Машинная лингвистика) Том 3. Концептуальная ...
  3. Информатика в семи томах том 3 концептуальная информатика

    Документ
    А.А. КрасиловИНФОРМАТИКА В СЕМИТОМАХТом 3. Концептуальная информатика (Толковый словарь по информатике Москва 1997 - 2003 ИНФОРМАТИКАТом 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла (Машинная ...
  4. Информатика в семи томах том 2 информатика смысла

    Документ
    А.А. КрасиловИНФОРМАТИКА В СЕМИТОМАХТом 2. Информатика смысла (Машинная лингвистика Москва 1997 - 2003 ИНФОРМАТИКАТом 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла (Машинная лингвистика ...
  5. Информатика в семи томах том 6 методы информатики

    Документ
    А.А. КрасиловИНФОРМАТИКА В СЕМИТОМАХТом 6. Методы информатики (Изобретание, проектирование, разработка и сопровождение) Москва 1997 - 2003 ИНФОРМАТИКАТом 1. Основы информатики (Введение в информатику) Том 2. Информатика смысла ...

Другие похожие документы..