基于 Carroll 图的三段论算法判定新法
人工智能
2021-01-29 v4 计算机科学中的逻辑
摘要
本文处理演算系统 SLCD（带 Carroll 图的直言逻辑），该系统为使用图进行逻辑推理提供了形式化方法，用于表征基本的亚里士多德直言命题，并证明它们在三段论推理判据（即中项删除）下是封闭的。因此，该形式化被实现为同步包含双边与三边图示外观以及朴素算法性质。并且，理解与使用它不需要特定知识或特殊能力。进而，我们给出了一种有效算法，利用 SLCD 判定三段论推理是否有效。
引用
@article{arxiv.1802.04127,
title = {A New Algorithmic Decision for Categorical Syllogisms via Caroll's Diagrams},
author = {Necla Kircali Gursoy and Ibrahim Senturk and Tahsin Oner and Arif Gursoy},
journal= {arXiv preprint arXiv:1802.04127},
year = {2021}
}