混合范畴类型逻辑相关论文
从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级".对于自然语言的计算处理来说,各层级系统各有优劣.虽然原......
范畴语法是对自然语言信息进行可计算处理的逻辑语义体系。从20世纪70年代的蒙太古语法开始基于句法范畴和语义类型的对应来尝试处......
