1) tableau reasoning
tableau推理
1.
In order to remove blind reasoning in the construction of a closed set for tableau reasoning,a method was developed to introduce reinforcement learning into tableau reasoning.
针对tableau推理中封闭集合构造过程具有盲目性的问题,提出将强化学习用于tableau自动推理的方法。
2) tableau algorithm
tableau算法
1.
Clause-based enhancing mode for tableau algorithm for ALCN;
基于子句的ALCN语言tableau算法增强方式(英文)
2.
An extended dynamic description logic language and its Tableau algorithm
一种扩展的动态描述逻辑语言及其Tableau算法
3.
Research on Tableau algorithm for Horn-Extended DL
Horn-Extended DL的Tableau算法研究
3) semantic tableau
语义tableau
4) Tableau method
Tableau方法
1.
Tableau method with quantifiers in first order many valued logic exist uniform expansion rules, and sound and complete have been proved by Zabel et al .
含有量词的一阶多值Tableau方法具有统一的扩展规则 ,并由Zabel等人给出了可靠性和完备性的证明 。
5) tableau-baesd algorithm
tableau-based算法
6) Two separate tableau
分阶段tableau
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条