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