학 습 목 표
- 기억 모듈의 관계 일곱 개를 정의역·치역과 함께 확정한다.
- 전이성·대칭성·관계 계층 등 OWL의 속성 특성을 설계에 쓴다.
- 증거 강도를 관계 어휘로 구분하여 과잉 주장을 막는다.
관계 일람 — 일곱 개면 충분하다
트랙 2에서 관계의 문법(2-3)을, 트랙 4에서 재사용할 어휘의 출처(CA의 measures, RO의 part_of·depends on)를 확보했다. 이 차시는 그것을 기억 모듈의 확정 명세로 바꾼다. 원칙은 두 가지다. 관계는 적을수록 좋고(쓰지 않을 관계를 미리 만들지 않는다), 만드는 관계에는 정의역과 치역을 명시한다(2-5의 공리 예산 — domain/range는 오류를 잡는 값싼 공리다).
| 관계 | 정의역 → 치역 | 논리 특성 | 출처 |
|---|---|---|---|
| measures | 측정 과제 → 심리적 성향 | 역관계 measured_by | Cognitive Atlas(4-2) |
| measured_by | (measures의 역) | — | — |
| component_of | 심리적 성향 → 심리적 성향 | 전이적 | RO part_of 계열(BFO_0000050) |
| depends_on | 심리적 과정 → 뇌 구조 | — | RO depends on(RO_0002502) |
| associated_with | (범주 제한 없음) | 대칭적 | 증거 1단계: 상관(2-3) |
| influences | (범주 제한 없음) | — | 증거 2단계: 방향 있는 영향 |
| causes | (범주 제한 없음) | causes ⊑ influences | 증거 3단계: 실험적 인과 |
표 1기억 모듈의 관계 명세. 위 넷은 구조 관계(정의역·치역 고정), 아래 셋은 증거 관계(범주를 가로지르므로 정의역을 고정하지 않는다 — 이 선택의 대가는 5-9의 진단에서 돌아온다).
구조 관계 — 네 개의 화살표
measures는 이 지도의 등뼈다. 과제와 구성개념을 잇고, 구성개념–과제–증거 삼각형(4-1)의 한 변을 기계가 읽는 형태로 만든다. 정의역을 측정 과제로, 치역을 심리적 성향으로 고정하면 "작업기억이 숫자폭 과제를 측정한다" 같은 방향 착오를 추론기가 잡아낸다. 역관계 measured_by를 선언해 두면 CQ4(이 과제는 무엇을 측정하는가)와 CQ3(이 개념은 무엇으로 측정되는가)를 같은 데이터에서 양방향으로 물을 수 있다 — 2-3에서 본 역관계의 용도다.
component_of는 전이적(transitive)으로 선언한다. 음운 루프가 작업기억의 구성 요소이고 작업기억 안에 더 깊은 구조가 생기면, 추론기가 경로를 이어 준다. depends_on은 과정과 뇌 구조를 잇는다 — 성향이 아니라 과정이 정의역임에 주의한다. 해마에 의존하는 것은 '서술기억'이라는 능력 그 자체가 아니라 부호화·응고화라는 과정이다. 이 구분이 CQ8(해마가 관여하는 기억 과정은?)을 정확한 질문으로 만든다.
증거 관계 — 삼각형의 나머지와 주장의 강도
심리학 지식의 상당 부분은 "X와 Y가 관련된다"는 형태인데, 그 '관련'의 증거 강도는 제각각이다. 상관 연구가 보여 준 연관, 종단 연구가 시사한 방향적 영향, 실험이 입증한 인과 — 이 셋을 한 단어로 적으면 가장 약한 증거가 가장 강한 주장으로 둔갑할 길이 열린다. 역추론(4-2)이 지식 그래프 안에서 재생산되는 것이다. 그래서 어휘를 셋으로 가른다. associated_with(상관) → influences(방향 있는 영향) → causes(실험적 인과). causes ⊑ influences라는 관계 계층을 공리로 넣어 — 인과를 주장했다면 영향 질의에도 걸리도록 — 질의의 재현율을 지킨다. associated_with는 대칭적으로 선언한다. 상관에는 방향이 없기 때문이다.
판별 연습
문 1"해마 손상 환자의 일화기억이 손상되었다"는 지식을 넣으려 한다. 어느 관계로 적는가.
답 확인
손상 연구는 준실험적 증거로, 해마가 일화기억 관련 과정에 필요함을 보인다. 가장 정확한 기재는 성향이 아닌 과정 수준이다 — 부호화 depends_on 해마(구조 관계). "해마 → 일화기억" 직접 연결이 필요하면 influences(2단계)까지가 안전하고, causes는 무선 할당 실험이 불가능한 영역이므로 과잉이다.
문 2증거 관계 셋에 정의역·치역을 두지 않았다. 이 선택의 이득과 비용은.
답 확인
이득: 성향↔성향, 과정↔성향, 뇌 구조↔과정 등 어느 범주 사이의 증거든 하나의 어휘로 적을 수 있다. 비용: 방향 착오나 범주 착오를 추론기가 잡아 주지 못한다(domain/range 공리가 없으므로). OOPS!의 P11이 이 지점을 지적할 것이고, 5-9에서 의도적 수용으로 기록하거나 보완을 결정해야 한다.
적용: 산출물
이 차시의 산출물은 관계 명세(표 1)다. 설계 단계가 끝났다 — 계층(5-3)과 관계(5-4)가 종이 위에 확정되었으니, 다음 두 차시는 이것을 실제 OWL 파일로 옮긴다. 자신의 도메인으로 실습 중인 독자는 관계 수를 다섯에서 열 사이로 묶고, 각 관계마다 "이 관계가 없으면 어느 CQ가 답을 잃는가"를 검사해 보면 과잉 설계를 막을 수 있다.
용어 정리
| 용어 | 원어 | 뜻 |
|---|---|---|
| 구조 관계 | structural relation | 분류·구성·의존처럼 정의역과 치역이 고정되는 관계 |
| 증거 관계 | evidential relation | 경험적 발견을 적는 관계. 증거 강도에 따라 3단계로 가른다 |
| 관계 계층 | property hierarchy | 관계 사이의 포함(causes ⊑ influences). 강한 주장이 약한 질의에도 걸리게 한다 |
| depends_on | depends on | 과정이 구조에 의존함을 적는 관계(RO 차용) |
| component_of | component of | 성향의 구성 요소 관계(RO part_of 계열). 전이적 |
Smith, B. et al. (2005). Relations in Biomedical Ontologies. Genome Biology, 6(5) — RO의 원전. · Poldrack, R. A. et al. (2011). The Cognitive Atlas. Frontiers in Neuroinformatics, 5. · 2-3(관계의 정의), 4-2(역추론)의 종합.