통합검색

합성 자료를 거듭 섞으면 드문 사례가 사라질까?

원자료 고정 비중과 합성 과정의 보존율을 바꾸어 반복 학습에서 드문 사례의 비중이 어떻게 달라지는지 추적합니다.

같은 결론에도 서로 다른 근거가 있을 수 있을까?

정당화 논리는 무엇을 안다는 말에 그 근거의 구조를 함께 기록합니다. 결론이 같을 때에도 어떤 자료와 규칙을 거쳤는지 구별해 봅니다.

Justification Logic

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

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

Basic Description Logics

AI 한 부분을 바꾸면 전체 원리도 알 수 있을까?

중간 상태 복원과 가중치 편집의 결과를 대상 문장·바꿔 쓴 문장·이웃 지식으로 나누어, 국소 성공에서 전체 설명으로 넘어가는 조건을 살핍니다.

서로 모순된 기록이 있으면 어떤 결론이든 따라올까?

모순을 발견해도 관련 없는 결론까지 허용하지 않는 비폭발적 추론을, 상충하는 행사 기록으로 살펴봅니다.

Paraconsistent Logic