논증이론이란 무엇인가?

단일한 논증을 여섯 부분으로 나눈다 - 주장, 데이터, 보증, 뒷받침, 자격, 반박. 하나의 논증의 표준적인 해부학이다.

논증을 규칙에 의한 비판적인 토론으로 취급한다. 이는 의견의 차이를 해결하기 위한 네 가지 단계 - 대면, 개방, 논증, 결론 - 를 통해 진행된다. 명명된 오류는 규칙의 위반이다.

공감을 통해 설득하는 전략이다. 먼저 반대 의견을 공정하게 말하고, 진정한 공통점을 찾고, 양측이 모두 수용할 수 있는 위치로 이동한다. 승리-패배 논쟁의 반대이다.

일상적인 추론의 약 60가지 반복되는 패턴(전문가 의견, 원인-결과, 유사성 등)과 각 패턴을 테스트하는 비판적인 질문이 있다.

논증을 지지, 반박, 그리고 약화시키는 프로포넌트-오포넌트 교환으로 재구성한다. 복잡한 실제 세계의 추론에 강하다.

노드와 '공격' 관계로 논증을 표현한다. 형식적인 의미론은 어떤 집합이 수용 가능한지 결정한다. 가치 기반 프레임워크는 우선순위를 추가하여, 합리적인 사람들이 왜 의견을 달리하는지 모델링한다. 인공지능 논증의 형식적인 핵심이다.

주장 이론이란 무엇인가요?

주장 이론은 주장이 어떻게 구성되고, 교환되며, 평가되고, 해결되는지를 연구하는 학제 간 연구입니다. 결론이 전제에서 따르는지만 묻는 순수한 형식 논리와는 달리, 주장 이론은 사람들이 실제로 어떻게 추론하는지를 연구합니다 — 주장이 어떻게 지지되고, 공격되고, 방어되는지를 다룹니다. 이는 철학, 언어학, 심리학, 법학, 컴퓨터 과학에 기반을 두고 있습니다.

주장 이론은 누가 창립했나요?

단일 창립자는 없습니다. 그 뿌리는 고대 그리스에 있으며 — 수사학의 첫 번째 교사인 소피스트들, 플라톤의 변증법, 그리고 무엇보다도 아리스토텔레스의 수사학(에토스, 파토스, 로고스)과 삼단 논법이 기초가 됩니다. 키케로, 퀸틸리안, 중세 스콜라 철학자들이 이를 더욱 발전시켰습니다. 현대 분야는 1958년 스티븐 툴민과 하임 페렐만에 의해 부활하였고, 1995년 판 민 둥에 의해 컴퓨터 형식으로 주어졌습니다.

주장 이론의 주요 가지는 무엇인가요?

네 가지 고전 가지와 하나의 현대 가지: 수사학(에토스, 파토스, 로고스를 통한 설득의 기술); 형식 논리(추론이 유효한지 여부); 비형식 논리 및 비판적 사고(실제 일상적인 주장을 평가하고 오류를 찾아내기); 변증법(대화와 반대 의견을 통한 추론); 그리고 계산 주장(기계가 주장을 표현하고 평가할 수 있게 해주는 형식적 프레임워크와 주장 채굴).

수사학, 논리, 변증법의 차이는 무엇인가요?

수사학은 청중을 설득하는 것에 관한 것이고; 논리는 청중과 관계없이 추론의 유효성에 관한 것이며; 변증법은 반대 의견 간의 구조화된 대화를 통해 진리나 최선의 답변에 도달하는 것에 관한 것입니다. 아리스토텔레스는 이 세 가지를 각각의 독립적인 예술로 다루었고, 주장 이론은 이들이 실제 추론에서 어떻게 함께 작용하는지를 연구합니다.

주장 이론은 주장 맵핑과 어떻게 관련이 있나요?

주장 맵핑은 주장 이론의 시각적이고 실용적인 응용입니다. 이론은 모델을 제공합니다 — 툴민의 주장 구성 요소, 프리먼의 지지 및 공격 관계, 둥의 생존하는 주장에 대한 설명. 주장 맵핑은 이러한 모델을 다이어그램으로 변환하며, Argumentree와 같은 도구는 다이어그램을 평가 및 AI 추출이 가능한 작동하는 찬반 트리로 변환합니다.

주장 이론은 AI에서 어떻게 사용되나요?

판 민 둥의 1995년 추상 주장 프레임워크는 AI가 '공격' 관계를 가진 노드로 주장을 표현하는 형식적인 방법을 제공하고, 어떤 주장 집합이 합리적으로 수용될 수 있는지를 계산할 수 있게 합니다. 주장 채굴과 결합하여 — 텍스트에서 주장과 관계를 추출하는 — 이는 AI 시스템이 의사 결정, 법적 추론 및 협상을 지원할 수 있게 하며, 문서와 전사본을 구조화된 주장으로 변환하는 도구의 기초가 됩니다.