文件名称:类比推理的逻辑方法-研究论文
文件大小:133KB
文件格式:PDF
更新时间:2024-06-29 11:49:20
analogical reasoning determination
我们分析了领域知识的逻辑形式,该形式基于单个实例的类比推理和概括。 证明类比合理性的假设形式被示意性地给出为“确定规则”,之所以这么称呼,是因为它表达了一组变量决定另一组变量值的关系。 确定关系是数据库理论中定义的不同类型依赖关系的逻辑概括。 具体来说,我们将确定定义为具有两种*变量的一阶逻辑图式之间的关系:(1)对象变量和(2)我们称为“极性”变量的东西,它们占据了真值的位置。 确定规则有助于从单个实例中通过类比推导出合理的规则推理和有效结论,而不暗示在检查实例之前结论应该是什么。 它们还提供了一种方法,可以在知道问题的答案之前,指定哪些信息与决定问题足够相关。