학 습 목 표
- 함정 점검(3-3)을 실행하고 발견을 수정·수용·이월로 분류한다.
- 완료 판정 기준에 따라 기억 모듈의 완성을 선언한다.
- 다음 모듈(주의)의 착수 조건을 정리한다.
함정 자가 진단 — 실제 결과
3-3에서 세운 점검 계획을 집행한다. 자동으로 검사할 수 있는 항목은 스크립트로 돌리고, 수동 항목은 파일을 열어 확인했다. 주요 결과가 다음 표다.
| 점검(함정) | 실제 결과 | 분류 |
|---|---|---|
| P04 고아 클래스 | 0건 (최상위 5개·정의된 클래스 제외 전원 부모 있음) | 통과 |
| 정의 누락 | 0건 — 30개 클래스 전부 정의 보유 | 통과 |
| P08 출처 누락 | 14건 (저장·인출·언어 기억 등) | 분할 — 아래 상술 |
| P11 정의역·치역 누락 | 4건 (measured_by와 증거 관계 3종) | 의도적 수용 2건 + 수용 재검토 1건 |
| P13 역관계 누락 | 4건 (component_of, depends_on 등) | 의도적 수용 — 질의 방향 단일화 |
| P10 분리 공리 | 최상위 AllDisjoint 1건 보유(예산 그대로) | 통과 |
| is_a 오용(2-2 유형) | 구성 요소 3건 모두 component_of로 처리 확인 | 통과 |
| 순환 계층 | 0건 | 통과 |
| 라벨 중복(징글 유입) | 0건 — prefLabel 전원 유일 | 통과 |
표 1함정 점검의 실제 결과. 치명 등급 0, 발견은 모두 경미 등급이다. 셋째·넷째 줄의 처리가 이 차시의 본론이다 — 발견을 셋으로 가른다: 지금 고친다 / 알고 수용한다 / 다음 바퀴로 이월한다.
출처 누락 14건은 하나의 처분으로 묶을 수 없어 가른다. 최상위 5개와 총칭 클래스(기억 과정, 기억 과제 등) 7건은 특정 문헌이 아니라 설계 문서(관점 정의서·결정 로그)가 전거이므로 의도적 수용으로 기록한다. 반면 저장·인출·언어 기억 등 7건은 실질 구성개념인데 전거가 비어 있다 — 이월 목록에 올린다(한국어 대역 기준 확정과 묶어 처리). P11의 증거 관계 3종은 5-4에서 예고한 대로 범주 횡단이 이유인 의도적 수용이되, measured_by는 역관계라 정의역·치역이 자동 도출되므로 기재 불요 — 수용 사유가 서로 다름을 각각 적는다. 뭉뚱그린 수용은 다음 바퀴에서 아무것도 가르쳐 주지 않는다.
완성 선언 — 그리고 그 의미의 한계
판정 기준(5-1)에 비추어 본다. 충족 불가능 0 — 통과(5-7). CQ 10문 전원 응답, CQ3 골드스탠더드 일치 — 통과(5-7). 치명 함정 0 — 통과(이번 차시). 정렬 기재 — 매핑 9건과 불일치 기록 3건(5-8). 기억 모듈 v1의 완성을 선언한다. 선언과 동시에 그 의미를 제한한다 — 3-6에서 배운 대로, 이 완성은 "목적을 충족하는 한 바퀴를 마쳤다"는 뜻이지 "옳은 기억 이론에 도달했다"는 뜻이 아니다. 미결 목록이 그 증거다: 감각기억·시연(5-6의 주석 시험 발견), 망각의 처리, 단기기억 관계 공리, 출처 7건.
혼자의 맹점 깨기 — 선택 점검 두 가지
4-5에서 설계한 1인 프로젝트의 대체물을 회고에 배치한다. 시차 재주석 — 몇 주 뒤, 5-6의 주석 시험을 같은 원문으로 반복해 자기 일치도를 본다. 일치하지 않는 클래스는 정의가 모호하다는 경험적 신호다. AI 보조 검토 — 정의 문장만 준 AI에게 같은 원문의 주석을 시키고 불일치 지점을 비교한다. 3부(트랙 6)에서 만들 도구가 검증자로 돌아오는 지점이다. 둘 다 선택 항목이되, 실행하면 결과를 결정 로그에 적는다.
다음 모듈 — 주의
4-6의 모듈 순서에 따라 다음은 주의다. 착수 조건이 이미 모여 있다. 이월된 구성개념 — cognitive control(trm_4aae62e4ad209, 숫자폭 과제 조회 때 확인), N백 과제의 updating·active maintenance. 경계 쟁점 — 중앙 집행기(5-3)가 기억과 주의의 교차점에 있어, 주의 모듈의 관점 정의서가 이 경계를 첫 의제로 삼아야 한다. 그리고 재사용 가능한 틀 — ID 대역, 관계 명세, 검증 스크립트, 도메인 읽기 점검표(4-6)가 전부 그대로 쓰인다. 두 번째 바퀴는 첫 바퀴보다 빠르다 — 그것이 틀을 기록해 온 보람이다.
판별 연습
문 1"출처 누락 14건을 전부 고치기 전에는 완성 선언을 미뤄야 한다"는 입장을 평가하라.
답 확인
판정 기준의 혼동이다. 완료 판정은 5-1에서 미리 정한 기준(충족 불가능 0 + CQ 통과)에 대한 것이고, 출처 누락은 치명이 아닌 경미 발견이다. 모든 흠의 제거를 완성 조건으로 삼으면 완성은 영원히 오지 않고(순환은 끝나지 않으므로, 3-6), 기준을 미리 정한 의미도 사라진다. 다만 '분할' 처분이 보여 주듯 — 수용할 것과 이월할 것을 가려 기록하는 것까지가 선언의 자격 요건이다.
문 2주의 모듈을 시작할 때 중앙 집행기를 기억 모듈에서 주의 모듈로 옮겨야 한다는 결론이 나왔다고 하자. 무엇이 깨지고, 무엇이 지켜 주는가.
답 확인
깨질 수 있는 것: 중앙 집행기를 참조하는 공리(component_of 작업기억)와 CQ7의 답. 지켜 주는 것: ID 불변 원칙(2-4 — 클래스는 옮겨도 PSY_0000021은 불변이라 외부 참조가 살아남는다), 회귀 테스트(5-7 — 옮긴 뒤 verify를 돌리면 CQ7 변화가 즉시 보인다), 결정 로그(왜 옮겼는지가 남는다). 모듈 경계의 재협상은 실패가 아니라 직교성(4-3)의 일상 운영이다.
적용: 2부의 마감
이로써 목표 2 — 심리학 지식 도메인의 온톨로지 구현 — 의 첫 모듈이 완성되었다. 산출물: psymap.owl(클래스 30, 매핑 9, 테스트 10/10), 구축·검증 스크립트, 결정 로그, 이월 목록. 교재의 완성 판정 기준 3번("기억 모듈을 OWL로 구현하고 추론기 검사와 CQ 테스트를 통과시킨다")이 달성되었다. 다음 트랙부터는 3부 — 이 구조를 지능으로 바꾸는 일이다. 에이전트가 이 파일을 열고, RAG가 이 그래프를 검색하고, 질문이 SPARQL이 된다.
용어 정리
| 용어 | 원어 | 뜻 |
|---|---|---|
| 의도적 수용 | deliberate acceptance | 발견된 흠을 사유와 함께 남겨 두기로 한 기록된 결정(3-3) |
| 이월 목록 | carry-over list | 다음 반복으로 넘기는 미결 항목의 목록. 다음 관점 정의의 입력 |
| 시차 재주석 | delayed re-annotation | 시간을 두고 같은 원문을 다시 주석해 자기 일치도를 재는 1인용 신뢰도 검사(4-5) |
| 모듈 경계 | module boundary | 모듈 사이의 분담선. 고정물이 아니라 운영되는 합의다 |
Poveda-Villalón, M. et al. (2014). OOPS! (OntOlogy Pitfall Scanner!). IJSWIS, 10(2). · Schenk, P. et al. (2023). An Ontology of Mechanisms of Action in Behaviour Change Interventions. Wellcome Open Research. · 점검 결과는 psymap.owl에 대한 실제 실행 출력이다(트랙 5 스크립트 수록).