易卜拉欣·森特克;Necla Kircali Gursoy公司;奥尼尔，塔辛;阿里夫·古索伊 用Carroll图推导分类多语词的一种新算法构造。 （英语） Zbl 07779135号 信息科学。 578, 236-256 (2021). 摘要：在这项工作中，借助于带有Carroll图的微积分系统三段论逻辑（SLCD），我们构造了一个有用的算法，用于对多逻辑（soriteses）进行可能的推导。该算法借助图表对范畴三段论进行了一般推导，以刻画复音词的每个命题。开发的微积分系统PolySLCD（PSLCD）用于从前提集进行形式演绎，包括同步的双线性和三元图形外观以及简单的算法性质。该算法可以通过从范畴复音节前提中获得的递归结论集，逐步推导出新的结论。本文的基本贡献是使用单一算法从与给定前提相对应的集合中准确推导出结论，作为精确的人类推理，并基于SLCD设计该算法。因此，它更适合于计算机辅助求解。由于该算法是基于集合的，因此在文献中是一种新颖的算法，它可以很容易地为研究人员在不同科学分支（如计算机科学、决策系统和人工智能）中使用复音节做出贡献。 MSC公司： 03-08 数学逻辑和基础问题的计算方法 03B22号 抽象演绎系统 03G30型 分类逻辑，拓扑 68瓦40 算法分析 03-03 数学逻辑和基础的历史 01A55号 19世纪数学史 关键词：多肉主义;决策算法;有效性;演绎;卡罗尔图解系统 PDF格式BibTeX公司 XML格式引用 \textit{I.Senturk}等人，《信息科学》。578236--256（2021；Zbl 07779135） 全文： DOI程序 参考文献： [1] 巴恩斯，J.，《亚里士多德全集：牛津修订译本》，第192卷（2014），普林斯顿大学出版社 [2] Łukasiewicz，J.，《从现代形式逻辑的角度看亚里士多德的三段论》（1957），牛津大学出版社·Zbl 0043.24601号 [3] Mundici，D.，《łukasiewicz逻辑中的有限公理化》，Ann.Pure Appl。逻辑，162，12，1035-1047（2011）·Zbl 1248.03043号 [4] Turunne，E.，彼得森中间三段论的代数研究，Soft。计算。，18, 12, 2431-2444 (2014) ·Zbl 1330.03065号 [5] Pratt-Hartmann，I.，关于数值定三段论和相关逻辑的计算复杂性，布尔。符号。逻辑，14，1，1-28（2008）·Zbl 1166.03011号 [6] L.A.Zadeh，《三段论推理作为专家系统证据组合的基础》，载于《第九届国际人工智能联合会议论文集——第1卷，1985年，第417-419页。 [7] Niittymäki，J。；图伦，E.，基于相似逻辑推理的交通信号控制，模糊集系统。，133, 1, 109-131 (2003) ·Zbl 1045.93028号 [8] A.Moktefi，《作为科学仪器的图表》，载于：A.Benedek、An gnes Veszelszki（编辑），《虚拟现实-真实视觉：虚拟、视觉、验证》，Peter Lang AG，2017年，第81-90页。doi:10.3726/b11592。 [9] 卡罗尔，L.，《符号逻辑与逻辑游戏》，第1卷（1958年），多佛出版社 [10] A.Moktefi，Lewis carroll的逻辑学，摘自：D.M.Gabbay，J.Woods（编辑），《逻辑史手册》，第4卷，北荷兰，2008年，第457-505页。doi:10.1016/S1874-5857（08）80013-1。 [11] 阿贝莱斯，F.，刘易斯·卡罗尔的形式逻辑，历史哲学。逻辑，26，1，33-46（2005）·Zbl 1062.03004号 [12] 阿贝莱斯，F.，刘易斯·卡罗尔的视觉逻辑，历史哲学。逻辑，28，1，1-17（2007）·Zbl 1117.03002号 [13] B.身份证。Kumova，H.Çaki̇r，三段论的算法决策，载于：应用智能系统的工业、工程和其他应用国际会议，施普林格，2010年，第28-38页。 [14] Kircali Gursoy，N。；Senturk，I。；Oner，T。；Gursoy，A.，通过卡罗尔图对范畴三段论进行新的算法决策，Soft。计算。，24, 11337-11346 (2020) ·兹比尔1491.03009 [15] R.E.Mayer，《思考、问题解决、认知》，WH Freeman/Times Books/Henry Holt&Co，1992年。 [16] Mayer，R.E.，《多媒体学习》（2009），剑桥大学出版社，doi:10.1017/CBO9780511811678 [17] Chandrasekaran，B。；格拉斯哥，J。；Narayanan，N.H.，《图解推理：认知和计算视角》（1995），阿艾出版社 [18] Castro-Manzano，J.M.，Słupecki的图解推理规则，Studia Metodologiczne，35，79-96（2015） [19] Castro-Manzano，J.M.，Re（dis）covering leibniz’s diagrammatic logic，Tópicos，Revista de Filosofía，52，89-116（2017） [20] A.Moktefi，S.-J.Shin，《逻辑图的历史》，载于：《逻辑史手册》，第11卷，爱思唯尔出版社，2012年，第611-682页。 [21] A.Moktefi，Carroll diagrams:design and manipulation，in：图表理论与应用国际会议，Springer，2018年，第32-35页。 [22] 萨哈，A。；Sen，J.，《关于łukasiewicz（monteiro）三值代数和预粗糙代数的基于蕴涵的研究》，Inf.Sci。，518, 157-167 (2020) ·Zbl 1457.03077号 [23] Senturk，I。；Oner，T。；Nuriyev，U.，通过图解法实现范畴三段论的完备性，（欧洲符号逻辑协会夏季会议，逻辑学术讨论会（2016）） [24] O.Sklier，R.E.Monge，S.Gapper，使用包含图作为文氏图的替代品来确定范畴三段论的有效性，arXiv预印本arXiv:1509.00926。 [25] Glashoff，K.，《从计算组合的角度看亚里士多德语法》，J.Logic Comput。，15, 6, 949-973 (2005) ·Zbl 1092.03005号 [26] Xu，Y。；刘杰。；陈，S。；钟，X。；何，X.，基于矛盾分离的动态多条款协同自动演绎，信息科学。，462, 93-113 (2018) ·Zbl 1440.03040号 [27] Gursoy，A。；Oner，T。；Senturk，I。；Kircali Gursoy，N.，用于演绎分类三段论的数学软件，（2019年第三届多学科研究与创新技术国际研讨会，IEEE（2019）），1-5 [28] 莫斯，L.S.，《带动词的三段论逻辑》，J.逻辑计算。，20, 4, 947-967 (2010) ·Zbl 1207.03037号 [29] A.Moktefi，《超越三段论：卡罗尔（有标记的）四字图》，收录于：《用图表进行视觉推理》，施普林格出版社，2013年，第55-71页·兹比尔1401.03016 [30] A.Kulinkovich，《解决地质问题中推理的算法化》，《地理科学方法论学报》，Naukova Dumka（1979）145-161。 [31] Senturk，I。；Oner，T.，《利用卡罗尔图对范畴三段论进行代数分析》，费洛马，33，2，367-383（2019）·Zbl 1499.03009号 [32] 库利克，B。；Fridman，A.，数据和知识逻辑分析的N元关系，IGI Global（2017） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。