통합검색

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

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

On Closed World Data Bases

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

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

Employing the Centering Theory in Pronoun Resolution from the Semantic Perspective

점이 막대로 바뀔 때 같은 자료임을 끝까지 따라갈 수 있을까?

산점도의 점이 막대로 바뀔 때 색·경로·단계를 유지해 같은 자료 항목을 추적합니다. 직접 전환과 두 단계 전환의 중간 상태를 비교합니다.

Animated Transitions in Statistical Data Graphics

‘일정이 빠듯합니다’는 제안에 반대한 답일까?

회신 표현·공유 문맥·후속 확인을 바꾸어 직접 답, 간접 답 후보, 확인된 사실·추론·합의와 남은 쟁점을 구분합니다.

Interpreting and Generating Indirect Answers

중세 논리학자는 가정 하나를 끝까지 지킬 수 있었을까?

13~14세기 의무 논쟁의 positio 형식을 읽고, 한 가정과 규칙을 받아들였을 때 다음 문장을 받아들일 수 있는지 가능한 경우로 살핍니다.