‘모든 의사는 전문가다’ 같은 지식을 기계가 어떻게 모순 없이 묶을까?
기술논리의 개념·역할·개체 구분과 TBox·ABox 구조를 통해 분류, 포함, 만족 가능성 검사가 어떻게 지식 표현의 논리적 뼈대가 되는지 설명합니다.
Basic Description Logics
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과2건
검색 결과 제목
코너 안내비슷한 기호를 묶는 추론은 증명일까?논리학 배우기
1–2 / 2편