全部

1·This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.

给出了相干命题逻辑自然推理系统NR的自动证明算法。

2·Through description of fuzzy set and fuzzy deduction, some words and phrases from natural language can be transfered into mathematical models acceptable to the computer to realize computer control.

自然语言中某些单词、词组等通过模糊集合的描述和模糊推理转换成计算机可以接受的数学模型，就可以实现计算机控制。