摘要
范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组合解释;通过证明树中词条的不同毗连顺序以及对同一词条指派不同的范畴,可以从逻辑推演和计算的双重视角对汉语反身代词的指代歧义进行消解。
Categorical type logic uses the meanings of lexicons in type λ-calculus language to determine not only the combinatorial translation from natural language to semantic representation language,but also the combinatorial interpretation of object language. By means of concatenating lexicons in different order and assigning different categories to the same lexicons in proof trees,it can achieve the resolution of referential ambiguity for reflexive pronouns in Chinese from the perspective of logical deduction and calculation.
出处
《湖北大学学报（哲学社会科学版）》
CSSCI
北大核心
2020年第3期86-92,F0003,共8页
Journal of Hubei University(Philosophy and Social Science)
基金
国家社会科学基金后期项目“面向人工智能的命题动态逻辑及其扩展研究”(19FZXB102)。
