数据集概述
本数据集包含用于评估基于规则的论证基础器ANGRY的基准实例，按论文《使用Datalog为基于规则的论证建立基础》中描述的场景组织，涵盖不同场景的测试实例及实验结果文件。
文件详解
- 基准实例文件（evaluation.7z）：压缩文件，包含不同场景的基准实例，具体如下：
- configuration_1至configuration_5：场景S1的实例
- legal_bench：场景S2的法律推理基准
- GraphColouring、visit-all、StableMarriage：场景S3的基准
- examples：展示各类功能的简短示例程序
- 实验结果文件：
- Scenario_S1_experiments_results.pdf：场景S1实验结果报告，PDF格式
- Scenario_S2_experiments_results.pdf：场景S2实验结果报告，PDF格式
- Scenario_S3_experiments_results.pdf：场景S3实验结果报告，PDF格式
适用场景
- 论证系统评估：用于测试和验证基于规则的论证基础器ANGRY的性能
- 逻辑推理研究：支持对不同场景下规则推理算法的比较分析
- 学术实验复现：为论文《使用Datalog为基于规则的论证建立基础》的实验提供可复现的基准数据
- 算法优化：帮助研究者针对特定场景（如法律推理、图着色）优化论证系统的效率
