Диаграмма сентенциального решения
В искусственном интеллекте диаграмма логических решений ( SDD ) — это тип представления знаний , используемый при компиляции знаний для представления логических функций . SDD можно рассматривать как обобщение влиятельного представления упорядоченной двоичной диаграммы решений (OBDD), позволяющее принимать решения по нескольким переменным одновременно. Как и OBDD, SDD позволяют выполнять логические операции, будучи при этом экспоненциально более краткими. По этой причине они стали важным представителем при сборе знаний. [1]
Характеристики
[ редактировать ]SDD определяются относительно обобщения порядка переменных, известного как дерево переменных ( vtree ). [2]
При условии, что они удовлетворяют дополнительным свойствам, известным как сжатие и обрезка (которые аналогичны ROBDD ), SDD являются каноническим представлением булевых функций; то есть они уникальны для данного vtree. [2]
Как и OBDD, они позволяют выполнять такие операции, как соединение , дизъюнкция и отрицание , непосредственно в представлении за полиномиальное время , будучи при этом потенциально более компактными. [2] Они также позволяют рассчитывать модели за полиномиальное время. [3] [4]
SDD, как известно, экспоненциально более лаконичны, чем OBDD. [5]
Приложения
[ редактировать ]SDD используются системой ProbLog 2 в качестве вероятностной программ логики цели компиляции , поскольку они поддерживают управляемый (взвешенный) подсчет моделей, а также управляемое отрицание, конъюнкция и дизъюнкция, будучи более краткими, чем BDD. [3] SDD также были расширены для моделирования вероятностных распределений, в этом контексте они известны как вероятностные диаграммы решений (PSDD). [6]
Ссылки
[ редактировать ]- ^ Дарвич, Аднан; Маркиз, Пьер; Сучу, Дэн; Зейдер, Стефан (2018). Последние тенденции в накоплении знаний (Отчет). Замок Дагштуль.
- ↑ Перейти обратно: Перейти обратно: а б с Дарвич, Аднан (2011). «SDD: новое каноническое представление пропозициональных баз знаний». Международная совместная конференция по искусственному интеллекту .
- ↑ Перейти обратно: Перейти обратно: а б Ригуцци, Фабрицио (2023). Основы вероятностно-логического программирования: языки, семантика, вывод и обучение (2-е изд.). Гиструп, Дания: River Publishers . п. 214. ИСБН 978-87-7022-719-3 .
- ^ Власселер Дж., Ренкенс Дж., Ван ден Брук Г. и Де Рэдт Л. (2014). Компиляция вероятностно-логических программ в диаграммы предложений. В материалах семинара по вероятностно-логическому программированию (PLP) (стр. 1-10). [1]
- ^ Бова, Симона (2016). SDD экспоненциально более кратки, чем OBDD . Конференция AAAI по искусственному интеллекту.
- ^ Киса, Дога; Ван ден Брук, Гай; Чой, Артур; Дарвич, Аднан (2014). Вероятностные сентенциальные диаграммы принятия решений . Международная конференция по принципам представления и рассуждения знаний (КР).
 | Эта искусственному интеллекту статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |
