1) Second level hypothetical inference
二层假言推理
1.
Second level hypothetical inference of second level single quasi-logical calculus of mutually-inversistic mathematical logic was constructed.
在所提出的互逆主义数理逻辑的二层单准逻辑演算的二层假言推理的基础上构造了二层单准Prolog、自底向上的二层单准专家系统、二层单准Prolog的形式语义、自顶自下的二层单准专家系统、二层单准关系数据库、互逆主义机器人规划、互逆主义多agent规划等二层人工智能理论。
2) conditional inference
假言推理
1.
s: Recently a series of studies that made by Oaksford suggested that Probability information has a strong influence on cognitive process of conditional inference so that it can be used to explain and predict peoples reaction in inference.
近来Oaksford等人的研究表明,概率信息对假言推理的认知过程有着显著的影响,在一定程度上可以用它来解释和预测个体在推理中的行为反应。
3) modus ponens
假言推理
1.
It has approximation capability, and can satisfy modus ponens and other infer.
它克服了传统的CRI法则的若干不足之处 ,能在极弱条件下满足假言推理、拒取式推理 ,具有推理的逼近性。
2.
The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.
本文利用有补T-范建立了一类Fuzzy命题演算系统,给出了假言推理规则,推广了二值逻辑中命题演算的主要结果,且演算简单方便。
3.
Based on the possibility theory, this paper presents an inference model which contains the classical inferences, "modus ponens" and "modus tollens".
在可能性理论的基础上,提出了一种新的将经典的假言推理作为它的特例的推理模式,其推理机制是借助于基于max-min合成的矩阵积来实现的。
4) hypothetical reasoning
假言推理
1.
For both intuitionistic fuzzy hypothetical reasoning and intuitionistic fuzzy re.
将Mizumoto定义的系列模糊关系自然地扩展为直觉模糊关系,通过算例,从8个方面量化比较研究了9种基于不同直觉模糊关系的推理性能,对于直觉模糊假言推理和直觉模糊拒取式推理,Rs,Rg和Rgg都是性能比较好的直觉模糊关系,Rsg,Rm,Ra和Rgs次之,Rc,Rss性能最差。
2.
The research was composed of two experiments, and the main aim was to explore the judgment criteria and specialties of children and adolescents when they tried to solve the hypothetical reasoning problems.
本研究由两个实验组成,系统探讨了儿童及青少年解决假言推理的判定标准和特点。
5) hypothetical-disjunctive inference
假言选言推理
1.
Dilemma can be summed up with hypothetical-disjunctive inference, and disjunctive premise is regarded as inclusive disjunctive judgment.
可以用假言选言推理来概括“二难推理” ,把选言前提看成相容选言判
6) eneralized modus ponens
一般化假言推理
1.
The generalized modus ponens (GMP) is an importent reasoning rule in Fuzzy Logic.
一般化假言推理（ＧｅｎｅｒａｌｉｚｅｄＭｏｄｕｓＰｏｎｅｎｓ，ＧＭＰ）是模糊逻辑中一个重要的推理规则。
补充资料：假言推理
传统逻辑里一类有两个前提的演绎推理。其中一个前提是假言命题，另一个是此假言命题的前件，或此假言命题的后件的负命题。假言推理旧称假言三段论或混合假言三段论，现通称充分条件假言推理。
假言推理包括两种形式：①如果 A则B，A，所以,B；②如果A则B，并非B，所以，并非A。这两种形式也可以改述为两条规则：①承认前件就承认后件；②否认后件就否认前件。在日常思维中容易发生的错误是从"如果A则B，B"推出"A"；从"如果A则B,并非A"推出"并非 B"。例如，从"如果4是偶数，那么 4是能被2整除的"和"4是能被 2整除的"推出"4是偶数"。古代的逻辑学家还发现了一些重要的与假言命题有关的推理形式，如假言连锁推理，即旧称纯假言三段论，其形式为：如果A则B，如果B则C，所以，如果A则C。
假言推理包括两种形式：①如果 A则B，A，所以,B；②如果A则B，并非B，所以，并非A。这两种形式也可以改述为两条规则：①承认前件就承认后件；②否认后件就否认前件。在日常思维中容易发生的错误是从"如果A则B，B"推出"A"；从"如果A则B,并非A"推出"并非 B"。例如，从"如果4是偶数，那么 4是能被2整除的"和"4是能被 2整除的"推出"4是偶数"。古代的逻辑学家还发现了一些重要的与假言命题有关的推理形式，如假言连锁推理，即旧称纯假言三段论，其形式为：如果A则B，如果B则C，所以，如果A则C。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条