形式論理（Formal Logic）とは
Formal Logic
推論の妥当性を、命題の内容ではなく記号と規則による厳密な構造として扱う論理学の体系
ひとことで言うと
『AならばB』のような論理関係を、記号とルールで正確に表す学問。
概要
形式論理(Formal Logic)とは、推論の妥当性を、命題の具体的な内容ではなく記号と規則による厳密な構造として扱う論理学の体系。 命題論理・述語論理などがあり、真偽が定まる命題を記号で表現し、AND・OR・NOT・含意といった論理演算子や量化子(すべての・存在する等)を用いて、前提から結論が妥当に導かれるかを機械的に検証できるようにする。 Symbolic AIにおける自動定理証明やエキスパートシステム、オントロジーによる知識表現は、いずれも形式論理を計算機上での知識表現・推論の基盤として利用している。
比較
- Symbolic AI — Symbolic AIは、形式論理に基づく記号処理・推論規則を用いて知識を表現・処理するAIアプローチ
- オントロジー — オントロジーは、形式論理(述語論理等)を用いて概念間の関係を厳密に定義する知識表現手法