본 연구는 사주 계산 프로그램 구현이라는 실천적 탐구를 통해, 사주명리 지식 체계의 핵 심 9개 영역이 알고리즘으로 형식화 가능한 지식인지 아니면 수련을 통해서만 체득 가능한 수련지(修鍊知)인지를 규명함으로써, 명리 지식의 인식론적 구조를 탐색하는 것을 목적으로 한다. 분석은 명리 원전 4가지 연해자평(淵海子平), 자평진전(子平眞詮), 적천수(滴天 髓), 삼명통회(三命通會)의 조문(條文)을 근거로 하여, 실제 사주 계산 및 원전 지원 시스 템 구현 과정에서 확인된 형식화의 가능성과 한계를 이론적으로 정리한 것이다. 사주 계산 및 원전 지원 시스템 구현 과정에서 경험적으로 확인된 형식화의 가능성과 한 계를 이론적으로 정리한 결과, 사주명리 지식은 4단계 유형으로 분류될 수 있음이 확인되 었다. 유형 I(완전 형식화)은 절기계산(節氣計算), 오행분석(五行分析), 대운기산(大運起算)으 로 조건과 결과가 원전에 명시적으로 기술되어 알고리즘으로 구현이 가능하다. 유형 IIa(규 칙 기반 부분 형식화)는 신살, 12운성(十二運星), 공망(空亡), 천간합 성립 조건으로 원전에 명시된 규칙으로 자동화 가능하나 작용 경중 판단에 추가 맥락이 필요하다. 유형 IIb(맥락 의존 부분 형식화)는 신살 경중, 격국 성패, 합충 희기, 운성 해석, 공망(空亡) 영향으로 용 신, 격국 판단과 연동되어 맥락 의존적이다. 유형 III(형식화 불가)은 용신선택(用神選擇)으로 Polanyi(1966)의 암묵지(tacit knowledge) 이론에서 말하는 전문가 직관의 영역에 해당한다. 이 4단계 분류는 사주 계산 프로그램에서 자동화 가능한 영역과 인간 상담사의 판단이 필 수적인 영역의 경계를 명확히 함으로써, 인간과 프로그램의 역할 분담 설계에 이론적 근거 를 제공한다.

This study systematically classifies and analyzes the algorithmic formalizability and its limits across the core domains of Saju-Myeongrihak (Four Pillars of Destiny): solar term calculation, Five Elements analysis, major fortune cycle calculation, spirit-star theory, Geokguk determination, heavenly stems interaction, and Yongshin selection. The analysis is grounded in four classical textsYeonhae Jap'yeong, Jap'yeong Jinjeon, Jeokcheonsu, and Sammyeong Tonghoeand draws on empirical findings from the implementation of an actual Saju calculation program. Results reveal four types of knowledge: Type I (fully formalizable) covers solar term calculation, Five Elements analysis, and major fortune cycle calculation; Type IIa (rule-based partial formalization) covers the establishment conditions of spirit-stars, twelve life-stages, void calculation, and heavenly stems combination; Type IIb (context-dependent partial formalization) covers the interpretive dimensions of these domains, all dependent on Yongshin judgment; and Type III (non-formalizable) comprises Yongshin selection, which belongs to the realm of expert intuition acquired through decades of practicewhat Polanyi (1966) termed tacit knowledge. This four-stage classification provides a theoretical foundation for delineating the roles of human experts and rule-based programs in Saju calculation systems, and for designing human-program collaborative models in Yeokhak counseling practice.

목 차
국문 초록
Ⅰ. 서론
Ⅱ. 이론적 배경
    1. 사주명리학의 지식 체계
    2. 알고리즘의 형식화
Ⅲ. 형식화 가능성 분류 기준과 가능성 분석
    1. 4단계 분류 체계
    2. 평가 기준 세부 항목
    3. 사주명리 9개 영역의 형식화 가능성 분석
Ⅳ. 종합분류 및 함의
    1. 알고리즘 형식화의 해석
    2. 알고리즘 형식화의 함의와 논의
Ⅴ. 결론
<참고문헌>

• 전세연(동방문화대학원대학교 석박사통합과정) | Chun se yun (Dongbang Culture Univ)