Сборник знаний - Википедия - Knowledge compilation

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

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

У разных скомпилированных представлений разные свойства, три основных свойства:

  • Компактность представления
  • Запросы, которые поддерживаются в polytime
  • Преобразования представлений, которые могут быть выполнены в политическом времени

Классы представлений

Некоторые примеры классы диаграмм включают OBDD, FBDD, и недетерминированные OBDD, а также MDD.

Некоторые примеры формула классы включают DNF и CNF.

Примеры классов схем включают NNF, ДННФ, д-ДННФ и SDD.

Рекомендации

  1. ^ Аднан Дарвиче, Пьер Маркиз "Карта компиляции знаний ", Журнал исследований искусственного интеллекта 17 (2002) 229-264