謹慎推理

謹慎推理

謹慎推理(skeptical reasoning)是2018年公布的計算機科學技術名詞。

基本介紹

  • 中文名:謹慎推理
  • 外文名:skeptical reasoning
  • 所屬學科:計算機科學技術
  • 公布時間:2018年
定義,出處,

定義

一種非單調推理模式。只有當一個命題在所有非單調語義模型中為真時,才認為該命題為真。

出處

《計算機科學技術名詞 》第三版。

相關詞條

熱門詞條

聯絡我們