통합검색

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

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

On Closed World Data Bases

‘그가 책을 건넸을 때 그는 웃었다’의 두 ‘그’는 같은 사람일까?

이름·담화 중심·앞 문맥·행동 의미를 바꾸어 민재와 도윤 가운데 남는 지시 후보와 보완할 단서를 비교합니다.

Employing the Centering Theory in Pronoun Resolution from the Semantic Perspective

모든 문장을 당장 참이나 거짓으로 정해야 할까?

Kripke의 진리 이론을 통해 다른 문장에 의존하는 진리 판정이 단계적으로 안정되는 과정과 자기지시 문장의 미정 상태를 살펴봅니다.

Outline of a Theory of Truth

‘떠났다고 말하지 않았다’와 ‘떠나지 않았다고 말했다’는 같은 뜻일까?

부정어의 자리·독립 사건 기록·직접 인용 여부를 바꾸어 말하기, 발화 내용과 실제 사건의 근거를 분리합니다.

Negation

가장 늦은 한 작업이 전체 일정도 결정할까?

동시에 시작하는 세 작업 경로의 기간을 바꾸며, 전체 완료일을 정하는 임계 경로와 각 경로의 여유 시간을 구분합니다.