论文部分内容阅读
范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组合解释;通过证明树中词条的不同毗连顺序以及对同一词条指派不同的范畴,可以从逻辑推演和计算的双重视角对汉语反身代词的指代歧义进行消解。
基于范畴类型逻辑的汉语反身代词指代歧义的消解
【摘 要】
：
范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组合解释;通过证明树中词条的不同毗连顺序以及
【机 构】
：
四川师范大学哲学研究所
【出 处】
：
湖北大学学报:哲学社会科学版
【发表日期】
：
2020年3期
【基金项目】
：
国家社会科学基金后期项目“面向人工智能的命题动态逻辑及其扩展研究”(19FZXB102)
其他文献
<正> 新春伊始,气象万千。当前,举国上下,各行各业都在贯彻落实党的十四大精神,进一步解放思想,以经济建设为中心,深化改革,加快实现第二步战略目标的进程。水土保持工作同样
徐小斌作为女性文学的资深作家,从20世纪80年代初期登上文坛,至今仍然活力四射,时有新作问世。其中篇小说《双鱼星座》《别人》和《吉尔的微笑》通过人物的性别与角色的排列
通过对6种藓类植物,即褶叶青藓(Brachythecium salebrosum(Web.et Mohr.)B.S.G.)、湿地匐灯藓(Plagiomnium acutum(Lindb.)Kop.)、侧枝匐灯藓(Plagiomnium maximoviczii(Lind
五四运动以来中国现代文学和理论逐步形成了自己的新的传统,这一新传统既可以与自己固有的传统进行对话,同时又可以与西方的文学和文化理论进行对话。西方文学理论和各种现当
羞感是一种属人的、普遍的、具有道德意义的情感现象。然而,自古以来伦理学家们却很少讨论“羞”的问题。对于“羞感何以发生”,舍勒强调关键的一环在于“转回自我”。“转回
可持续发展是人类全面总结过去的发展历程、分析以往的经济行为后,提出的一种全新的社会发展模式,是人类社会发展的必然选择和唯一选择。在日趋激烈的市场竞争环境中实现企业
谎言既是人类重要的交际方式,又是人类意识世界中微妙情感的外现。不能否认人类的历史之中写满了"谎言"。任何文明的文学作品中都不乏有对谎言的描述,然而谎言与通常意义上的
解放思想真抓实干努力开创水土保持工作的新局面周文智（中华人民共和国水利部，北京１００７６１）ＥｍａｎｃｉｐａｔｉｎｇｔｈｅＭｉｎｄ，ＡｔｔａｃｈｉｎｇＧｒｅａｔＩｍｐｏｒｔａｎｃｅａｎｄＤｏｉｎｇＳｏｌｉｄＷｏｒｋｔｏＩｎｉｔｉａｔｅａＮｅｗＳｉｔ－...