AI用語集
人工知能の完全辞典
236
カテゴリ
3,245
サブカテゴリ
39,334
用語
サブカテゴリ
エキスパートシステム
特定の分野において人間の専門家の意思決定能力を模倣するコンピュータプログラム。
18 用語
サブカテゴリ
演繹的推論
既知の前提と推論規則から新しい結論を論理的に導き出すプロセス。
17 用語
サブカテゴリ
形式論理学
推論の妥当性の原理と形式的推論体系の数学的研究。
19 用語
サブカテゴリ
論理プログラミング
プログラムが論理式の集合として構成される、数学的論理に基づくプログラミングパラダイム。
16 用語
サブカテゴリ
知識表現
知能システムによって操作可能な方法で情報を構造化し整理することを目的とする学問分野。
12 用語
サブカテゴリ
ルールベースシステム
IF-THEN形式の生成規則を使用して決定を行うコンピュータシステム。
12 用語
サブカテゴリ
セマンティックグラフ
概念とそれらの関係をノードとアークのネットワークとして表現するデータ構造。
19 用語
サブカテゴリ
記号論的自然言語処理
文法規則と形式的構文解析に基づく非統計的アプローチの自然言語処理
17 用語
サブカテゴリ
自動計画
与えられた環境で事前に定義された目標を達成するための行動シーケンスの自動生成。
18 用語
サブカテゴリ
書き換えシステム
事前に定義された置換規則に従って式を変換する形式的なメカニズム。
14 用語
サブカテゴリ
自動証明理論
数学的および論理的な定理の証明を自動化することを目的とする分野。
13 用語
サブカテゴリ
制約プログラミング
制約の定式化と自動的な充足に基づく問題解決パラダイム。
18 用語
🔍