本文从认知角度来研究抽象对象理论。在现代逻辑中，抽象对象理论是与内涵逻辑的研究与发展密不可分的。内涵逻辑语义学可大概分为以......

指代消解是人工智能研究领域的重点和难点内容之一，因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方......

话语表现理论是形式语义学发展过程中的一道分水岭,人们称其之前的为传统形式语义学。它与传统形式语义学最大的不同就是:后者对句......

话语表现理论（ＤｉｓｃｏｕｒｓｅＲｅｐｒｅｓｅｎｔａｔｉｏｎＴｈｅｒｏｙ，简称ＤＲＴ）是动态地描述自然语言意义的形式语义理论。其特色为：把传统形式语义学对句子的分析扩大到句子系列，通过对句子上下......

教育信息化是实现教育现代化的重要步骤,是教育现代化的重要内容和主要标志。数学既是一门基础学科,又是一门思维学科,其教学对于......

用动态认知逻辑特别是话语表现理论为主要研究工具,充分考虑语境因素,探讨命题态度句的语义解释,得出的结论是:(一)命题态度句的语......