翻訳と辞書
Words near each other
・ 非効用
・ 非動化
・ 非動化物
・ 非化石エネルギーの開発及び導入の促進に関する法律
・ 非化骨性線維腫
・ 非医療従事者向け自動除細動器
・ 非十字性例外
・ 非協力ゲーム
・ 非協力ゲーム理論
・ 非単位的環
非単調論理
・ 非参議
・ 非双極子成分
・ 非反すう動物
・ 非反射関係
・ 非口腔音化
・ 非古典的イオン
・ 非古典論理
・ 非古典論理学
・ 非可換ゲージ理論


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

非単調論理 : ミニ英和和英辞書
非単調論理[ひたんちょうろんり]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [ひ]
  1. (adj-na,n,pref) faulty- 2. non- 
: [ひとえ, たん]
 【名詞】 1. one layer 2. single 
単調 : [たんちょう]
  1. (adj-na,n) monotony 2. monotone 3. dullness 
調 : [ちょう]
 【名詞】 1. (1) pitch 2. tone 3. (2) time 4. tempo
: [ろん]
 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment
論理 : [ろんり]
 【名詞】 1. logic 
: [り]
 【名詞】 1. reason 

非単調論理 : ウィキペディア日本語版
非単調論理[ひたんちょうろんり]
非単調論理(ひたんちょうろんり、: Non-monotonic logic)とは、帰結関係単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない。直観的に言えば、単調性とは新たな知識の学習によって既に存在する知識が減ることがないことを意味する。デフォルトによる推論アブダクション、知識に関する推論、信念更新などの推論は、単調論理では行えない。
==デフォルト推論==
デフォルトによる仮定の例として、「鳥類は通常空を飛ぶ」という仮定がある。この仮定を採用すると、ある動物が鳥類であると判明したとき、他に何も情報がなければ、その動物は空を飛ぶだろうと推測できる。しかし、後でその動物がペンギンであることが判明すれば、この推測は撤回される。この例でわかるように、デフォルト推論をモデルとした論理は単調ではない。デフォルト推論を形式化した論理は2種類に分類される。任意のデフォルトの仮定を扱う論理(デフォルト・ロジック論駁論理解集合プログラミング)と、特定のデフォルトの仮定を事実として採用し、その他の未知の事実をデフォルトで偽とみなす論理(閉世界仮説サーカムスクリプション)である。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「非単調論理」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.