摘要：范畴语法是语言逻辑服务于当今人工智能自然语言处理的前沿阵地，范畴语法把自然语言的句法和语义的构造看作是受逻辑规则支配的计算过程，范畴语法是逻辑、语言和计算交叉研究的产物。自上个世纪50年代初计算语言学家B.Hillel把范畴语法应用于计算翻译以来，近70年过去了，当今计算机人工智能科学技术的发展一日千里，范畴语法的现代版本组合范畴语法对此发挥出更加积极的作用。随着计算机人工智能时代逻辑的计算转向，自然语言理解和处理的主体向人工智能体转化。组合范畴语法某种意义说是适合于机器分析的自然语言语法，该语法需要发挥逻辑规则的作用，这是一种具有强烈计算色彩的逻辑规则。当组合范畴语法树库面向大规模自然语言真实文本的分析时，所使用的规则还可能突破逻辑的刚性要求而产生大量的柔性推广。此外，组合范畴语法树库对自然语言的语义表征还面临从丰富的“逻辑工具箱”中进行选择的问题。本讲座拟通过介绍组合范畴语法分析的自然语言案例，去揭示其规则的计算色彩，并讨论组合范畴语法树库中规则的柔性推广和逻辑语义表征的工具选择等问题。
主讲人简介：邹崇理，哲学博士，中国社会科学院研究员，博士生导师，四川师范大学特聘教授。享受国务院政府特殊津贴专家，国家社科基金会审专家。曾任中国社会科学院哲学所逻辑室主任，所学术委员，中国逻辑学会第八届和第九届会长。现任中国逻辑学会名誉会长。曾主持完成若干国家社科基金项目（包括两项重大项目）。
