‘모든 의사는 전문가다’, ‘민지는 의사다’, ‘민지는 전문가가 아니다’를 한 저장소에 넣으면 무엇을 검사해야 할까? Franz Baader와 Werner Nutt의 「Basic Description Logics」는 개념(concept), 관계(role), 개체(individual)를 구분해 지식을 형식화하고, 포함 관계와 모순 가능성을 알고리즘으로 묻는 틀을 설명한다. 이 장은 2003년 Cambridge University Press 편집서에 실렸으며, 대학 강의용으로 공개된 핸드북 PDF에서 장 전체를 확인했다.
연구를 읽는 두 가지 질문
연구 질문과 자료
기술논리는 지식 표현 언어가 지나치게 약해 필요한 구분을 못 하거나, 지나치게 강해 추론이 다루기 어려워지는 문제 사이에서 설계된다. 장은 기본 언어 ALC 계열의 문법과 모델이론, 추론 과제를 체계적으로 제시한다. 실험 참가자나 교육 효과를 다루는 연구가 아니라, 정의·정리·알고리즘을 설명하는 이론 장이다. 여기서 ‘기본’은 쉬운 자연어라는 뜻이 아니라 확장 논리들의 공통 뼈대라는 뜻이다. [The Description Logic Handbook, Chapter 2]
세 종류의 조각
‘의사’나 ‘전문가’처럼 대상의 집합을 가리키는 것은 개념, ‘가르친다’처럼 두 대상을 잇는 것은 역할, ‘민지’처럼 특정 대상을 가리키는 것은 개체다. 개념은 교집합, 합집합, 부정, 존재·전칭 역할 제한으로 조립된다. 예컨대 ‘어떤 환자를 진료하는 의사’는 의사 개념과 ‘진료한다’ 역할의 존재 조건을 결합한다. 문장의 단어를 바로 화살표로 잇기보다 각 조각의 논리적 종류를 먼저 정해야 한다. [Baader & Nutt, formalism sections]
TBox와 ABox
TBox는 ‘의사 ⊆ 전문가’처럼 일반 용어와 포함 관계를 담고, ABox는 ‘민지는 의사다’처럼 특정 개체에 대한 사실을 담는다. 두 층을 분리하면 일반 규칙을 바꾸었을 때 어떤 개체 결론이 달라지는지 추적하기 쉽다. 위의 세 문장을 함께 두면 민지가 전문가라는 결론과 전문가가 아니라는 주장이 충돌한다. 추론기는 분류뿐 아니라 전체 지식베이스가 만족 가능한지도 검사해야 한다. [Baader & Nutt, knowledge bases]
표현력에는 계산 비용이 따른다
언어에 수 제한, 역역할, 전이성 같은 기능을 보태면 현실의 관계를 더 잘 표현할 수 있지만 추론 절차와 복잡도도 달라진다. 이름이 비슷한 관계를 무심코 같은 역할로 두거나, 열린 세계 가정에서 ‘기록이 없음’을 ‘거짓’으로 읽으면 잘못된 결론이 난다. 이 장이 제시하는 틀은 명시된 공리 아래의 논리적 귀결을 다루며, 지식의 사실성이나 데이터 입력의 품질까지 자동 보증하지 않는다. [Baader & Nutt, reasoning sections]
LTCT 적용: 규칙과 사례를 두 층으로 그리기
핸드북은 LTCT 교육의 효과를 시험하지 않았다. 적용 아이디어로는 문항의 일반 규칙을 위쪽 TBox, 개별 사례를 아래쪽 ABox에 놓고, 도출된 사실과 직접 주어진 사실을 색으로 구분할 수 있다. 학생은 ‘민지는 전문가다’가 어느 포함 규칙을 거쳐 나왔는지 경로를 표시한다. 평가에서는 새 사실 추가 뒤 만족 가능성이 유지되는지, 최소 어느 문장을 수정해야 하는지를 물어 추론과 진단을 함께 볼 수 있다. [LTCT 적용 제안]
진로 상담 지식베이스
TBox에 ‘논리교사 ⊆ 교사’, ‘교사 ⊆ 교육전문가’를 둔다. ABox에 ‘하나는 논리교사다’를 넣으면, 포함 관계를 두 번 적용해 ‘하나는 교육전문가다’를 얻는다.
그런데 ABox에 ‘하나는 교육전문가가 아니다’를 추가하면 단순히 정보가 하나 더 생긴 것이 아니라 지식베이스의 만족 가능성을 다시 검사해야 한다. 충돌 경로를 보여 주는 설명이 필요하다.
어디까지 말할 수 있을까요?
- 이 장은 기술논리의 이론과 알고리즘을 설명하며 실제 교육 현장의 성취 효과를 검증하지 않는다.
- 논리적으로 일관된 지식베이스라도 현실 세계에서 참이라는 보장은 없으며, 용어 정의와 입력 자료의 품질이 별도로 필요하다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
규칙 카드(TBox)와 사례 카드(ABox)를 다른 색으로 놓고 직접 사실과 추론된 사실을 구별합니다.
평가 문항에 모순을 하나 심은 뒤, 충돌을 일으키는 최소 공리 집합과 수정안을 찾게 합니다.
‘기록에 민지가 전문가라고 쓰여 있지 않다’에서 ‘민지는 전문가가 아니다’를 바로 결론내릴 수 있을까?
생각을 비교할 해설 펼치기
일반적인 기술논리의 열린 세계 해석에서는 그렇지 않다. 기록 부재는 거짓의 증명이 아니다. 부정 사실이나 이를 도출할 공리가 명시되어야 한다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
기본 기술논리 (Basic Description Logics)
Franz Baader; Werner Nutt (2003). The Description Logic Handbook, Cambridge University Press.
- 자료 성격
- 편집서 장
- 읽은 버전
- 2003 book chapter; public course-hosted handbook PDF checked
- 확인 범위
- 공개 핸드북 PDF에서 Chapter 2(쪽 47–100)의 형식, 지식베이스, 추론 절차와 한계를 확인
- 원문 확인일
- 영구 식별
- DOI 미기재 · 아래 보존판 주소로 안내
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준