Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
子句集的可满足性判定是自动证明领域的热点之一。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and mod...
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
Engineers have yet to solve fundamental problems involving robotic perception and world modeling, automated reasoning, manipulation of objects and locomotion.
工程师还有很多根本的问题尚未解决，包括机器人的知觉、如何建立周遭环境的模型、自动推理、物品操作和行进方式等。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and modification.
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
The automated geometry reasoning system based-on forward chaining is used as the reasoning engine in the intelligent geometry teaching system.
智能几何教学软件都使用基于前推法的几何推理系统作为推理引擎。
To solve the problem of efficiency of negotiation strategies in the process of automated trust negotiation(ATN). A negotiation strategy based on Case-Based Reasoning(CBR)was presented.
为解决自动信任协商过程中 协商策略的效率问题，提出了一种采用基于 案例推理技术的自动信任 协商策略。
To solve the problem of efficiency of negotiation strategies in the process of automated trust negotiation(ATN). A negotiation strategy based on Case-Based Reasoning(CBR)was presented.
为解决自动信任协商过程中 协商策略的效率问题，提出了一种采用基于 案例推理技术的自动信任 协商策略。
应用推荐