彭炜明，宋继华，王宁

(1. 北京大学计算语言学教育部重点实验室 北京大学 计算语言学研究所 北京 100871;2. 北京师范大学 信息科学与技术学院 北京 100875;3. 北京师范大学 文学院，北京 100875)

汉语析句的形式化问题

彭炜明1，2，宋继华2，王宁3

(1. 北京大学计算语言学教育部重点实验室 北京大学 计算语言学研究所 北京 100871;2. 北京师范大学 信息科学与技术学院 北京 100875;3. 北京师范大学 文学院，北京 100875)

该文讨论了形式化析句的基本概念，从语言和言语、描写和解释、层次和线性、短语和句式、词法和句法等多个语言学视角梳理了汉语析句中的形式化问题，并介绍了在句本位语法图解析句形式化中总结的若干经验、原则和待解决问题。

析句方法，形式化，汉语句式，句本位语法

1 形式化析句的基本概念

形式化又称形式化方法，是指用一套表意符号，去研究表达事物的结构及其规律，从而把对事物的研究转变为对符号的研究，广泛应用于现代逻辑和数学研究中[1]。形式化包括四个方面: 符号化、公式化、规则化和系统化[2]。符号和公式是表现形式，都是为揭示结构规律服务的，而结构规律通常体现为一定的规则和系统。规则决定符号和公式的基本情况。系统化则要求规则和谐有序、不相互矛盾，通常表现为形式化系统中的各类约束条件或公理。

计算装置的机械性决定了形式化在自然语言析句(句子结构分析)中的基础地位，句法形式化模型反映了研究者对所处理自然语言的基本观点，是决定NLP技术框架的理论基础。……