클래스 계층 설계 — 기억 분류 체계의 결정

출발점 — 상자 다섯 개와 용어 스무 개

5-2가 끝났을 때 손에 있는 것은 용어 대장 20항목과, 트랙 2·4에서 확정한 최상위 분할 — 심리적 과정, 심리적 성향, 뇌 구조, 측정 과제, 정보 개체 — 이다. 계층 설계란 스무 개의 용어를 다섯 상자 밑의 제자리에 거는 일이다. 걸다 보면 어디에 걸지 애매한 용어가 나오고, 그 애매함이 이 차시의 쟁점 목록이다. 먼저 전체 그림을 보인다.

쟁점 1 — 단기기억과 작업기억: 공리를 보류하는 용기

5-2에서 미뤄 둔 첫 쟁점이다. 두 용어의 관계에 대해 이론들이 경합한다. 고전적 다중 저장고 모형은 단기기억을 수동적 저장고로 본다. 배들리(Baddeley) 전통은 작업기억을 저장과 조작을 겸하는 체계로 보아 단기 저장을 그 안에 품는다. 코완(Cowan) 전통은 작업기억을 장기기억의 활성화된 부분으로 본다. 어느 공리를 넣어도 — 단기 ⊑ 작업이든, 작업 ⊑ 단기든, 동일시든 — 특정 이론의 주장을 모든 사용자에게 강제하게 된다.

결정은 이렇다. 두 클래스를 기억 능력 아래 형제로 두고, 둘 사이에는 어떤 공리도 넣지 않는다. 대신 주석(skos:note)에 쟁점과 참고 문헌(Cowan 2008)을 적는다. 재사용과 정렬에서 배운 보수성 원칙(3-5)의 적용이다 — 확신 없는 주장은 공리가 아니라 기록으로 남긴다. 학습용 개념 지도라는 목적(5-1)에도 이 편이 맞다. 지도는 논쟁을 보여 줘야지, 몰래 판정해서는 안 된다.

쟁점 2 — 서술/비서술 축, 그리고 흡수되는 별칭들

장기기억을 가르는 축의 후보는 둘이다. 내용 기준의 서술/비서술(스콰이어 전통)과, 의식적 접근 기준의 명시/암묵. 두 축은 거의 같은 자리를 가르므로 — 서술≈명시, 비서술≈암묵 — 둘 다 클래스로 두면 쟁글 오류(4-1)를 온톨로지 안에 들여놓는 셈이 된다. 서술/비서술을 채택한다. 근거는 신경심리학적 해리 증거(해마 손상이 서술기억만 선택적으로 손상)와의 정합성, 그리고 정렬 상대인 Cognitive Atlas가 declarative memory를 표제어로 쓴다는 점이다. 명시적 기억·암묵적 기억은 폐기하지 않고 altLabel(대체 라벨)로 흡수한다 — 어느 이름으로 검색해도 같은 자리에 닿는다(2-4의 라벨·식별자 분리가 여기서 값을 한다).

쟁점 3 — 구성 요소는 하위 클래스가 아니다

음운 루프는 작업기억의 일종인가? 아니다 — 작업기억의 부분이다. "음운 루프 is_a 작업기억"이라고 쓰면 2-2에서 경고한 is_a 오용(부분-전체의 혼동)을 정확히 범하게 된다. 세 구성 요소(음운 루프, 시공간 잡기장, 중앙 집행기)는 심리적 성향 아래 두고, 작업기억과는 component_of 관계로 잇는다. 한 가지 유혹이 더 있다. '작업기억 구성 요소'라는 중간 클래스를 만드는 것이다. 그러나 '구성 요소임'은 그 성향의 본질이 아니라 모형 안에서의 역할이고, OntoClean(3-4)은 역할을 경직적 계층에 넣지 말라고 가르쳤다. 역할은 관계로 표현한다 — 클래스 하나를 아끼고 오류 하나를 피한다.

구성 요소 목록 자체도 결정이다. 음운 루프와 대칭인 시공간 잡기장을 용어 대장 v2로 추가한다. 2000년에 제안된 일화 완충기는 넣지 않는다 — 이론 내 지위가 아직 유동적이고, 역량 질문 10문 중 어느 것도 그것을 요구하지 않는다. 기각 사유를 결정 로그에 적는다.

쟁점 4 — 교차하는 축: 언어 기억의 자리

언어 기억은 시간 축(단기/장기)이 아니라 재료의 양상(언어/시공간) 축의 구분이다. 양상 축을 제대로 펼치면 모든 시간 구분과 교차하여 — 언어 단기기억, 시공간 장기기억… — 클래스 수가 곱으로 늘고 다중 상속이 불가피해진다. 결정: 주 분류 축은 시간·내용으로 하나만 두고, 양상 축의 용어는 기억 능력 직속에 걸어 교차를 펼치지 않는다. 교차가 필요해지는 시점(예: 언어 단기기억을 묻는 CQ가 생길 때)에 정의된 클래스로 처리할 수 있음을 주석에 남긴다 — 2-5에서 본 대로, 정의된 클래스는 계층을 늘리지 않고 교차 개념을 만들어 준다.

결정 로그 — 이 차시의 다섯 결정

표 15-3의 결정 로그. 넷째 열이 이 표의 존재 이유다 — 기각 대안이 없는 결정 기록은 나중에 "왜 이렇게 했더라"에 답하지 못한다(3-6).

판별 연습

적용: 산출물

이 차시의 산출물은 확정된 계층(그림 1)과 결정 로그(표 1), 그리고 용어 대장 v2(시공간 잡기장 추가, 일화 완충기 기각 기록)다. 자신의 도메인으로 실습 중인 독자는 같은 순서를 밟으면 된다 — 용어를 최상위 분할에 걸고, 걸리지 않는 것들을 쟁점 목록으로 만들고, 쟁점마다 결정·근거·기각 대안을 적는다. 다음 차시는 클래스 사이를 잇는 관계들을 확정한다.

용어 정리