tableau-baesd algorithmtableau-based算法
3)standard tableau-based algorithm标准tableau-based算法
1.The proposed standard tableau-based algorithm not only deletes the redundant part after each rule,but also gives up the restriction on the order of transformation rules.对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序。
4)Tableau methodTableau方法
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 reasoningtableau推理
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自动推理的方法。
6)semantic tableau语义tableau
延伸阅读
BP算法分子式：CAS号：性质：又称逆推学习算法，简称BP算法，是1986年鲁梅哈特(D. E. Rumelhart)和麦克莱朗德(J. L. McClelland)提出来的。用样本数据训练人工神经网络(一种模仿人脑的信息处理系统)，它自动地将实际输出值和期望值进行比较，得到误差信号，再根据误差信号从后(输出层)向前(输入层)逐层反传，调节各神经层神经元之间的连接权重，直至误差减至满足要求为止。反向传播算法的主要特征是中间层能对输出层反传过来的误差进行学习。这种算法不能保证训练期间实现全局误差最小，但可以实现局部误差最小。BP算法在图像处理、语音处理、优化等领域得到应用。
