모순되는 설명 가설을 자명화(trivialization) 없이 수용할 수 있는 새로운 초일관(paraconsistent) AGM식 가추적 확장 연산을 제시한 신념 수정(belief revision) 이론 연구다. Pagnucco의 1996년 최초 AGM식 가추 확장 연산과 Aliseda에서 영감을 받은 가추 추론 분류 체계를 기반으로, 공준(postulates)과 추이적 관계 부분 교차(transitively relational partial meet) 구성을 갖춘 연산을 정의했다. 이 작업은 대체 성질(replacement property)을 만족하는 자기확장적 초일관 논리 RCbr(LFI 계열)의 최근 개발로 가능해졌다. 저자에 따르면 AGM 문헌 최초의 초일관 가추 확장 연산이며, 초일관 부정·일관성 연산자에 인식적 역할을 부여하는 확장(AGMcircabd)은 후속 논문에서 다룰 예정이다.
- •모순된 설명 가설을 부조리한 인식 상태 없이 흡수하는 초일관 AGM식 가추 확장 연산(AGMpabd 체계) 제시
- •Pagnucco의 1996년 가추 확장 연산과 Aliseda의 가추 추론 분류 체계를 기반으로 공준과 부분 교차 구성 제공
- •대체 성질을 만족하는 자기확장적 초일관 논리 RCbr(LFI 계열)이 형식화의 핵심 기반
- •저자 주장상 AGM 문헌 최초의 초일관 가추 확장 연산이며 후속 논문에서 초일관 연산자의 인식적 역할 강화 예정
AGM-like Paraconsistent Partial Meet Abductive Expansion Operation
본문 미리보기
arXiv:2607.09729v1 Announce Type: new Abstract: In his 1996 doctoral thesis, Maurice Pagnucco created the first AGM-like abductive expansion operation. Taking his operation as a basis, as well as a taxonomy -- inspired by Atocha Aliseda -- responsible for highlighting and formalizing the main components of abductive reasoning, the main aim of this paper is to present a new paraconsistent AGM-like abductive expansion operation -- capable of assimilating contradictory explanatory hypotheses witho
전체 내용이 궁금하다면?
원문을 직접 읽어보세요