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

12.2.3. Факторизация

Размер предложений по длине можно уменьшить, используя подстановочные частные случаи, при которых некоторые литералы в предложении становятся одинаковыми. Эта операция называется факторизацией. Например, предложение

можно факторизовать подстановкой

Тогда получим

называется фактором предложения С. Фактор предложения не обязательно единствен. Если (46) заменить на

получим другой фактор

Поскольку любое предложение имплицирует свои факторы, то множество можно дополнить, включив в него факторы его предложений. Это увеличивает число предложений в но добавляемые предложения короче тех, из которых они выведены, и могут привести к более коротким выводам пустого предложения

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