会话交流的可计算性:从认知、逻辑的观点看

Conversation as Computation——from Recognition and Logic

对于会话交流的研究,历来重视交流过程中的认知-推理。以往侧重于用自然语言的方法、手段来考虑会话中的这一过程,但是为了实现人机对话和人工智能,我们必须对认知-推理过程进行形式表达与模型刻画,提供认知分析、变化轨迹,进行有效地推理计算,实现会话含义的可计算性。而现代认知、逻辑、信息科学的发展,为会话的可计算性提供了技术处理的途径。

In the past people paid attention to the inference in course of conversation and communication, and tried to understand the process by means of the ways of natural language. With the deepen research to this, people have recognized that conversation involves all varieties of knowledge the computation people begin to describe information flow in conversation through model and provide the analysis of cognition and the trace of changes .