Deciding satisfiability of clause set is one of the active research topics in the automatedreasoning field.
子句集的可满足性判定是自动证明领域的热点之一。
2
This paper presented an automatedreasoning algorithm for natural deduction system (NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
3
Based on a set of axioms, automatedreasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and mod...