非単調論理
信念更新とは、新たな信念が古い信念と矛盾する場合に信念を更新する過程である。新たな信念が正しいと仮定すると、一貫性を保つために古い信念のいくつかを撤回しなければならなくなる。このため、信念更新に基づく論理は非単調となる。信念更新の手法は矛盾許容論理を代替する手法である。矛盾許容論理では、単調性を優先して一貫性を犠牲にしている。
アブダクションとは、既知の事実に対して最もそれらしい説明を導き出す過程である。「最もそれらしい説明」は正しい必要がないため、アブダクションは単調でないと考えられる。例えば、湿った草を見たときの最もそれらしい説明は、「雨が降ったから」というものである。しかし、草が湿った実際の原因がスプリンクラーであることが判明したら、「雨が降ったから」という説明は撤回される。このように新たな知識によって古い説明が撤回されるため、アブダクションは非単調である。