自動推論とは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ 自動推論

自動推論

推論と非単調推論である。不確かさに関する研究では論証（argumentation）が重要である。それはすなわち、標準的な自動推論へのさらなる極小性と一貫性の適用である。John Pollock の Oscar システムは単なる自動定理証明機よりも自動論証システムといえるものである。自動推論

Từ điển Nhật - Nhật

Các từ liên quan tới 自動推論

推論

すいろん

ある事実をもとにして，他の事をおしはかること。推理や推定を重ねて結論を導くこと。

推論エンジン

推論エンジン（すいろんエンジン、英語: inference engine）とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。推論エンジンを独立したソフトウェアコンポーネントとして分離させたのは、プロダ

型推論

ただし型推論と関数の多重定義（オーバーロード）は相性が悪く、オーバーロードをサポートする言語では型推論による恩恵が十分に受けられない（型推論ではシグネチャを一意に決めることができない）ケースがある。この節では型推論の構文解析理論には踏み込んでいない。ほとんどの言語においては、関数の仮引数および戻り値、演算子のオペランドお

自動車評論

日本自動車研究者ジャーナリスト会議 (RJC) カー・オブ・ザ・イヤー日本自動車ジャーナリスト協会日本モータースポーツ記者会自動車評論家ってどんなお仕事なの？ - 国沢光宏自動車評論家のなかでは誰が一番偉いの？ - 清水草一自動車評論家はなぜ持て囃されるのか？ - 小沢コージ表示編集

論理的推論

推論 > 論理的推論論理的推論（ろんりてきすいろん、英: logical reasoning）は、論理学において演繹、帰納、アブダクション（仮説形成）の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)

自動

な内部機構により様々な動作を目指した物品が作られていたが、実利的なものよりも、もっぱら有力者や権力者のための特殊な道具であったり、あるいは何らかの興行を目的としたものなどが主体であった。この方向性には、オートマタや自動演奏を行なう精巧な装置などが作られ、その幾らかは現存している。本格的な

推論規則

⊢は推論を表すメタ言語の記号であり、A0, …, An-1 ⊢ BはA0, …, An-1からBが導かれることを示す。）モーダスポネンス　P, P→Q ⊢ Q モーダストレンス　￢Q, P→Q ⊢ ￢P 否定導入　P → ⊥ ⊢ ￢P 普遍例化　∀xψ(x) ⊢ ψ(a) 普遍汎化存在例化存在汎化　ψ(a)

自助論

陶工三大家、すなわちパリッシー、ベットガー、ウェッジウッド勤勉して心を用うること、および恒久に耐えて業をなすことを論ず幇助、すなわち機会を論ず、ならびに芸業を勉修することを論ず芸業を勉修する人を論ず貴爵の家を創めたる人を論ず剛毅を論ず職事を務むる人を論ず金銭の当然の用、およびその妄用を論ずみずから修むることを論ず、ならびに難易を論ず