Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
КР по Мат логике / DMiML-2_chast.doc
Скачиваний:
112
Добавлен:
06.02.2016
Размер:
3.34 Mб
Скачать

12.4. Операции над понятиями

Ограничение и обобщение понятий.

Ограничение – уменьшение объёма понятия путём введения дополнительных признаков и свойств. Предел ограничения – единичное понятие.

Обобщение – операция расширения объёма понятия путем исключения некоторых свойств.

Определение понятия (дефиниция) – операция раскрытия содержания понятия или значения терминов.

Наиболее характерным определением понятия является указание ближайшего более широкого понятия родового понятия и видообразующих признаков.

Деление понятий.

В ходе деления понятия раскрывается его объём.

Виды деления:

  • по изменению видообразующего признака (например, деление людей на возрастные группы);

  • дихотомическое деление (рис. 110) – бинарное деление на два класса, находящихся в отношении противоречия;

Рис. 110. Деление понятия «Живые существа»

  • классификация – последовательное деление на виды, виды на подвиды и т.д. Вершины соответствующего графа называются таксонами. Таксон (таксонометрическая единица) – обозначает соподчинённые группы объектов.

Правила деления.

  1. Деление должно быть соразмерным. Возможные ошибки: неполное деление; деление с лишними членами.

  2. Деление должно быть только по одному основанию.

Использование понятий в информатике.

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

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

Фрейм.

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

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

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

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

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

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

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

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

Например:

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

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

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

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

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

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

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

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

Соседние файлы в папке КР по Мат логике