自己認識論理
autoepistemic logic
自己認識論理 - Wikipedia
Autoepistemic logic - Wikipedia
Non-monotonic Logic (Stanford Encyclopedia of Philosophy)#3.4 Autoepistemic logic
認識論理
であり
非單調論理
でもある
$ x
が既知である事を
$ \square x
と書く
$ \neg x
が既知であれば
$ \square\neg x
$ x
が既知でないならば
$ \neg\square x
S5 樣相論理
を擴張した model
$ \neg\square x\to\neg x
は
失敗に依る否定 (NAF)
を意味する