Chapter 25. 지식 표현의 구조적 한계와 프레임 문제(Frame Problem)

• Chapter 25. 지식 표현의 구조적 한계와 프레임 문제(Frame Problem)

• 25.1지식 표현(Knowledge Representation)의 목적과 근본적 요구 사항

• 25.2표현적 적합성(Representational Adequacy)의 정의와 평가 기준

• 25.3추론적 적합성(Inferential Adequacy)의 정의와 계산 가능성 조건

• 25.4획득적 적합성(Acquisitional Adequacy)의 정의와 실용적 제약

• 25.5기호적 지식 표현의 표현력과 계산 복잡도 간의 상충 관계

• 25.6프레임 문제(Frame Problem)의 기원과 맥카시-헤이스 형식화

• 25.7프레임 문제의 형식적 정의: 상황 계산법(Situation Calculus) 기반 기술

• 25.8효과 공리(Effect Axiom)의 정의와 행동 결과의 명시적 기술

• 25.9프레임 공리(Frame Axiom)의 정의와 불변 속성의 명시적 기술

• 25.10프레임 공리의 조합적 폭발 문제: 공리 수의 기하급수적 증가

• 25.11프레임 문제의 표현론적 해석과 추론론적 해석의 구분

• 25.12비단조 논리(Non-Monotonic Logic)의 정의와 기본 원리

• 25.13기본 논리(Default Logic)의 형식적 정의와 확장(Extension) 개념

• 25.14한정 논리(Circumscription)의 정의와 최소 모델 선택 원리

• 25.15자기 인식적 논리(Autoepistemic Logic)와 무지의 추론

• 25.16닫힌 세계 가정(Closed-World Assumption)의 역할과 한계

• 25.17프레임 문제의 해결 접근 1: STRIPS의 암묵적 프레임 가정

• 25.18프레임 문제의 해결 접근 2: 후계 상태 공리(Successor-State Axiom)

• 25.19레이터(Reiter)의 후계 상태 공리 형식화와 완전성 증명

• 25.20인과적 최소화(Causal Minimization)를 통한 프레임 문제 해결

• 25.21한정 문제(Qualification Problem)의 정의와 발생 조건

• 25.22행동 전제 조건의 완전한 열거 불가능성과 그 함의

• 25.23결과 문제(Ramification Problem)의 정의와 간접 효과의 추적

• 25.24인과 관계(Causal Relationship)의 형식적 표현과 간접 효과 전파

• 25.25지식 표현의 불완전성 문제: 열린 세계(Open-World) 환경에서의 추론

• 25.26상식 지식(Common Sense Knowledge)의 특성과 형식화의 어려움

• 25.27질적 물리학(Qualitative Physics)과 순진한 물리학(Naive Physics) 프로젝트

• 25.28CYC 프로젝트의 상식 온톨로지 구축 시도와 교훈

• 25.29기호 접지 문제(Symbol Grounding Problem)의 정의와 철학적 배경

• 25.30중국어 방 논증(Chinese Room Argument)과 의미론적 한계

• 25.31지식 표현의 취약성(Brittleness) 문제와 견고성 결여

• 25.32상황 의존적 해석(Context-Dependent Interpretation)의 형식화 난제

• 25.33시간적 추론(Temporal Reasoning)의 표현 문제와 이벤트 계산법

• 25.34공간적 추론(Spatial Reasoning)의 표현 문제와 정성적 공간 관계

• 25.35불확실성 하의 지식 표현: 확률적 접근과 기호적 접근의 괴리

• 25.36기호주의적 지식 표현과 연결주의적 분산 표현의 비교 분석

• 25.37신경-기호 통합(Neuro-Symbolic Integration)의 연구 동기와 접근 방향

• 25.38지식 표현의 구조적 한계가 첫 번째 AI 겨울에 미친 영향 분석