非単調論理

ウィキペディア

非単調論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/10/22 09:33 UTC 版)

非単調論理（ひたんちょうろんり、英: Non-monotonic logic）とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない。直観的に言えば、単調性とは新たな知識の学習によって既に存在する知識が減ることがないことを意味する。デフォルトによる推論、アブダクション、知識に関する推論、信念更新などの推論は、単調論理では行えない。

ウィキペディア小見出し辞書

非単調論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/15 14:28 UTC 版)

「論理的帰結」の記事における「非単調論理」の解説

詳細は「非単調論理」を参照 これまで述べた記述は全て単調な帰結関係を前提とする。すなわち、A が Γ の帰結であるとき、A は Γ の任意の上位集合の帰結である。非単調な帰結関係がどのようなものかを示す。「トゥイーティ([疑問点 – ノート]？)は飛べる」は、以下の前提の論理的帰結である。 {鳥は一般に飛べる, トゥイーティは鳥だ} しかし、以下の前提では論理的帰結とはならない。 {鳥は一般に飛べる, トゥイーティは鳥だ, トゥイーティはペンギンだ}.