통합검색

기준 URL 끝의 슬래시 하나가 사진 주소를 바꿀까?

같은 photo.webp를 두 기준 주소와 결합하고, 끝의 슬래시와 맨 앞의 슬래시가 각각 어느 경로를 바꾸는지 확인합니다.

AI가 여러 번 시도해 하나를 맞히면 한 번의 실력도 같은 걸까?

한 번의 성공 확률과 시도 횟수를 바꾸어 한 번 성공할 가능성과 단일 시도 실력을 분리합니다.

이름을 말할 수 있으면 그 대상도 반드시 존재할까?

자유논리는 가리키는 대상이 없는 이름을 허용하고, 이름이 들어간 문장에서 존재 결론으로 넘어갈 때 어떤 조건이 필요한지 따집니다.

Free Logic

셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?

스콜렘의 역설은 외부에서 셀 수 있는 모형과 모형 내부의 셀 수 없음이 충돌하지 않는 이유를 보여 줍니다.

Skolem’s Paradox

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

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

Basic Description Logics