本系统应用了逐级上溯和标准化子树的概念，综合应用演绎法和合成法进行建树推理。
The system applies the conception of continuously tracing and standard sub-tree, and uses both synthesis and deduction method of FT building.
语用推理的模式不是单纯的演绎或归纳，而是多种推理方式的综合运用，语用推理的形式化研究是有意义的。
The mode of pragmatic inference is not a usage of single deduction or induction, but a integrated usage of various inference ways, so the research on the form of pragmatic inference is meaningful.
应用推荐