통합검색

가능하다는 말은 어디까지 보장할까?

한 가지 가능한 계획과 모든 계획에서 유지되는 조건을 구분합니다. 양상논리를 작은 일정표로 읽어봅니다.

Modal Logic

‘아직 모름’을 거짓으로 처리해도 될까?

참·거짓에 미정을 더하면 ‘그리고’와 ‘또는’은 어떻게 달라질까요? 다치논리의 한 체계를 정확히 제한해 살펴봅니다.

Many-Valued Logic

끝까지 비교해야 합리적인 선택일까?

모든 대안을 계산할 수 없는 사람에게도 합리적인 탐색 규칙이 필요합니다. 만족화와 탐색 비용을 구분해 읽습니다.

Bounded Rationality

규칙을 확인하려면 맞는 사례보다 어기는 사례를 찾아야 할까?

Wason의 선택 과제는 조건문을 검사할 때 확인과 반증이 어떻게 갈리는지 보여 줍니다.

Reasoning about a Rule

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

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