Осуществимая логика - Википедия - Defeasible logic

Несостоятельная логика это немонотонная логика предложено Дональд Нут оформить доказуемое рассуждение. В отказоустойчивой логике есть три различных типа предложений:

строгие правила
указать, что один факт всегда является следствием другого;
отменяемые правила
указать, что один факт обычно является следствием другого;
подрезать побежденных
указать исключения из отменяемых правил.

Может быть дан приоритетный порядок над отменяемыми правилами и проигравшими. В процессе дедукции всегда применяются строгие правила, в то время как отменяемое правило может применяться только в том случае, если ни один побежденный с более высоким приоритетом не указывает, что это не следует делать.

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

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

  • Д. Нуте (1994). Несостоятельная логика. В Справочник по логике в искусственном интеллекте и логическом программировании, том 3: Немонотонные рассуждения и неопределенные рассуждения, страницы 353–395. Издательство Оксфордского университета.
  • Г. Антониу, Д. Биллингтон, Г. Губернаторори и М. Махер (2001). Результаты представления для отказоустойчивой логики. Транзакции ACM по вычислительной логике, 2(2):255–287.