论文部分内容阅读
本文主要从人工智能视角研究动态的自然语言逻辑,探讨真值条件语义,动态修正和更新等动态系统以及可用来处理单主体和多主体之间的期望和博弈等问题,进而给出动态自然语言语句的一阶的语义,从语句层面转向会话语句和交流中的信息流,并给出相应的语义系统、行为动态逻辑的公理系统,最后给出人工智能语言和计算程序逻辑的实例,探讨自然语言的动态逻辑在人工智能中的应用和哲学问题。