Monoton Olmayan Mantık

Daha önce doğru kabul edilen bilgilerin yeni bilgiler ışığında gözden geçirilebildiği ve kaldırılabildiği bir matematiksel akıl yürütme sistemi. bu, kaldırılan bilgi temelinde doğru olduğuna inanılan diğer bilgilerin de yeniden değerlendirilmesi gerektiği anlamına gelir. sistemin monotonik olmadığı söylenir çünkü doğru olduğu düşünülen bilgi aynı kalmaz veya daha fazla muhakeme ile daha da büyümez. nonmonotonik sistemler genellikle “inanç revizyonu” veya “doğruluk bakımı” algoritmaları tarafından kontrol edilir.