Список решений - Decision list

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

Язык, указанный в списке решений длиной k, включает в качестве подмножества язык, заданный k-глубиной. Древо решений.

Списки решений по обучению можно использовать для Атрибут эффективного обучения.^[2]

Определение

Список решений (DL) длины $р$ имеет вид:

если  $ж 1$  тогда     выход  $б 1$ иначе если  $ж 2$  тогда    выход  $б 2$ ...иначе если  $ж р$  тогда    выход  $б р$

куда $ж я$ это $я$ th формула и $б я$ это $я$ th логический за ${ Displaystyle я в {1 ... г }}$ . Последний вариант if-then-else используется по умолчанию, что означает формулу $ж р$ всегда равно истине. А $k$ -DL - это список решений, в котором все формулы имеют не более $k$ термины. Иногда «список решений» используется для обозначения 1-DL, где все формулы являются либо переменной, либо ее отрицание.

Смотрите также

Пень решения

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

^ Рональд Л. Ривест (Ноябрь 1987 г.). «Списки обучающих решений» (PDF). Машинное обучение. 2 (3): 229–246. Дои:10.1023 / А: 1022607331053.
^ Адам Р. Кливанс и Рокко А. Серведио, «К эффективному изучению атрибутов списков решений и паритетов», Журнал исследований в области машинного обучения 7:12:587-602 Цифровая библиотека ACM полный текст

Этот искусственный интеллект -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.

[1] Рональд Л. Ривест (Ноябрь 1987 г.). «Списки обучающих решений» (PDF). Машинное обучение. 2 (3): 229–246. Дои:10.1023 / А: 1022607331053.

[2] Адам Р. Кливанс и Рокко А. Серведио, «К эффективному изучению атрибутов списков решений и паритетов», Журнал исследований в области машинного обучения 7:12:587-602 Цифровая библиотека ACM полный текст

[1]

[2]