Top-Link

New neuro-symbolic method enhances enthymeme completion with logical resistance scores

研究人员开发了一种新的神经符号方法，称为可能世界原子链接形式化（PWAL），用于补全省略式论证（enthymemes），即缺少前提或论断的论证。PWAL通过用逻辑阻力分数取代二元蕴含结果，并将这些分数在各种语义链接配置上进行边缘化，从而扩展了先前的工作。这种方法在包括缺失前提和缺失论断选择在内的五项不同任务中显著提高了准确性并降低了平局率，同时还提供了评分过程的透明追踪。