中文信息处理技术在当代有广泛的应用。随着互联网和计算机应用技术的快速发展,大量数据向中文信息检索、处理提出新的课题和需求。本文在计算语言学及形式语义学的基础上:(1)研究学习古代汉语动词的分类、现代动词的分类、概念从属理论和英语中动词分类,提出并分析动词新的分类,为语言教学提供新方法。在分类的基础上建立动词库,利用语法规则对动词的分类及其句子语义分析系统进行验证,证明动词分类系统的可行性和有效性,并继续讨论动词与其搭配成分之间匹配的问题。(2)融合蒋严和潘海华的基于类型和范畴的形式语义学和黄曾阳先生的HNC理论,对中文进行层次化的语义分析和表达,设计实现了以动词为逻辑驱动的自然语言理解系统,对类型和范畴的定义完全从汉语语法出发,将基于类型和范畴的思想表达为算法,把自然语言形式化为逻辑表达式,实现现代汉语的通用句型的句法语义分析。用范畴分析语义,把范畴概念转化为语料库中的字段,以类型的组合过程为驱动,以控制分析过程的流向,实现语义分析的逻辑驱动。(3)比较中英文主动句和被动句,并给出定义,用λ-演算的占位思想对汉语两种特殊句,“把”字句和“被”字句进行语义分析。基于形式语义学类型论语法的句法语义分析是一种新的思想,引进西方现代逻辑语法学理论却又不拘泥于此,比基于规则的限于句法的分析更适合对汉语进行操作。本文突破了传统汉语分析系统从词法分析到句法分析,再到语义分析的思路,采取从词法分析层面上升到语义分析层面的研究策略。有丰富的生长点和较强的可拓展性。