가정과 모순을 허용하는 부분적 합의 추론 확장 연산

1996년 마우리스 파그누코(Maurice Pagnucco)가 작성한 박사 학위 논문에서 처음으로 AGM-like 추론 확장 연산을 만들었다. 파그누코의 연산을 바탕으로, Atocha Aliseda의 영감을 받은 분류체계를 사용하여 추론의 주요 구성 요소를 강조하고 공식화하는 데 사용되었다. 이 논문의 주요 목표는 추론의 주요 구성 요소를 강조하고 공식화하는 데 사용되는 분류체계를 바탕으로 새로운 paraconsistent AGM-like 추론 확장 연산을 제시하는 것이다. 이 연산은 모순된 설명적 가설을 흡수하는 동안 가치가 없는 epistemic 상태를 피하고 전이적 관계가 있는 부분적 합의 생성을 갖는다. 또한 이 논문에서 제시된 형식 개발은 최근에 paraconsistent 논리 RCbr가 만들어짐에 따라 가능해졌다. RCbr는 LFI(형식 불일치의 논리)로서, 특히 신념 수정의 맥락에서 특히 유용한 속성을establish한다. 특히, 자기 확장성(self-extensional)이라는 속성을 갖는다. 이는 신념 수정의 맥락에서 특히 유용한 속성이다. 이 논문에서 제시한 paraconsistent 추론 확장 연산은 AGMpabd라는 새로운 시스템의 일부이다. AGMpabd의 새로운 시스템은 많은 흥미로운 특징을 가지고 있지만, 모순된 설명적 가설에 대한 모순된 부정과 일관성의 연산자에 대한 epistemic 역할을 할당하지 않는다. 이와 같은 역할을 할당하는 analogous paraconsistent 추론 확장 연산은 AGMcircabd라는 새로운 시스템의 일부로 두 번째 논문에서 설명할 것이다. 그러나 이 논문에서 개발한 연산은 AGM 문헌에서 처음으로 개발된 연산이다.