论文部分内容阅读
范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组合解释;通过证明树中词条的不同毗连顺序以及对同一词条指派不同的范畴,可以从逻辑推演和计算的双重视角对汉语反身代词的指代歧义进行消解。
基于范畴类型逻辑的汉语反身代词指代歧义的消解
【摘 要】
：
范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组合解释;通过证明树中词条的不同毗连顺序以及
【机 构】
：
四川师范大学哲学研究所
【出 处】
：
湖北大学学报:哲学社会科学版
【发表日期】
：
2020年3期
【基金项目】
：
国家社会科学基金后期项目“面向人工智能的命题动态逻辑及其扩展研究”(19FZXB102)
其他文献
通过对6种藓类植物,即褶叶青藓(Brachythecium salebrosum(Web.et Mohr.)B.S.G.)、湿地匐灯藓(Plagiomnium acutum(Lindb.)Kop.)、侧枝匐灯藓(Plagiomnium maximoviczii(Lind
五四运动以来中国现代文学和理论逐步形成了自己的新的传统,这一新传统既可以与自己固有的传统进行对话,同时又可以与西方的文学和文化理论进行对话。西方文学理论和各种现当
羞感是一种属人的、普遍的、具有道德意义的情感现象。然而,自古以来伦理学家们却很少讨论“羞”的问题。对于“羞感何以发生”,舍勒强调关键的一环在于“转回自我”。“转回
可持续发展是人类全面总结过去的发展历程、分析以往的经济行为后,提出的一种全新的社会发展模式,是人类社会发展的必然选择和唯一选择。在日趋激烈的市场竞争环境中实现企业