述語論理とは、命題を組み合わせて、別の事象の真偽を証明すること。
【 演繹推論 】
既存の知識からある結論を導く
論理を数珠つなぎにしていき、結論を引き出す方法です。
前提(premiss)が正しければ、結論(conclusion)も必ず正しいとする。
犬はワンと鳴く→ポチは犬である→ポチはワンと鳴く
【 帰納推論 】
観測事実の因果関係から一般論(知識)を導く
多くの事実から類似点をまとめて結論を出す
ハチは散歩が好き→ポチも散歩が好き→犬は散歩が好き
www.it-shikaku.jp