새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?
Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.
A Logic for Default Reasoning
게시 2026-09-25 · 약 11분해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과5건
검색 결과 제목
‘모든 의사는 전문가다’ 같은 지식을 기계가 어떻게 모순 없이 묶을까?
기술논리의 개념·역할·개체 구분과 TBox·ABox 구조를 통해 분류, 포함, 만족 가능성 검사가 어떻게 지식 표현의 논리적 뼈대가 되는지 설명합니다.
Basic Description Logics
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
코너 안내이름을 연결하는 선에 관계를 적는다논리학 배우기
이름을 연결하는 선에 관계를 적는다
민서 작성 글가 다룸 벤다이어그램 활용분야 확률. 지훈 작성 글나 다룸 확률나무 활용분야 확률. 모든 노드 사이 화살표에는 관계 이름이 있다.
코너 안내새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?논리학 배우기
코너 안내‘모든 의사는 전문가다’ 같은 지식을 기계가 어떻게 모순 없이 묶을까?논리학 배우기
‘모든 의사는 전문가다’ 같은 지식을 기계가 어떻게 모순 없이 묶을까?
위쪽 TBox의 의사에서 전문가로 가는 포함 화살표와 아래쪽 ABox의 민지 사실이 결합되는 두 층 도식
1–5 / 5편