
Семантические сети. Знания могут описывать отноше-
ния между абстрактными понятиями, являющимися кон-
кретными объектами в некоторой предметной области. По-
нятия и отношения между ними описывают сетью, состоя-
щей из узлов и дуг. Узлы в такой сети выражают объекты
(понятия), а дуги являются описаниями их отношений.
Узлы и дуги могут быть снабжены метками, которые по-
казывают, что именно они описывают.
Логика предикатов. Логика предикатов является раз-
делом математической логики. Логика как система конст-
руируется из языка исчисления предикатов первого по-
рядка и теорем, представленных в терминах этого языка и
описывающих отношения, закладываемые в базис логи-
чески полной системы. В эту систему входят также прави-
ла вывода, которые из заданной группы утверждений вы-
водят представления, отличающиеся от всех заданных пред-
ставлений этой группы. Предикаты явились основой раз-
работки языка Пролог.
Фреймовые системы. Во фреймовой системе единицей
представления является объект, называемый фреймом. Он
является формой представления некоторой ситуации, ко-
торую целесообразно описывать совокупностью понятий и
сущностей. В качестве идентификатора фрейму присваи-
вается имя. Фрейм имеет внутреннюю структуру, состоя-
щую из множества элементов, называемых слотами, кото-
рым также присваиваются имена. Каждый слот представ-
ляется структурой данных. Характерной особенностью
представления фреймами является назначение наследова-
ния (наследование атрибутов): если объект, который опи-
сывается некоторой группой фреймов, находится в кон-
цептуальной связи с верхним и нижним уровнями (отно-
шения типа ЯВЛЯЕТСЯ или ЧАСТЬ), то соответствующий
ему фрейм можно сконструировать на основе этих иерар-
хических отношений и при этом можно обеспечить насле-
дование атрибутов слотов с одинаковыми именами внутри
фрейма верхнего уровня. Для каждого слота определяют-
ся различные типы данных, такие, например, как число-
вые величины или ссылки на другие фреймы.
Понятие интеллектуальных систем базируется на поня-
тии «формальная продукционная система». Продукцион-
ные системы берут свое начало с работ Поста. Пост пока-