통합검색

‘모든 의사는 전문가다’ 같은 지식을 기계가 어떻게 모순 없이 묶을까?

기술논리의 개념·역할·개체 구분과 TBox·ABox 구조를 통해 분류, 포함, 만족 가능성 검사가 어떻게 지식 표현의 논리적 뼈대가 되는지 설명합니다.

Basic Description Logics

AI는 낯선 입력도 아는 분류로 억지로 넣어야 할까?

알려진 A와 B 범주 사이·바깥의 입력이 거리 문턱을 넘어 알 수 없음으로 빠지는 관계 그림

자료베이스에 기록이 없으면 거짓이라고 말해도 될까?

민서 완료, 준호 미완료, 소라 기록 없음인 자료베이스 질의가 열린 세계에서는 미정, 닫힌 세계에서는 거짓으로 갈라지는 흐름

‘알 수 없음’과 ‘거짓’은 규칙을 먼저 정해야 갈린다

대출 가능 사실이 기록되지 않은 같은 자료를 열린 세계에서는 미확정, 닫힌 세계에서는 거짓으로 판정하는 두 갈래 도식