통합검색

한 행의 값만 보면 의존을 판단할 수 있을까?

의존논리는 여러 변수 배정을 한 팀으로 평가해 ‘같은 입력이면 같은 출력’이라는 함수적 의존을 논리식 안에 표현합니다.

Dependence Logic

정책 뒤 수치가 떨어지면 정책 효과라고 말해도 될까?

반환 누락이 정책 직전 46개에서 42개로 줄었다는 전후 차이 −4와, 기존 +2 추세를 연장한 48개 대비 직후 간격 −6을 구분합니다.

일어나지 않은 일을 다르게 가정하면 결과도 달라졌다고 말할 수 있을까?

반사실 조건문 이론은 실제가 아닌 가정을 어떤 비교 세계와 대조해야 하는지 묻습니다.

Counterfactuals

조건문의 대우는 왜 같고, 역은 왜 다를까?

출입 기록 네 가지를 모두 놓고 원래 조건문·역·대우의 참과 거짓을 한 줄씩 비교합니다.

AI가 제안한 최소 변경은 실제로 실행할 수 있을까?

출력이 뒤집히는 가장 가까운 입력과 사람이 지금 선택해 실행할 수 있는 행동을 비용·시간·인과 제약으로 나눕니다.