연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
두 공격자와 하나의 방어 논증 사이 연결을 바꾸며, 모든 공격자가 방어되어야 처음 주장이 근거 확장에 들어가는 과정을 확인합니다.
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games
Dung의 추상 논증틀에서 공격·방어·허용가능성·근거 확장을 구분하고, 주장 내용 대신 공격 관계만으로 수용 집합을 계산합니다.
On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and N-Person Games
증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.
Proof Theory
시각 데이터 소통 연구는 값과 시각 속성의 대응, 불확실성 표현, 메시지 명료성을 따로 점검한다.
The Science of Visual Data Communication: What Works
Argument Interchange Format의 정보 노드와 도식 적용 노드를 통해 문장 내용과 추론 행위를 분리해야 논증 구조를 교환·확장할 수 있음을 살펴봅니다.
Towards an argument interchange format
1–5 / 13편
