【摘 要】
：
组合范畴语法CCG(Combinatory Categorial Grammar)和类型逻辑语法TLG(Type Logical Grammar)都是范畴语法的现代版本，前者关注范畴语法的语言学应用和自然语言
【机 构】
：
燕山大学文法学院,河北秦皇岛066004;中国社会科学院哲学研究所,北京100732
论文部分内容阅读
组合范畴语法CCG(Combinatory Categorial Grammar)和类型逻辑语法TLG(Type Logical Grammar)都是范畴语法的现代版本，前者关注范畴语法的语言学应用和自然语言的信息处理，后者倾向于从逻辑的角度审视范畴语法的理论性质.CCG的特点有：原子范畴的加标多样化和彻底的词汇主义思路；斜线算子的下标模态化和函子范畴的多样组合；基于范畴等级和范畴构造的视角建立CCG的证明论.
其他文献
新时代工商联工作的主题、主线和目标就是促进"两个健康",这既是重大经济问题,也是重大政治问题,文章从十个方面探讨了如何做好新时代工商联工作。
中东-北非地区对欧盟具有特殊的战略意义。长期以来,欧盟通过各类援助以及与该地区"强权人物"保持紧密联系,力求确保经济和安全双重战略目标。2011年初开始的中东-北非变局,
<正>自发性细菌性腹膜炎(spontaneous bacterial peritonitis,SBP)又称原发性细菌性腹膜炎,是肝硬化等终末期肝病的严重并发症之一。排除腹腔继发性感染后,当腹水多形核白细
社会各界对负利率政策的有效性自其推出以来就存在着较大分歧。基于2008—2016年欧元区与33个控制组国家或地区的年度经济数据,运用合成控制法从通货膨胀和经济增长两个角度
本文简略概述了硅酸锆在传统陶瓷中的应用状况、应用机理及其作用,分析了硅酸锆在传统陶瓷中的应用前景,提出了发展过程中需解决的一些主要问题。
<正>上海交通大学药学院王永祥教授带领科研团队首次发现脊髓胰高血糖素样肽—1(GLP-1)受体可对慢性疼痛产生有效镇痛作用,这一受体成为治疗慢性疼痛的新潜在性镇痛靶点分子
近几年连云港的城市规模不断扩大,经济也高速发展,相应的配电网规模越来越大,传统的规划方法较难适应现有规模庞大的配电网发展。为此,提出了网格化的规划方法,以适应配电网
本文从化学专业学生师范技能达标认证的背景和意义出发,探讨了达标认证标准的设置、考核和实施办法,以期为下一步相关专业达标认证工作的开展提供有益的借鉴.
以黄顶菊新鲜植株为材料,用蒸馏水浸提活性物质,得到0.1、0.05和0.01g/mL三种不同干物质含量的黄顶菊水提液。以蒸馏水为对照,利用不同含量的黄顶菊水提液处理无土栽培的玉米
“证候宏观诊断标准”的科学建立是证候研究中一项最具基础性的工作,多年来,在这一领域已经取得了诸多进展,然而,困惑和争议持续存在,不少问题甚至是根本问题仍有待进一步解