본 논문은 확률 수치를 사용하지 않고 사실과 미정 진술(defeasible statements)에서 결론을 도출하는 그럴듯한(plausible) 추론 논리를 제안한다. 14개의 필수 원리와 3개의 바람직한 원리를 포함한 17개의 원리를 제시하고, 이를 거의 모두 만족하면서 모든 예제를 올바로 추론하는 1차 논리 PL(Plausible Logic)을 정의한다. PL은 동일한 상황에서 합리적으로 도달 가능한 서로 다른 결론을 위해 8개의 추론 알고리즘을 갖는다. 이 논문은 동명의 단행본의 압축본으로, 증명은 단행본에 위임된다.
- •확률 수치 없이 그럴듯한 추론을 수행하는 논리 체계 제안
- •17개 원리 중 14개 필수·3개 바람직한 원리를 공리화
- •거의 모든 원리를 만족하는 1차 논리 PL 정의
- •동일 상황에서 다양한 합리적 결론을 위한 8개 추론 알고리즘 포함
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Plausible Reasoning and First-Order Plausible Logic
- 1.확률 없이 개연적 진술로부터 결론을 도출하는 17개 추론 원칙 제시
- 2.필수 원칙 14개와 요구 원칙 3개를 구분
- 3.Plausible Logic은 1개 원칙 제외 모두 충족하며 예제를 정확히 추론
- 4.PL은 복수 타당 결론을 다루는 8개 추론 알고리즘을 포함
왜 중요한가?
defeasible 추론 분야에서 확률 없이도 엄밀한 결론을 유도하는 정식화된 1차 논리 체계를 제공해 기호 AI 연구의 기반이 됨
언급 프로젝트
본문 미리보기
arXiv:2604.19036v1 Announce Type: new Abstract: Defeasible statements are statements that are likely, or probable, or usually true, but may occasionally be false. Plausible reasoning makes conclusions from statements that are either facts or defeasible statements without using numbers. So there are no probabilities or suchlike involved. Seventeen principles of logics that do plausible reasoning are suggested and several important plausible reasoning examples are considered. There are 14 necessa
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 13:10AI 초안
