世界大百科事典(旧版)内の自動推論の言及
【機械推論】より
…いろいろな情報を組み合わせて新たな結論を導くことは人間の主要な知的活動である。情報科学や人工知能の研究においては,そのような知的活動を推論と呼び,コンピューター上で推論を実行させることを機械推論もしくは自動推論automated reasoningと呼んでいる。 人間が行っている推論にはいろいろある。…
※「自動推論」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
ローマ法王ともいう。ラテン語 Papaの称号はカトリック教会首長としてのローマ司教 (教皇) 以外の司教らにも適用されていたが,1073年以後教皇専用となった。使徒ペテロの後継者としてキリスト自身の定...