AI用語集
人工知能の完全辞典
236
カテゴリ
3,245
サブカテゴリ
39,334
用語
用語
論理プログラミング
数学的論理に基づく宣言型プログラミングパラダイムで、プログラムは論理式の集合と推論規則から構成される。
用語
Prolog
最も広く普及している論理プログラミング言語で、単一化と自動バックトラッキングを伴うSLD解決原理を実装している。
用語
バックトラッキング
検索木の分岐が失敗したときに戻って、すべての可能な解を体系的に探索する検索メカニズム。
用語
事実ベース
論理プログラミングシステムにおいて真と見なされる原子命題の集合で、推論の出発点として機能する。
用語
ルールベース
ホーン節の集合で、既存の事実から新たな事実を推論するための論理的関係と含意を定義する。
用語
SLD解決
限定節に対する線形選択的解決戦略で、Prologの主要な実行メカニズムとして使用される。
用語
代入
論理式において変数を項で体系的に置き換える操作で、単一化と解決に不可欠である。
用語
項
論理プログラミングにおける基本的な構文単位で、定数、変数、または関数子と引数を持つ複合項のいずれかである。
用語
論理アトム
述語(引数)の形式を持つ原子式で、真または偽となる基本的な命題を表す。
用語
述語
固定のアリティを持つ関係記号で、論理節内の項間の特性や関係を定義する。
用語
導出木
目標からその解決策に至るまでの解決と単一化の段階を順次表現する木構造。
用語
カット
Prologの特殊演算子(!)で、バックトラッキングを制限し、既に探索された選択点の代替肢を排除する。
用語
失敗による否定
目標を証明する全ての試みが失敗した場合にその目標を偽と見なす推論規則で、Prologでは\+と表記される。
用語
メタインタプリタ
解決メカニズムを明示的に実装することで、他のPrologプログラムを実行できるPrologプログラム。
用語
制約論理プログラミング
実数や有限領域などの特定の領域に対する制約ソルバーを統合した論理プログラミングの拡張。
用語
Datalog
複合項や手続き的機能を持たないPrologのサブセットで、演繹データベース上のクエリに最適化されている。
🔍