语言
没有数据
通知
无通知
ある事実をもとにして， 他の事をおしはかること。 推理や推定を重ねて結論を導くこと。
推論エンジン（すいろんエンジン、英語: inference engine）とは、知識ベースから答えを導き出す仕組みである。エキスパートシステムの頭脳であり、知識ベース内の情報を元に推論を実行する方法を提供し、結論を導く。 推論エンジンを独立したソフトウェアコンポーネントとして分離させたのは、プロダ
推論 > 論理的推論 論理的推論（ろんりてきすいろん、英: logical reasoning）は、論理学において演繹、帰納、アブダクション（仮説形成）の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)
(∀x, y[''x ≠ y''↔[''xRy'' ∨ ''yRx'']])) で有り、極小元以外の任意の要素はそれより大きい要素を持つ（余定義域は定義域の部分領域で有る）。 注意 無限性 は純粋に数学的な ST 固有の公理である。これは R が全順序関係であることを意味している。最下層の型に 0
ブーリアン型 - プログラミング言語における型のひとつ 論理型言語 - プログラミング言語の一種 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしている
⊢は推論を表すメタ言語の記号であり、A0, …, An-1 ⊢ BはA0, …, An-1からBが導かれることを示す。） モーダスポネンス P, P→Q ⊢ Q モーダストレンス ￢Q, P→Q ⊢ ￢P 否定導入 P → ⊥ ⊢ ￢P 普遍例化 ∀xψ(x) ⊢ ψ(a) 普遍汎化 存在例化 存在汎化 ψ(a)
推論と非単調推論である。不確かさに関する研究では論証（argumentation）が重要である。それはすなわち、標準的な自動推論へのさらなる極小性と一貫性の適用である。John Pollock の Oscar システムは単なる自動定理証明機よりも自動論証システムといえるものである。 自動推論
愛他的な恋愛 （altruistic,giving）とされ、次のような特徴がある。自己犠牲的で相手に尽くすタイプの恋愛をする。相手の利益を第一に考え、自らの犠牲を厭わない。見返りを求めない献身的な愛。 リー（1973年）は調査した回答者のなかにアガペー型を見つけることができなかった
搜索 
搜索 搜索 
