エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
非単調論理 - Wikipedia
非単調論理(ひたんちょうろんり、英: Non-monotonic logic)とは、帰結関係が単調でない論理を意味する... 非単調論理(ひたんちょうろんり、英: Non-monotonic logic)とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない。直観的に言えば、単調性とは新たな知識の学習によって既に存在する知識が減ることがないことを意味する。デフォルトによる推論、アブダクション、知識に関する推論、信念更新などの推論は、単調論理では行えない。 デフォルト推論[編集] デフォルト推論(英語版)による仮定の例として、「鳥類は通常空を飛ぶ」という仮定がある。この仮定を採用すると、ある動物が鳥類であると判明したとき、他に何も情報がなければ、その動物は空を飛ぶだろうと推測できる。しかし、後でその動物がペンギンであることが判明すれば、この推測は撤回される。この例でわかるように、デフォルト推論をモデルとした論理は単調ではない。デフォルト推論を形式化
2013/07/04 リンク