Главная > Интеллектуальные системы > Искусственный интеллект (Э. Хант)
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

5.1.1. Предикаты

Предикатом называется логическая функция, которая отображает множество изображений на множество {истина, ложь}. Можно представлять себе предикат как логическую функцию от двоичных переменных. Однако во многих интересных случаях для вычисления значения можно использовать не все, а лишь некоторые точки (переменные) из . В таких случаях называется частным

предикатом, а множество переменных в которое надо исследовать для определения называется носителем этого предиката.

Чтобы проиллюстрировать эти понятия, рассмотрим сетчатку, элементы которой расположены в виде квадрата (рис. 5.2). Допустим, нас интересует предикат

Элементы носителя предиката (3) обведены кружками. Очевидно, что принимает значение истина тогда и только тогда, когда эти элементы равны 1.

Рис. 5.2. Сетчатка, состоящая из 25 элементов, представлена в виде квадрата .

<< Предыдущий параграф Следующий параграф >>
Оглавление