本文讨论了新挑战及模糊逻辑理论的新搜索算法，提出了辩护关系和辩护图的概念，定义了接受论点的直接原因和根本原因，探讨了非简洁逻辑规划的互补推理及其与第一阶逻辑的学习方法。此外，介绍了基于对称关系的网络知识变化模式及其逻辑问题。