コトバンクはYahoo!辞書と技術提携しています。

非単調論理 ひたんちょうろんり non-monotonic logic

2件 の用語解説(非単調論理の意味・用語解説を検索)

ブリタニカ国際大百科事典 小項目事典の解説

非単調論理
ひたんちょうろんり
non-monotonic logic

不完全な情報のもとでの人間の常識的推論をモデル化した論理規則。通常の古典論理からはずれる論理。通常の論理的な取り扱いは,あらかじめ与えられた公理と,定理を導き出す推論の規則で構成されている。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

大辞林 第三版の解説

ひたんちょうろんり【非単調論理】

〘論〙 非古典論理の一つ。古典論理の推論においては、新しい前提を付け加えても結論は変化せず単調であるのに対し、新たな推論規則を導入して古典論理の単調性を否定する論理体系をいう。人工知能研究のフレーム問題などへの応用が試みられている。

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

今日のキーワード

信長協奏曲(コンツェルト)

石井あゆみによる漫画作品。戦国時代にタイムスリップした現代の高校生が病弱な織田信長の身代わりとして生きていく姿を描く。『ゲッサン』2009年第1号から連載開始。小学館ゲッサン少年サンデーコミックス既刊...

続きを読む

コトバンク for iPhone