В вычислительной технике при формальном представлении знаний каждому описываемому объекту или понятию ставится в соответствие некоторый числовой код. Связи между кодируемыми сущностями также представляются кодами (адресами и указателями). Для такого перевода неформальная данных в формальный, цифровой вид должны использоваться специальные таблицы, сопоставляющие кодируемым сущностям их коды и называемые таблицами кодировки- Простейший пример такой таблицы - это ASCII (American Standard Code for Information Interchange), используемая повсеместно с вычислительной техникой. Она сопоставляет печатным и управляющими символам (управляющими являются, например, символы. отмечающие конец строки или страницы) числа от 0 до 127. Следующая программа на языке Паскаль выведет на экран все печатные символы этой таблицы и их коды:
var i: byte;
begin
for i := 32 to 126 do
write(i:6, chr(i):2);
writeln
end.
На практике обычно используют не сам исходный АЗСП, а так называемый расширенный ASCII (ASCII +), описывающей коды 256 символов (от 0 до 255), первые 128 позиций расширенного ASCII совпадают со стандартом, а дополнительные 128 позиций определяются производителем оборудования или системного программного обеспечения. Кроме того, некоторым управляющим символам А5СП иногда назначают другое значение.
Хотя таблицы кодировки используются для формализации информации, сами они имеют неформальную природу, являясь мостом между реальными и формальными данными. Например, коду 65 в ASCII соответствует заглавная латинская буква А, но не конкретная, а любая. Этому коду будет соответствовать буква А, набранная жирным прямым шрифтом и буква А, набранная нежирным с наклоном вправо на 9,5? шрифтом и даже буква готического шрифта Задача сопоставления реальной букве ее кода в выбранной таблице кодировки очень сложна и частично решается программами распознания символов например, Fine Reader).
Наиболее общими методами формального представления знаний являются:
правила;
семантические сети;
фреймы.
Иногда рассматривается представление знаний в виде нечетких правил, а также в виде нейронных сетей.
