找到47个数据集

标签: 逻辑推理

过滤结果

  • propositional_logic_命题逻辑输出证明数据

    2026年1月29日 30 208 80

    数据集概述 本数据集围绕命题逻辑主题构建，包含1个JSON格式文件，未区分训练/测试、数据/标签或原始/处理数据，无目录层级，未提供文件内容预览及说明文档。 文件详解 文件名称：output_proofs_divided.json 文件格式：JSON 字段映射介绍：未提供文件内容预览，无法获取具体字段信息 适用场景 命题逻辑证明研究:...
    packageimg

  • Phenoscape_Based_比较生物学同源性逻辑模型研究数据

    2026年1月27日 30 113 56

    数据集概述 本数据集围绕比较生物学中的同源性概念展开，包含历史同源性与系列同源性的逻辑模型研究相关数据。整合了文献中的同源性断言及Phenoscape知识库中脊椎动物鳍和肢体的分类群表型数据，用于评估REA和AVA两种逻辑模型的推理效果，为同源性推理融入本体工具奠定基础。 文件详解 文件名称：SupplementaryMaterials1.txt...
    packageimg

  • Evonne_Based_IJCAR22交互式证明可视化系统资源数据

    2026年1月25日 30 96 66

    数据集概述 本数据集包含与论文《Evonne: Interactive Proof Visualization for Description Logics (System Description)》相关的资源，涉及Evonne工具的版本文件及实验所用数据与脚本，支持对描述逻辑交互式证明可视化工具的研究与应用。 文件详解 文件名称：evonne-...
    packageimg

  • Statistical_EL_Based_统计EL嵌入近似推理研究数据集

    2026年1月22日 30 127 95

    数据集概述 本数据集为论文“Embedding-based Approximate Inference in Statistical EL”生成，核心内容围绕统计EL中的嵌入近似推理展开。数据集包含1个压缩文件，无目录层级划分，未区分训练/测试、数据/标签或原始/处理数据，为研究统计EL推理方法提供支持。 文件详解 压缩文件...
    packageimg

  • Dryad_Inferential_reasoning_野生熊蜂逻辑推理能力实验数据

    2026年1月18日 30 61 24

    数据集概述 本数据集记录野生熊蜂通过排除法进行推理的实验数据，包含三个实验（双杯、三杯、双二杯范式），验证熊蜂在信息不完整时的逻辑推理能力。数据支持研究无脊椎动物认知进化，共5个文件，含原始数据、实验分组文件及说明文档。 文件详解 说明文档 文件名称：README.md 文件格式：MD...
    packageimg

  • Understanding_Logical_Expressions_with_Negations研究数据

    2026年1月1日 30 106 92

    数据集概述 本数据集围绕“理解含否定的逻辑表达式”主题构建，包含一个压缩文件，未划分训练/测试集、数据/标签集或原始/处理数据，无README或内容预览，整体结构简洁，聚焦于逻辑表达式与否定理解相关的研究内容。 文件详解 压缩文件 文件名称：data.zip 文件格式：.zip...
    packageimg

  • ChatGPT对Vetala故事问题的响应数据集2023

    2025年12月16日 30 129 57

    数据集概述 该数据集包含2023年5月前两周收集的ChatGPT（GPT-4与GPT-3.5）对Vetala故事问题的响应数据。故事选自Arthur W. Ryder改编的《Twenty-Two Goblins》及N.M. Penzer版本，用于探索AI的困境解决与心理化能力，为相关研究提供数据支持。 文件详解 文件名称:...
    packageimg

  • 新鸟纲爆发竞争性系统发育重建的节点一致性数据

    2025年12月16日 30 193 119

    数据集概述 本数据集围绕新鸟纲爆发区域的竞争性系统发育重建展开，采用区域连接演算（RCC-5）逻辑表示与推理方法，对两个近期鸟类高级群系统发育重建的节点概念进行一致性对齐，识别并解析26个概念重叠冲突实例，为构建综合性系统发育数据环境提供支持。 文件详解 该数据集包含多种格式的文件，具体说明如下： - PDF文件（共30个）： -...
    packageimg

  • 复杂序列问答数据集

    2025年12月13日 30 142 129

    数据集概述 该数据集聚焦复杂序列问答任务，结合知识图谱推理与对话系统能力，包含约二十万条对话及一百六十万轮次交互。问题需通过大规模知识图谱的复杂推理回答，涉及逻辑、定量及比较推理等场景，为相关模型研究提供支持。 文件详解 文件名称: CSQA_v9.zip 文件格式: ZIP（压缩包格式） 内容说明:...
    packageimg

  • 抽象推理问答数据集

    2025年7月22日 30 38 1

    抽象推理问答数据集_Abstract_Reasoning_Comprehension_Dataset 数据来源：互联网公开数据 标签：抽象推理, 问答, 自然语言处理, 知识图谱, 逻辑推理, 数据集, 机器学习, 人工智能 数据概述： 该数据集包含来自多个来源的抽象推理问答数据，旨在评估和促进人工智能在抽象推理方面的能力。主要特征如下：...
    packageimg

  • 数据400万数独题目数据集

    2025年5月31日 30 168 23

    数据400万数独题目数据集 数据来源：互联网公开数据 标签：数独,游戏,人工智能,算法,数据分析,数据科学,逻辑推理 数据概述：...
    packageimg

  • 十百万组易解数独数据集-横向行格式-自制算法生成-xavcor

    2025年5月31日 30 140 107

    十百万组易解数独数据集-横向行格式-自制算法生成-xavcor 数据来源：互联网公开数据 标签：数独, 益智游戏, 逻辑推理, 算法生成, 游戏数据, 数据集 数据概述：...
    packageimg

  • 数独游戏完成数据集1300万条4x4数独谜题数据集-redraiment

    2025年5月29日 30 106 19

    数独游戏完成数据集1300万条4x4数独谜题数据集-redraiment 数据来源：互联网公开数据 标签：数独，游戏，数据集，逻辑推理，算法，人工智能，教育，娱乐 数据概述： 该数据集包含1300万个已完成的4x4数独谜题，适用于数独游戏开发、逻辑推理研究及算法优化等任务。主要特征如下： 时间跨度：数据记录的时间范围为数据集创建的时间。...
    packageimg

  • 数独谜题难度分析数据集SudokuPuzzleDifficultyAnalysis-jafartaqvi

    2025年5月28日 30 158 141

    数独谜题难度分析数据集SudokuPuzzleDifficultyAnalysis-jafartaqvi 数据来源：互联网公开数据 标签：数独, 谜题, 难度评估, 组合数学, 逻辑推理, 人工智能, 数据分析, 机器学习 数据概述： 该数据集包含来自公开渠道的数独谜题数据，记录了不同难度的数独题目及对应的解答。主要特征如下：...
    packageimg

  • 图表逻辑形式与预测数据集DiagramLogicFormsandPrediction-bao1102dn

    2025年5月28日 30 80 65

    图表逻辑形式与预测数据集DiagramLogicFormsandPrediction-bao1102dn 数据来源：互联网公开数据 标签：图表分析, 逻辑推理, JSON数据, 语义理解, 预测模型, 数据可视化, 自然语言处理, 计算机视觉 数据概述： 该数据集包含从图表解析中提取的逻辑形式及其预测结果，用于深入理解图表结构和语义。主要特征如下：...
    packageimg

  • 数独游戏题目及解答数据集SudokuPuzzlesandSolutions-burakalbayrak

    2025年5月26日 30 178 23

    数独游戏题目及解答数据集SudokuPuzzlesandSolutions-burakalbayrak 数据来源：互联网公开数据 标签：数独, 智力游戏, 逻辑推理, 数据集, 游戏分析, 算法, 机器学习, 数据挖掘 数据概述： 该数据集包含数独游戏题目及其对应的解答，为研究数独游戏、开发相关算法和进行数据分析提供了基础。主要特征如下：...
    packageimg

  • 数学问题解答数据集MathProblemSolvingQuestion-Answer-lerchenpixel

    2025年5月18日 30 136 109

    数学问题解答数据集MathProblemSolvingQuestion-Answer-lerchenpixel 数据来源：互联网公开数据 标签：数学, 问题解答, 自然语言处理, 问答系统, 文本生成, 逻辑推理, 数据集, 算法 数据概述： 该数据集包含数学问题及其对应的解答，旨在用于训练和评估数学问题解答相关的自然语言处理模型。主要特征如下：...
    packageimg

  • 真假答案检测数据集DetectAnswerisTrueorFalseDataset-elemam

    2025年5月16日 30 146 138

    真假答案检测数据集DetectAnswerisTrueorFalseDataset-elemam 数据来源：互联网公开数据 标签：数据集，自然语言处理，机器学习，问答系统，文本分析，逻辑推理，验证系统，信息检索 数据概述： 该数据集包含来自多个来源的问答数据，用于检测答案的真假性。主要特征如下： 时间跨度：数据记录的时间范围从2010年到2023年。...
    packageimg

  • 图像视觉推理任务训练数据集ImageVisualReasoningTrainingTasks-mathurinache

    2025年5月1日 30 119 72

    图像视觉推理任务训练数据集ImageVisualReasoningTrainingTasks-mathurinache 数据来源：互联网公开数据 标签：视觉推理，图像识别，逻辑推理，模式识别，颜色分析，形状分析，机器学习，数据集 数据概述： 该数据集包含用于训练图像视觉推理任务的数据，记录了多种视觉推理任务的实例。主要特征如下：...
    packageimg

  • 数学竞赛问题解答数据集MathematicsCompetitionProblemSolvingDataset-edwardlampoh

    2025年5月1日 30 34 4

    数学竞赛问题解答数据集MathematicsCompetitionProblemSolvingDataset-edwardlampoh 数据来源：互联网公开数据 标签：数学竞赛, 问题解答, 算法, 逻辑推理, 数学教育, 数据集, 问题解决, 机器学习 数据概述：...
    packageimg