找到1个数据集

标签: 逻辑处理性

过滤结果

  • 命名法变更建模的逻辑方法数据集

    2025年12月22日 30 20 5

    数据集概述 本数据集采用回答集编程（ASP）方法，验证命名法原则在计算逻辑中的可处理性。基于《国际动物命名法规》核心原则设计20个假设分类单元用例，通过12个模式标本诊断特征重解释触发场景，生成36种命名修订方案，为逻辑化命名变更优化提供基础。 文件详解 文本文件（.txt格式）：...
    packageimg