ホーン条項 - 基礎と応用
Fouad Sabry
Traduttore Kei Imano
Casa editrice: 10億人の知識があります [Japanese]
Sinossi
ホーン節とは 数理論理学と論理プログラミングの分野では、ホーン節として知られる論理式は、独特のルールのような形式を持ち、 論理プログラミング、形式仕様、モデル理論に適用できる有用な性質を備えています。 論理学者のアルフレッド ホーンは、1951 年にホーン条項の重要性に最初に注目を集めた人物であるとされています。 どのようなメリットがあるか (i) 以下のトピックに関する洞察と検証: 第 1 章: ホーン節 第 2 章: 直観主義的論理 第 3 章: 計算論理 第 4 章: 自動定理証明 第 5 章: ロジックでの解決 第 6 章: ホーン充足可能性 第 7 章: ルールベースのシステム 第 8 章: 制約処理ルール 第 9 章: 一次論理 第 10 章: ブール充足可能性問題 (ii) ホーン条項に関する一般のよくある質問に回答します。 (iii) 多くの分野でのホーン条項の実際の使用例。 (iv) 266 を簡単に説明する 17 の付録 各業界の新興テクノロジーを取り上げ、ホーン クロースのテクノロジーを 360 度完全に理解することができます。 本書の対象者 専門家、大学生、大学院生 、愛好家、愛好家、そしてあらゆる種類のホーン節に関する基本的な知識や情報を超えたいと考えている人。