本文研究得到国家自然科学基金,国家863高科技项目基金资助.
理解自然语言的过程就是构造语义解释模型的过程.本文用构造性逻辑作为模型增长理论,给出了增量式构造语义解释模型的方法.
The process of understanding natural language is the process of model construction. This paper emploies constructive logic as the theory of model augmentation of natural language, presents the method of incremental model construction.
张彤,陆汝占.构造性逻辑作为自然语言的模型增长理论.软件学报,1997,8(3):214-219
京公网安备 11040202500063号