Realistic Counterfactual Explanations via Denial Constraints
본 논문은 관계형 데이터베이스의 부정 제약 조건(denial constraints)을 통합하여 생성된 인스턴스가 데이터 유효성 규칙을 준수하도록 함으로써, 거리 및 다양성 지표의 손실을 최소화하면서도 실무적 적용 가능성을 높이는 방식으로 설명 가능한 AI에서 현실적인 반사실적 설명을 생성하는 새로운 접근 방식을 제안한다.
원저자가 쉬운 설명을 검토한 논문들.
이 페이지에 소개된 모든 논문은 원저자 중 최소 한 명이 저희의 쉬운 설명을 확인하여 내용이 정확하다고 확인했거나 수정 사항을 요청하여 저희가 반영한 것입니다. 확인이 각 문장을 공식적으로 승인한다는 의미는 아니지만, 설명이 논문을 쓴 당사자의 검토를 거쳤다는 뜻입니다.
저자가 검토한 논문 1196편 · 121–130 / 1196
본 논문은 관계형 데이터베이스의 부정 제약 조건(denial constraints)을 통합하여 생성된 인스턴스가 데이터 유효성 규칙을 준수하도록 함으로써, 거리 및 다양성 지표의 손실을 최소화하면서도 실무적 적용 가능성을 높이는 방식으로 설명 가능한 AI에서 현실적인 반사실적 설명을 생성하는 새로운 접근 방식을 제안한다.
본 타당성 조사 연구는 소프트 식별자를 사용하여 처방 성분을 환자의 알레르기 이력과 대조함으로써 방글라데시 농촌 지역 병원에서 약물 부작용을 예방하기 위해 설계된, 워크플로 효율성을 우선시하고 알람 피로를 최소화하는 경량 스마트폰 기반 안전 점검 시스템의 평가 계획을 제안하고 개요를 서술한다.
이 논문은 암흑 물질, 암흑 에너지, 또는 아인슈타인의 장 방정식에 대한 수정을 도입하지 않고도 모든 규모에서 은하 역학, 클러스터 렌징, 그리고 우주론적 관측을 성공적으로 설명하면서, 저밀도 환경에서는 바리온 중력을 증폭시키고 고밀도 영역에서는 차폐되는 데이터 기반의 비전파적 중력 응답인 '제5의 장(Fifth Field)'을 제안한다.
이 연구는 얽힌 GHZ 상태 앙상블이 PkTron 프레임워크 상의 시뮬레이션과 IBM 퀀텀 하드웨어를 통한 실험적 검증을 통해 하이젠베르크 한계 정밀도 스케일링과 정확한 위상 회복을 달성함을 입증함으로써 양자 향상 원자시계를 위한 기초적인 센싱 및 위상 추출 메커니즘을 검증하며, 동시에 이러한 결과가 물리적 발진기 하드웨어가 아닌 이산 변수 알고리즘을 확인하는 것임을 명시적으로 밝힌다.
본 논문은 트랜스포머 기반의 3D 사전 지식과 주파수 및 기하학 모듈을 갖춘 멀티태스킹 아키텍처를 활용하여 2D 외관 단서에서 3D 시각적 기하학으로 전환함으로써 여러 벤치마크에서 최첨단 성능을 달리는 새로운 유리 표면 탐지 방법을 제안한다.
나이지리아 라고스 지역의 만성 질환 환자들을 대상으로 한 이 연구는 본인 부담 의료비가 빈번하게 재난적 지출과 빈곤으로 이어진다는 점을 밝히고 있으며, 이러한 재정적 부담은 상급 공공 의료 시설에서 현저히 증가하고 건강보험 가입에 의해 강력하게 완화된다는 것을 보여준다.
이 논문은 채널 전력의 이력 적분과 특정 상한 변분 규칙을 활용하여, 보조 승수 없이 열역학적 일관성을 보장하면서 소산력과 양의 열원을 동시에 생성하는 동시에, 비가역적 열역학적 시스템의 역학적 평형 방정식과 엔트로피/열 방정식을 하나의 작용 범함수로 통합하는 경로 의존적 에너지 라그랑지안(PDEL)을 소개한다.
이 논문은 국소적 채색 전이(local coloring transfers)와 전역적 계수 논증(global counting arguments)의 결합을 통해 기존의 modulo- 분리 가능성 보장을 확장함으로써, 최대 길이가 2인 최대 헬릭스가 두 개 이하이고 길이가 1인 헬릭스가 없는 RNA 타겟들이 4글자 왓슨-크릭 모델 하에서도 설계 가능하다는 것을 증명하며, 해당 공식 증명은 Lean 4를 통해 검증되었다.
이 논문은 민코프스키 시공간의 하이퍼볼로이드 엽층 상에서 선형 파동 방정식을 위한 안정적인 완전 3D 합산에 의한 부분(Summation-by-Parts) 스킴을 제시한다. 이는 압축을 통해 곡선 좌표와 무한대와 관련된 좌표 특이점을 효과적으로 처리한다. 또한, 일반적인 공간 다양체 상의 곡선 좌표로 크라이스-올리거(Kreiss-Oliger) 소산의 정의를 일반화하며, 아인슈타인 장 방정식과 같은 비선형 시스템에 대한 향후 응용 가능성을 보여주는 유망한 결과를 입증한다.
이 논문은 항복, 유동, 경화(hardening)를 포함한 소성 이론의 근본적인 구성 요소들을 일방향 가용 경로에 대한 방향성 정체성(directional stationarity)에 기반한 단일 스칼라 범함수 체계로 통합함으로써, 탄성 부등식, 하중-언로딩 조건, 그리고 다양한 경화 메커니즘과 속도 의존적 진화를 수용하는 연관 및 비연관 유동 법칙을 도출한다.