Chapter 20. STRIPS 표현 언어와 상태 공간 계획법 모델링 Chapter 20. STRIPS 표현 언어와 상태 공간 계획법 모델링 20.1STRIPS의 역사적 배경과 연구 동기 20.2STRIPS 시스템의 전체 구조와 구성 요소 20.3세계 모델(World Model)의 정의와 상태 표현 방식 20.41차 술어 논리(First-Order Predicate Logic) 기반 상태 기술 20.5닫힌 세계 가정(Closed-World Assumption)의 정의와 역할 20.6STRIPS 연산자(Operator)의 형식적 정의 20.7전제 조건(Precondition)의 논리적 구조와 만족 조건 20.8추가 목록(Add List)과 삭제 목록(Delete List)의 정의 20.9연산자 적용에 의한 상태 전이 메커니즘 20.10STRIPS 문제 인스턴스의 형식적 정의: 초기 상태와 목표 상태 20.11목표 조건의 논리적 표현과 부분 목표 분해 20.12상태 공간(State Space)의 수학적 정의와 그래프 구조 20.13상태 공간에서의 전진 탐색(Forward State-Space Search) 20.14상태 공간에서의 후진 탐색(Backward State-Space Search) 20.15목표 회귀(Goal Regression) 연산의 수학적 정의 20.16STRIPS 가정(STRIPS Assumption)의 의미와 제약 사항 20.17수단-목적 분석(Means-Ends Analysis)의 원리와 적용 20.18선형 계획(Linear Planning)과 비선형 계획(Nonlinear Planning)의 구분 20.19서스만 이상(Sussman Anomaly)과 목표 간 상호작용 문제 20.20STRIPS 연산자의 변수 바인딩(Variable Binding)과 통합(Unification) 20.21리프팅된 STRIPS(Lifted STRIPS)의 정의와 탐색 공간 축소 효과 20.22명제화(Propositionalization) 과정과 접지된 연산자(Grounded Operator) 생성 20.23STRIPS 문제의 계산 복잡도 분석: PSPACE-완전성 20.24STRIPS와 상황 계산법(Situation Calculus)의 관계 20.25프레임 문제(Frame Problem)의 발생 원인과 STRIPS의 해결 방식 20.26한정 문제(Qualification Problem)와 결과 문제(Ramification Problem) 20.27STRIPS에서 ADL(Action Description Language)로의 확장 20.28ADL의 조건부 효과(Conditional Effects)와 부정 전제 조건 20.29ADL의 양화 전제 조건(Quantified Preconditions)과 동등성 표현 20.30STRIPS에서 PDDL(Planning Domain Definition Language)로의 발전 20.31PDDL 도메인 파일의 구문 구조와 의미론 20.32PDDL 문제 파일의 구문 구조와 초기/목표 상태 기술 20.33STRIPS 표현의 완전성과 표현력의 한계 분석 20.34계획 그래프(Planning Graph)에서의 STRIPS 연산자 활용 20.35현대 계획기(Planner)에서의 STRIPS 표현 계승과 변환 20.36STRIPS 모델링의 실제 적용: 블록 세계(Blocks World) 문제 20.37STRIPS 모델링의 실제 적용: 물류 및 경로 계획 문제 20.38STRIPS 표현 체계의 이론적 한계와 후속 연구 방향