1) automated reasoning algorithm
自动推理算法
1.
Automated Reasoning Algorithm Based on Sub-regular Generalized literals of Lattice-valued Propositional Logic L_(2n+1)P(X)
格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法
2.
Based on the magnifying or reducing resolution principle,an automated reasoning algorithm is given which can be used to decide if a clause set S is M-satisfiable,where M is an intermediate element of L9,and its soundness and completeness are proved.
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。
2) KLH unranked tree automata inference algorithm
KLH无秩树自动机推理算法
3) Reasoning algorithm
推理算法
1.
New reasoning algorithm based on EFALC;
一个新的基于EFALC的推理算法(英文)
2.
It gives the models and concerned concepts of extension reasoning,and discusses realizing process of reasoning algorithm.
根据可拓学理论，给出了可拓推理模型和可拓推理的有关概念，并讨论了推理算法的实现过程。
3.
Weighted Fuzzy Petri Net is combined with matrix operations,and a reasoning algorithm is proposed to achieve the reasoning of knowledge.
将加权模糊Petri网与矩阵运算相结合,提出了一种推理算法,实现知识的推理运用。
4) reasoning algorithms
推理算法
1.
Baldwin′truth value restriction multiconditional fuzzy reasoning algorithms is presented in discrete membership function.
Baldwin的真值限定概念 ,给出了在离散隶属函数下的一组基于MAX -⊙复合运算和模糊关系Rb 的多条件模糊真值推理算法。
2.
Baldwin truth value restriction comcept, multidimensional fuzzy reasoning algorithms is presented in discrete membership function under MAX-⊙ compositional operation and fuzzy relation R b.
Baldwin真值限定概念 ,给出在离散隶属函数下的多维Sugeno -Takagi模糊推理算法。
5) Automated Reasoning
自动推理
1.
Expression Reasoning in Automated Reasoning;
平面几何中复杂表达式的自动推理
2.
Interactive system of mathematical Web services based on AJAX and automated reasoning technologies;
基于AJAX和自动推理技术构建交互式数学Web服务
3.
Automated Reasoning and Intelligent Platform for Education Software;
自动推理与教育软件智能平台
6) automatic reasoning
自动推理
1.
The Research on ICAI of Programming with Function of Automatic Reasoning;
带有自动推理功能的程序设计ICAI系统研究
2.
Logic meaning of kinship relations and kindred automatic reasoning
亲属关系的逻辑意义及其自动推理
3.
On this basis,the new logic indeterminate causal inductive automatic reasoning mechanism which is based on fuzzy state describing is brought forward.
在此基础上 ,又提出基于模糊状态描述的新型不确定因果归纳自动推理机制 ,并讨论其在智能控制器研制中的应用。
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条