통합검색

새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?

Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.

A Logic for Default Reasoning

49.6%가 50%로 보이면 ‘절반 이상’이라고 써도 될까?

분자·분모·표시 자릿수·판단 기준을 바꾸어 실제 비율과 반올림 표시가 기준선에서 같은 결론을 내는지 확인합니다.

NIST Guide to the SI, Chapter 7: Rules and Style Conventions for Expressing Values of Quantities

가끔 빌릴까 오래 쓸까, 이동거리가 답을 언제 바꿀까?

사용 횟수·대여 이동거리·묶음 수령·제품 수명·수선 여부·세척 조건을 바꾸어 구매와 대여의 가상 생애주기 부담과 교차점을 비교합니다.

Product Life Cycle Accounting and Reporting Standard

반납함 두 곳은 어디에 놓아야 할까?

행사장 네 구역의 거리와 방문자 수를 바꾸어, 가장 먼 길과 전체 이동량이라는 두 목표가 다른 배치를 고르는 이유를 살핍니다.

‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?

직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.

Intuitionistic Logic