통합검색

자료베이스에 기록이 없으면 거짓이라고 말해도 될까?

같은 기록 없음이 열린 세계에서는 미정, 닫힌 세계에서는 거짓이 되는 과정을 직접 바꾸며 자료 완전성 가정을 점검합니다.

On Closed World Data Bases

AI 번역에서 ‘않다’ 하나가 빠지면 결론도 뒤집힐까?

부정 표현이 누락되거나 엉뚱한 말에 붙으면 문장 결론이 바뀝니다. 사례·부정 보존·범위를 바꿔 번역 검수표를 확인합니다.

원 안에 문장을 넣으면 ‘아니다’를 계산할 수 있을까?

19세기 말 찰스 샌더스 퍼스는 문장을 괄호와 기호의 줄이 아니라 종이의 영역과 닫힌 선으로 배치했다. 빈 종이, 병치, 절단선, 이중 절단선이 어떻게 참·그리고·아니다·이중부정을 나타내는지 읽고, P와 ‘P이면 Q’에서 Q를 얻는 과정을 그림의 변형으로 검산한다.

‘회의실이나 온라인으로 참여’에서 회의실을 골랐으면 온라인은 금지일까?

포함적·배타적 ‘또는’과 직접 확인한 사실을 바꾸어 가능한 참·거짓 조합, 모순과 필연적으로 따라오는 결론을 다시 계산합니다.

forall x: Calgary — Connectives and characteristic truth tables

서로 모순이면 어느 쪽이 틀렸는지는 아직 모른다

정확히 같은 대상·시각·의미에 관한 명제와 그 부정은 함께 참일 수 없다. 그러나 모순이 있다는 사실만으로는 두 진술 중 어느 쪽이 참인지 정할 수 없다는 구조를 읽는다.