非單調論理
non-monotonic logic
非単調論理 - Wikipedia
Non-monotonic logic - Wikipedia
Non-monotonic Logic (Stanford Encyclopedia of Philosophy)
default 推論
default logic
Default logic - Wikipedia
Non-monotonic Logic (Stanford Encyclopedia of Philosophy)#3.3 Default logic
「$ \gamma(pre-requisite) が知られてゐ、$ \theta(justification) が僞である證據が無いならば、$ \tau(conclusion) を導出する」と云ふ default rule 又は default を$ (\gamma:\theta)/\tauと書く
論駁可能論理 (defeasible logic)
Defeasible logic - Wikipedia
Defeasible reasoning - Wikipedia
理由 based の論理 (RBL)
解集合 programming
Answer set programming - Wikipedia
Stable model semantics - Wikipedia
Prolog
閉世界假說 (closed world assumption。CWA)
閉世界仮説 - Wikipedia
Closed-world assumption - Wikipedia
circumscription
Circumscription (logic) - Wikipedia
Unique name assumption - Wikipedia
開世界假說 (open world assumption)
Open-world assumption - Wikipedia
三値論理 (未定義 U)
自己認識論理 (autoepistemic logic)
因明 (abduction)
信念更新
Belief revision - Wikipedia
信念論理 (doxastic logic)
失敗に依る否定 (NAF)