This paper presented an automated reasoning algorithm for naturaldeduction 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.