WikiDer > Список решений

Decision list

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

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

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

Определение

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

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

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

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

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

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