Wumpus World
Definition
Wumpus World는 러셀과 노비그의 AI 교재에서 소개된 그리드 기반 환경입니다. 에이전트는 함정과 Wumpus …
Logic
Terms tagged with Logic
심볼릭 인공지능
Definition
심볼릭 인공지능(종종 GOFAI라 불림)은 추론과 문제 해결을 수행하기 위해 기호와 규칙을 조작하는 데 의존합니다. 연결주의 접근법과 달리, …
통계적 관계 학습(Statistical Relational Learning)
Definition
통계적 관계 학습(SRL)은 확률론과 관계적 데이터 구조를 결합하여, 엔티티 간 의존성과 그들 사이의 관계를 포착할 수 있게 합니다. 기존 통계적 방법이나 논리 …
STIT 논리
Definition
STIT는 ‘See To It That’의 약자로, 주로 철학과 컴퓨터 과학에서 행위와 책임을 모델링하는 데 사용되는 모달 논리의 한 분야 …
推論モデル
Definition
流暢さを重視する標準的な生成モデルとは異なり、推論モデルは数学、コーディング、論理パズルなどの多段階タスクにおける正確性を優先します。これらはしばしば思考連 …
문제 해결
Definition
인공지능에서 문제 해결은 초기 상태에서 목표 상태로 이동하기 위해 일련의 행동을 통해 체계적으로 탐색하는 접근 방식을 의미합니다. 일반적으로 문제(p)를 정의하 …
지식 기반 추천 시스템
Definition
과거 사용자 행동에 의존하는 협업 필터링과 달리, KBRS는 항목과 사용자 선호도에 대한 명시적인 지식을 사용하여 추천을 도출합니다. 이는 데이터가 희소하거나 …
지식 컴파일링
Definition
지식 컴파일링은 인공지능 분야에서 지식 베이스나 논리 이론을 다른 표현 형태로 변환하여 만족 가능성 확인(SAT) …
귀납적 확률
Definition
귀납적 확률은 관찰된 증거가 주어졌을 때 가설이 참일 가능성을 정량화하며, 결론이 확실하지 않고 확률적임을 인정합니다. 이는 베이지안 추론의 기초를 형성합니다. …
GOLOG
Definition
GOLOG은 주로 인공 지능 분야에서 동적 환경에서의 계획 수립과 행동을 위해 사용되는 논리 기반 프로그래밍 언어입니다. 레이터(Reiter)의 상황 계산에 기 …
가바이의 분리 정리
Definition
가바이의 분리 정리는 수학적 논리, 특히 시간 논리와 모달 논리 연구에서 근본적인 개념입니다. 이 정리는 특정 논리 체계가 그 구조적 성질에 기초하여 독립적인 …
인식론적 모달 논리
Definition
인식론적 모달 논리는 에이전트가 무엇을 알고 믿는지를 나타내는 연산자를 추가하여 고전 논리를 확장합니다. …
동적 인식론 논리(Dynamic Epistemic Logic)
Definition
동적 인식론 논리(DEL)는 모달 논리를 확장하여 행위자들이 새로운 정보를 받을 때 지식이 어떻게 진화하는지를 모델링합니다. 이는 공개 통신이나 비공개 메시지 …
귀속 논리
Definition
귀속 논리는 인식론적 상태에 대한 추론에 중점을 둔 모달 논리의 한 분야입니다. 이는 ’ 에이전트 A가 P를 안다’ 또는 ‘에이 …
논증 프레임워크(Argumentation framework)
Definition
논증 프레임워크는 논증, 공격, 방어 간의 관계를 표현하기 위한 수학적 기반을 제공합니다. AI 공학에서는 이러한 프레임워크를 사용하여 시스템이 가중치를 고려하 …
에이전티브 로직
Definition
이는 전통적인 논리를 확장하여 에이전시(agency)를 고려하며, 시스템이 신념, 욕구 및 의도(BDI 모델)를 표현할 수 있게 합니다. 이 논리는 변화하는 상 …
추론
Definition
AI에서 추론은 데이터를 처리하고 통찰력을 생성하기 위해 논리적 연역, 귀납 또는 아브덕션(abduction)을 시뮬레이션하는 알고리즘을 포함합니다. 여기에는 …
계획 수립
Definition
AI에서의 계획 수립은 초기 상태에서 원하는 목표 상태로 이어지는 행동의 순서를 결정하는 것을 포함합니다. 이는 행동의 효과와 환경의 제약 조건에 대한 추론을 …
다단계(multi-step)
Definition
다단계 방법은 복잡한 쿼리나 작업을 더 작고 실행 가능한 단계로 분해하는 과정을 포함합니다. 이 접근 방식은 수학 문제 풀이나 코드 생성과 같은 추론 작업에서 …
퍼스트오더(First-order)
Definition
인공지능과 수학에서 ‘퍼스트오더’는 일반적으로 고차 상호작용 없이 직접적이고 선형적인 관계를 다루는 시스템이나 연산을 설명합니다. 최적화 …
UNLIKE
Definition
데이터베이스 쿼리 및 논리에서 ‘UNLIKE’는 일반적으로 NOT LIKE 연산자를 참조하며, 이는 역방향 패턴 매칭을 수행합니다. 열 값 …
주어진
Definition
AI 및 컴퓨터 과학 맥락에서 ‘given(주어진)‘은 계산이 시작되기 전에 모델이나 함수에 공급되는 초기 상태, …
결정 (Decision)
Definition
AI에서의 의사결정은 데이터, 모델 및 사전 정의된 목표를 기반으로 가능한 행동 세트 중 최적의 행동을 선택하는 과정을 포함합니다. 이는 엄격한 규칙을 따르는 …