ワンプス・ワールド
Definition
ワンプス・ワールドは、ラッセルとノルヴィグのAI教科書で紹介されたグリッドベースの環境です。エージェントは、pit（穴）やワンプス（モンスター）を避けながら、グリッド内を移動して …
Logic
記号的人工知能
Definition
記号的人工知能（GOFAIとも呼ばれます）は、推論と問題解決を行うために記号とルールを操作することに依存しています。接続主義のアプローチとは異なり、
Summary
記号的AI …
統計的関係学習
Definition
統計的関係学習（SRL）は、確率理論と関係データ構造を組み合わせ、エンティティとその間の依存関係をモデルが捉えることを可能にします。標準的な統計手法とは異なり、個々のデータポイン …
STIT論理
Definition
STITは「See To It That（～であることを確実にする）」の略です。これは主に哲学やコンピュータサイエンスで使用される様相論理の一分野であり、エージェント性と責任をモ …
推論モデル
Definition
流暢さfocusedな標準的な生成モデルとは異なり、推論モデルは数学、コーディング、論理パズルなどの多段階タスクにおける正確性を優先します。これらは通常、思考連 …
問題解決
Definition
人工知能において、問題解決とは、初期状態から目標状態へ、一連の行動を通じて移動する体系的なアプローチを指します。通常、これは問題の定義、状態空間の構築、そして適切な探索アルゴリズ …
知識ベースレコメンデーションシステム
Definition
過去のユーザー行動に依存する協調フィルタリングとは異なり、KBRSはアイテムとユーザーの好みに関する明示的な知識を使用して推奨を導き出します。これは、履歴データが少ない市場で特に …
知識コンパイル
Definition
知識コンパイルは、充足可能性判定などの操作を迅速に行えるよう、知識ベースや論理理論を異なる表現形式に変換する人工知能の技法を指します。
Summary
知識コンパイルとは、クエリ …
帰確率
Definition
帰確率は、観察された証拠に基づいて仮説が真である可能性を定量化し、結論が確実ではなく確率的であることを認識します。これは、ベイズ推論の基礎を形成しており、ここで… …
ガベイの分離定理
Definition
ガベイの分離定理は、特に時間的および様相論理の研究において、数学的論理における基本的な概念です。これは、ある論理体系が分解可能であるための条件や、異なる論理的成分がどのように独立 …
GOLOG
Definition
GOLOGは、主に人工知能において動的環境での計画と行動のために使用される論理ベースのプログラミング言語です。ライターの状況計算に基づいて構築されており、開発者はアクションの仕様 …
認識論的様相論理
Definition
認識論的様相論理は、エージェントが何を知っているか、または何を信じているかを示す演算子を用いて古典論理を拡張したものです。これは、他の参加者の知識について推論を行う必要があるマル …
動的情報論理
Definition
動的情報論理（DEL）は、エージェントが新しい情報を受信したときに知識がどのように進化するかをモデル化するために、様相論理を拡張したものです。公開通信などにより信念が変化するマル …
帰属計算論
Definition
帰属計算論は、認識状態に関する推論に焦点を当てた様相論理の一分野です。「エージェントAはPを知っている」や「エージェントBはQを信じている」といった文をモデル化するための枠組みを …
議論フレームワーク
Definition
議論フレームワークは、議論、攻撃、防御を表現するための数学的基盤を提供します。AIエンジニアリングにおいて、これらはシステムが重み付けを行い、透明性が高く正当化可能な意思決定を行 …
エージェント論理
Definition
それは伝統的な論理を拡張して主体性を考慮に入れ、システムが信念、欲求、意図（BDIモデル）を表せるようにします。この論理により、エージェントは変化する状況に基づいて動的に行動を計 …
推論
Definition
AIにおいて、推論はデータ処理と洞察の生成のために、論理的演繹、帰納法、またはアブダクションをシミュレートするアルゴリズムを含みます。これには、記号論理、確率的推論、因果推論など …
計画
Definition
AIにおける計画とは、初期状態から望ましいゴール状態へと至る一連の行動を決定することを指します。これには、行動の効果や環境の制約について推論を行うことが必要不可欠です。 …
マルチステップ
Definition
マルチステップメソッドは、複雑なクエリやタスクをより小さく実行可能なステップに分解することを含みます。このアプローチは、数学的な問題解決やコード生成などの推論タスクにおいて重要で …
一階の
Definition
人工知能および数学において、「一階の」は通常、高次相互作用を伴わない直接的な線形関係を持つシステムや操作を記述します。最適化においては、勾配降下法などの手法に関連し、目的関数の一 …
UNLIKE演算子
Definition
データベースクエリや論理処理において、「UNLIKE」は通常「NOT LIKE」演算子を指し、パターンマッチングの逆を行います。これは、カラムの値が指定されたパターンに一致しない …
与えられた条件
Definition
AIおよびコンピュータサイエンスの文脈において、「given（与えられた）」は、計算が始まる前にモデルや関数に供給される初期状態、データセット、またはパラメータを指します。これは …
意思決定
Definition
AIにおける意思決定は、データ、モデル、および事前に定義された目的に基づいて、可能性のある選択肢から最適な行動を選択するプロセスです。これは、厳格なルールに従う決定論的なものか …