排序方式: 共有2条查询结果,搜索用时 125 毫秒
1
1.
The strong completeness of medium logic system is discussed. The following results are proved: medium propositional logic system MP and its extension MP^* are strong complete; medium predicate logic system MF and its extensions (MF^* and ME^* ) are not strong complete; and generally, ff a consistent formal system is not strong complete, then any consistent extensions of this forreal system are not strong complete either. 相似文献
2.
根据自适应谐振理论提出了半监督学习自适应谐振理论系统.在该系统中取消了一般半监督学习算法中假定已知数据概率分布的条件限制,利用自适应谐振理论的稳定性和可塑性,使其具有非常强的学习新模式和纠正错误能力.为了提高系统自适应性能力,将警戒参数设置为动态变化。实验结果表明半监督学习自适应谐振理论系统的性能优于判别式CEM算法,特别是在含有噪音和新模式数据情况下,其优势更为明显。 相似文献
1