非單調論理
non-monotonic logic
default logic
「$ \gamma(pre-requisite) が知られてゐ、$ \theta(justification) が僞である證據が無いならば、$ \tau(conclusion) を導出する」と云ふ default rule 又は default を$ (\gamma:\theta)/\tauと書く
論駁可能論理 (defeasible logic)
閉世界假說 (closed world assumption。CWA) circumscription
開世界假說 (open world assumption) 信念更新