直言三段论演绎的数学软件

2019 3rd International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT) Pub Date : 2019-10-01 DOI:10.1109/ISMSIT.2019.8932877

A. Gursoy, T. Oner, Ibrahim Senturk, Necla Kircali Gursoy

{"title":"直言三段论演绎的数学软件","authors":"A. Gursoy, T. Oner, Ibrahim Senturk, Necla Kircali Gursoy","doi":"10.1109/ISMSIT.2019.8932877","DOIUrl":null,"url":null,"abstract":"In this work, we give a software to calculate deductions which are obtained from premises of syllogisms by the help of the SLCD (Syllogistic Logic with Carroll Diagrams) system. Moreover, this software determines whether syllogistic reasoning valid or not based on the calculus system SLCD. This software is also designed to support intelligent systems to make a decision effectively and based on mathematical background.","PeriodicalId":169791,"journal":{"name":"2019 3rd International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A Mathematical Software for Deduction of Categorical Syllogisms\",\"authors\":\"A. Gursoy, T. Oner, Ibrahim Senturk, Necla Kircali Gursoy\",\"doi\":\"10.1109/ISMSIT.2019.8932877\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this work, we give a software to calculate deductions which are obtained from premises of syllogisms by the help of the SLCD (Syllogistic Logic with Carroll Diagrams) system. Moreover, this software determines whether syllogistic reasoning valid or not based on the calculus system SLCD. This software is also designed to support intelligent systems to make a decision effectively and based on mathematical background.\",\"PeriodicalId\":169791,\"journal\":{\"name\":\"2019 3rd International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)\",\"volume\":\"15 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2019 3rd International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMSIT.2019.8932877\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 3rd International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMSIT.2019.8932877","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

在本文中，我们利用SLCD(三段论逻辑与卡罗尔图)系统，给出了一个计算三段论的前提所得到的推论的软件。此外，该软件基于演算系统SLCD来判断三段论推理是否有效。该软件还设计用于支持智能系统有效地做出决策，并基于数学背景。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Mathematical Software for Deduction of Categorical Syllogisms

In this work, we give a software to calculate deductions which are obtained from premises of syllogisms by the help of the SLCD (Syllogistic Logic with Carroll Diagrams) system. Moreover, this software determines whether syllogistic reasoning valid or not based on the calculus system SLCD. This software is also designed to support intelligent systems to make a decision effectively and based on mathematical background.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2019 3rd International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)

自引率

0.00%

发文量