Chapter 1338. 공장 순찰 로봇 도메인과 문제 정의 (Factory Patrol Robot Domain and Problem Definition)

• Chapter 1338. 공장 순찰 로봇 도메인과 문제 정의 (Factory Patrol Robot Domain and Problem Definition)

• 1338.1공장 순찰 도메인 정의의 개요와 범위 (Overview and Scope of Factory Patrol Domain Definition)

• 1338.2카페 배달 도메인과의 구조적 차이 분석 (Structural Difference Analysis with Café Delivery Domain)

• 1338.3타입 체계 정의: 로봇, 구역, 웨이포인트, 이상 유형 (Type System Definition: Robot, Zone, Waypoint, Anomaly Type)

• 1338.4타입 계층 구조와 구역 분류 체계 (Type Hierarchy and Zone Classification System)

• 1338.5술어 설계: 로봇 위치 및 이동 관련 술어 (Predicates Design: Robot Location and Movement Predicates)

• 1338.6술어 설계: 구역 상태 관련 술어 (Predicates Design: Zone State-Related Predicates)

• 1338.7술어 설계: 점검 상태 관련 술어 (Predicates Design: Inspection State-Related Predicates)

• 1338.8술어 설계: 이상 상태 관련 술어 (Predicates Design: Anomaly State-Related Predicates)

• 1338.9술어 설계: 접근 권한 및 안전 관련 술어 (Predicates Design: Access Permission and Safety Predicates)

• 1338.10함수 정의: 이동 비용 및 거리 함수 (Functions Definition: Movement Cost and Distance Functions)

• 1338.11함수 정의: 시간, 배터리, 위험도 함수 (Functions Definition: Time, Battery, and Risk Level Functions)

• 1338.12함수 정의: 점검 횟수 및 우선순위 함수 (Functions Definition: Inspection Count and Priority Functions)

• 1338.13액션 정의: 순찰 이동(patrol_navigate) 액션 (Action Definition: Patrol Navigate Action)

• 1338.14액션 정의: 시각 점검(visual_inspect) 액션 (Action Definition: Visual Inspect Action)

• 1338.15액션 정의: 열영상 점검(thermal_inspect) 액션 (Action Definition: Thermal Inspect Action)

• 1338.16액션 정의: 환경 데이터 수집(collect_env_data) 액션 (Action Definition: Collect Environmental Data Action)

• 1338.17액션 정의: 이상 보고(report_anomaly) 액션 (Action Definition: Report Anomaly Action)

• 1338.18액션 정의: 상세 조사(investigate) 액션 (Action Definition: Investigate Action)

• 1338.19액션 정의: 경보 발생(raise_alarm) 액션 (Action Definition: Raise Alarm Action)

• 1338.20액션 정의: 대기(standby) 액션 (Action Definition: Standby Action)

• 1338.21액션 정의: 충전(charge) 액션 (Action Definition: Charge Action)

• 1338.22액션 정의: 안전 구역 복귀(retreat_to_safe_zone) 액션 (Action Definition: Retreat to Safe Zone Action)

• 1338.23듀러티브 액션 정의: 순찰 점검 지속 시간 모델링 (Durative Action Definition: Patrol Inspection Duration Modeling)

• 1338.24조건부 효과를 이용한 이상 유형별 대응 모델링 (Response Modeling by Anomaly Type Using Conditional Effects)

• 1338.25수치 유창성을 통한 위험도 누적 모델링 (Risk Accumulation Modeling Through Numeric Fluents)

• 1338.26배터리 소모 모델링: 이동과 점검 행동별 소모율 (Battery Consumption Modeling: Consumption Rate by Movement and Inspection)

• 1338.27문제 파일 설계: 공장 초기 상태 정의 (Problem File Design: Factory Initial State Definition)

• 1338.28초기 상태: 구역 간 연결 관계와 이동 비용 (Initial State: Inter-Zone Connectivity and Movement Cost)

• 1338.29초기 상태: 웨이포인트 좌표와 점검 대상 설정 (Initial State: Waypoint Coordinates and Inspection Target Setting)

• 1338.30초기 상태: 구역별 위험도 초기값 설정 (Initial State: Per-Zone Risk Level Initial Value Setting)

• 1338.31목표 상태 정의: 전체 구역 순찰 완료 (Goal State Definition: Complete Zone Patrol Completion)

• 1338.32목표 상태 정의: 우선순위 구역 점검 완료 (Goal State Definition: Priority Zone Inspection Completion)

• 1338.33목표 상태 정의: 이상 발견 시 보고 완료 (Goal State Definition: Anomaly Report Completion on Discovery)

• 1338.34최적화 지표: 순찰 시간 최소화 (Optimization Metric: Patrol Time Minimization)

• 1338.35최적화 지표: 위험도 기반 가중 커버리지 최대화 (Optimization Metric: Risk-Based Weighted Coverage Maximization)

• 1338.36PDDL 요구사항 선언과 기능 활용 (PDDL Requirements Declaration and Feature Utilization)

• 1338.37도메인 모델 검증과 VAL 검증기 활용 (Domain Model Verification and VAL Validator Usage)

• 1338.38플래너 호환성 확인과 최적 플래너 선택 (Planner Compatibility Verification and Optimal Planner Selection)

• 1338.39PlanSys2와의 공장 순찰 도메인 통합 (Factory Patrol Domain Integration with PlanSys2)

• 1338.40도메인 확장: 다중 로봇 순찰 모델 (Domain Extension: Multi-Robot Patrol Model)

• 1338.41도메인 확장: 동적 이상 상황 발생 모델링 (Domain Extension: Dynamic Anomaly Occurrence Modeling)

• 1338.42도메인 확장: 교대 근무 모델링 (Domain Extension: Shift Work Modeling)

• 1338.43런타임 기반 문제 파일 동적 생성 기법 (Runtime-Based Problem File Dynamic Generation Techniques)

• 1338.44도메인 설계 디버깅과 반복적 개선 절차 (Domain Design Debugging and Iterative Improvement Procedures)

• 1338.45카페 배달 도메인과의 공통 패턴 추출과 재사용 (Common Pattern Extraction and Reuse with Café Delivery Domain)