Оправданная логика

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

строгие правила

указать, что один факт всегда является следствием другого;

отменяемые правила

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

подрывая победителей

указать исключения из отменяемых правил.

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

См. также

• Здравый смысл
• Логика по умолчанию

Ссылки

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