모순되는 설명 가설을 자명화(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 문헌 최초의 초일관 가추 확장 연산이며 후속 논문에서 초일관 연산자의 인식적 역할 강화 예정
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
AGM-like Paraconsistent Partial Meet Abductive Expansion Operation
- 1.모순된 설명 가설을 자명화 없이 수용하는 최초의 파라일관 AGM형 가추 확장 연산 제시
- 2.Pagnucco의 1996년 가추 확장 연산과 Aliseda 분류법을 토대로 AGMpabd 시스템 구축
- 3.치환 속성을 만족하는 새 파라일관 논리 RCbr(LFI 계열)이 핵심 기반
- 4.공준과 추이적 관계 부분교집합 구성 포함, 후속 논문에서 AGMcircabd로 확장 예정
왜 중요한가?
지식베이스가 모순된 가설을 만나면 전체가 무너지는 고전 신념 수정 이론의 한계를 파라일관 논리로 극복한 AGM 문헌 최초의 시도다. 불확실하고 상충하는 증거를 다뤄야 하는 추론 시스템·지식 표현 연구의 이론적 기반을 넓힌다.
논리적 추론 및 지식 확장 분야의 심화 연구인 이 논문은 AI 시스템의 견고성과 설명 가능성을 높이는 데 기여할 수 있습니다. 특히, 모순을 허용하는 파라일치 논리를 기반으로 한 접근 방식은 복잡하고 불확실한 현실 세계의 정보를 처리해야 하는 국내 AI 시스템 개발에 근본적인 이론적 토대를 제공하며, 차세대 인공지능 연구의 방향성을 제시할 수 있습니다.
본문 미리보기
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
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 13:08AI 초안
