Сбор знаний
Компиляция знаний – это совокупность подходов к решению проблемы трудноразрешимых проблем.ряд проблем искусственного интеллекта .
Пропозициональная модель компилируется в автономном режиме, чтобы поддерживать некоторые запросы за полиномиальное время . Существует множество способов составления пропозициональной модели. [1]
Различные скомпилированные представления имеют разные свойства.Три основных свойства:
- Компактность представления
- Запросы, которые поддерживаются за полиномиальное время
- Преобразования представлений, которые можно выполнить за полиномиальное время
Классы представлений
[ редактировать ]Некоторые примеры классов диаграмм включают OBDD , FBDD и недетерминированные OBDD, а также MDD .
Некоторые примеры классов формул включают DNF и CNF .
Примеры классов цепей включают NNF , DNNF, d-DNNF и SDD .
Составители знаний
[ редактировать ]- c2d: поддерживает компиляцию в d-DNNF
- d4: поддерживает компиляцию в d-DNNF.
- miniC2D: поддерживает компиляцию на SDD.
- KCBox: поддерживает компиляцию в OBDD, OBDD[AND] и CCDD.
Ссылки
[ редактировать ]- ^ Аднан Дарвич, Пьер Маркиз, « Карта компиляции знаний », Журнал исследований искусственного интеллекта 17 (2002) 229-264
 | Эта искусственному интеллекту статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |