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