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

5.1.2. Классификация предикатов

Часто бывает полезно классифицировать предикаты по характеристикам их носителей.

Локальные предикаты: интерпретируется как множество точек на плоскости. Предикат называется локальным, если число точек в мало 2).

Конъюнктивно локальные предикаты: предикаты: называется конъюнктивно локальным, если существует такое

множество локальных предикатов, можно представить в виде их конъюнкции.

Порядок предиката: предикат имеет порядок если содержит переменных.

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