Семантическая сеть

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

Фрейм.

Этот термин введен в научно-техническую литературу М. Минским для обозначения минимальной структуры, описывающей некоторое понятие или объект. Фреймы используются в системах искусственногоинтеллекта (например, в экспертных системах) как одна из распространенных форм представления знаний.

Фрейм имеет имя (название) и состоит из частей, обычно называемых слотами; изображается фрейм в виде цепочки:

Фрейм = <слот 1> <слот 2>... <слот N>.

Иногда в качестве слота может выступать отдельный фрейм.

Рассмотрим в качестве примера фрейм «Сделка».

Цепочка этого фрейма выглядит так:

Сделка = <кто?> <с кем?> <когда?> <где?> <результат>.

Представленный фрейм называется фреймом-прототипом. Во фреймах такого вида слоты имеют переменные значения.

Например:

Сделка = <Герой> <Антигерой> <утром> <в чистом поле> <взял в долг>.

В этом случае, по крайней мере, слоты «Герой» и «Антигерой» – переменные, их значения могут уточняться. В результате такого уточнения получается фрейм-экземпляр:

Сделка = <Иван дурак> <Дядя Сэм> <утром> <в чистом поле> <продал Жар-птицу>.

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

Суждение и его характеристика

Суждение – форма мысли, в которой фиксируется наличие или отсутствие связи между понятиями [8].

Каждое суждение фиксируется в языке повествовательным предложением (высказыванием). Главной особенностью суждений является то, что они могут быть либо истинными, либо ложными. Связь между материальными понятиями может быть проверена опытным путём или моделированием. Связь между абстрактными понятиями проверяется с помощью аксиом, теорем, правил.

Суждение называется простым, если нельзя выделить правильную часть, являющуюся суждением.