비단조 추론
비단조 추론은 새로운 정보가 추가될 때 이전에 도출된 결론이 철회될 수 있는 추론을 형식화하여, 상식적 사고의 파기 가능하고 기본값에 의존하는 특성을 포착합니다.
Definition
추론 시스템은 결론 집합이 전제와 함께 단조적으로 증가하지 않을 때 비단조적입니다. 즉, 새로운 사실을 알게 되면 이전 추론이 무효화될 수 있습니다. 예를 들어, 특정 새가 펭귄이라는 것을 발견하면 그 새가 날 수 있다는 기본 결론이 철회되는 경우와 같습니다.
Scope
이 주제는 불완전한 정보와 기본값을 사용하여 추론하는 논리와 방법에 대해 다루며, 여기서 결론은 잠정적이며 철회될 수 있습니다. 여기에는 기본 논리, 서술 최소화, 폐쇄 세계 가정, 실패에 의한 부정, 그리고 파기 가능한 추론이라는 더 넓은 개념이 포함됩니다. 고전 논리의 단조성이 상식적 추론에 부적합한 이유와 비단조 형식주의가 결론에 도달하고 나중에 수정하는 능력을 어떻게 회복하는지 다룹니다. 불확실성 하의 추론에 대한 확률적 접근 방식은 불확실성 하의 추론에서 다룹니다.
Core questions
- 고전 논리는 왜 단조적이며, 상식적 추론은 왜 비단조성을 필요로 하는가?
- 기본 규칙은 반대 증거가 없는 경우 잠정적인 결론을 어떻게 허용하는가?
- 서술 최소화는 기본값을 포착하기 위해 비정상 술어의 확장을 어떻게 최소화하는가?
- 새로운 정보가 도착할 때 기본값과 예외 간의 충돌은 어떻게 해결되는가?
Key concepts
- 단조성 대 비단조성
- 기본 규칙 및 확장
- 서술 최소화
- 폐쇄 세계 가정
- 실패에 의한 부정
- 파기 가능한 추론
- 비정상 술어
- 신념 수정
Key theories
- 기본 논리
- Reiter의 기본 논리는 'A가 성립하고 B를 가정하는 것이 일관적이라면 B를 결론 내린다'는 형식의 기본 규칙으로 고전 논리를 확장하여, 상식적 기본값을 허용하면서도 철회 가능한 결론 집합(확장)을 생성합니다.
- 서술 최소화
- McCarthy의 서술 최소화는 선택된 (비정상) 술어의 확장을 최소화하는 비단조 추론으로, 알려진 사실이 허용하는 한 상황이 정상적이라는 가정을 형식화하여 기본 결론을 정당화합니다.
- 폐쇄 세계 가정 및 실패에 의한 부정
- 지식 베이스에 어떤 사실이 없다는 것을 그 사실의 거짓에 대한 증거로 취급하는 것(폐쇄 세계 가정, 실패에 의한 부정으로 운영적으로 구현됨)은 논리 프로그래밍과 데이터베이스의 핵심적인 널리 사용되는 비단조 메커니즘입니다.
Clinical relevance
비단조 메커니즘은 시스템이 불완전한 정보와 합리적인 기본값을 가지고 추론해야 하는 모든 곳에서 나타납니다. 논리 프로그래밍 및 연역 데이터베이스(실패에 의한 부정을 통해), 예외가 있는 규칙 기반 전문가 시스템, 조합 추론을 위한 답변 집합 프로그래밍, 상식 및 법적 추론의 형식 모델 등이 그 예입니다.
History
1980년 Artificial Intelligence 특별호에 실린 Reiter의 기본 논리와 McCarthy의 서술 최소화를 포함한 일련의 기초 논문들은 프레임 문제와 상식에 대한 고전 논리의 부적합성에 대응하여 비단조 추론의 형식적 연구를 시작했습니다. 이 분야는 나중에 답변 집합 프로그래밍과 신념 수정으로 이어졌습니다.
Key figures
- Raymond Reiter
- John McCarthy
- Drew McDermott
- Jon Doyle
- Robert C. Moore
Related topics
Seminal works
- reiter1980
- mccarthy1980
Frequently asked questions
- '비단조적'이라는 것은 무엇을 의미합니까?
- 고전 논리에서는 전제를 추가해도 결론이 제거되지 않습니다. 즉, 정리의 집합은 단조적으로 증가합니다. 추론이 비단조적이라는 것은 새로운 정보가 이전 결론을 철회하게 만들 수 있다는 것을 의미합니다. 이는 예외가 있는 것으로 밝혀진 기본 가정에서 발생합니다.
- 고전 논리는 왜 상식적 기본값을 처리할 수 없습니까?
- 고전 논리는 단조적이기 때문에 '새는 일반적으로 날 수 있다'와 같은 기본값은 펭귄과 같은 예외에 대해 거짓이 되지 않고서는 엄격한 규칙으로 명시될 수 없습니다. 비단조 논리는 이러한 기본값이 잠정적으로 유지되고 특정 반대 사실이 알려질 때 무효화될 수 있도록 합니다.