摘要
自然语言中有大量的并列关系语句,对这些并列关系进行形式化语义分析,有利于自然语言信息处理的深化,让复杂、隐含的并列关系以更直观的形式呈现出来。如何对汉语并列语句同时进行形式化的句法合成和语义推演呢?基于范畴类型逻辑,运用并列关系规则、函项毗连规则、类型提升规则以及函数复合规则等,对语句并列、谓语并列、状语并列、主语并列、主谓并列、动宾并列、嵌套并列这七种并列关系,同时进行了形式化的句法合成和语义推演,创造性地解决了汉语并列关系语句中语义的形式化推演问题。
There are a large number of coordination relation sentences in natural language.The formal semantic analysis of these coordination relations is conducive to in-depth research in natural language information processing,enabling complex and implicit coordination relations to be presented in a more intuitive form.How to formalize syntactic synthesis and semantic inference of Chinese coordination sentences simultaneously?On the basis of categorical type logic and applying rules of coordination relation,function concatenation,type promotion and function composition,this article formalizes syntactic synthesis and semantic inference simultaneously for seven kinds of coordination relations,including sentence coordination,predicate coordination,adverbial coordination,subject coordination,subject predicate coordination,verb object coordination,and nested coordination.This study creatively solves the problem of formal inference of semantics in Chinese coordination relation sentences.
作者
邱君
QIU Jun(School of Philosophy,Anhui University,Hefei,Anhui230039,China)
出处
《贵州工程应用技术学院学报》
2024年第6期53-58,共6页
Journal of Guizhou University Of Engineering Science
基金
国家社科基金一般项目“‘话语表现理论+组合范畴语法’模式的等级隐涵之形式化研究”,项目编号:21BZX100
安徽省哲学社会科学规划重点项目“基于微分动态逻辑的混成系统自主控制模型及其形式化验证”,项目编号:AHSKD2023D023。
关键词
范畴类型逻辑
并列关系模式
句法合成
语义推演
Categorical Type Logic
Mode of Coordination Relation
Syntactic Synthesis
Semantic Inference
