{"title":"为论证建立可否定推理模型","authors":"V. Vagin, O. Morosin","doi":"10.1109/BRICS-CCI-CBIC.2013.58","DOIUrl":null,"url":null,"abstract":"This paper contains a description of an argumentation system that uses a defeasible reasoning mechanism. The main idea and the key points are given. Also it contains main algorithms for detecting the conflicts and finding statuses of arguments. Solutions of some problems, which are not solvable in the classical logics, are presented.","PeriodicalId":306195,"journal":{"name":"2013 BRICS Congress on Computational Intelligence and 11th Brazilian Congress on Computational Intelligence","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2013-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Modeling Defeasible Reasoning for Argumentation\",\"authors\":\"V. Vagin, O. Morosin\",\"doi\":\"10.1109/BRICS-CCI-CBIC.2013.58\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper contains a description of an argumentation system that uses a defeasible reasoning mechanism. The main idea and the key points are given. Also it contains main algorithms for detecting the conflicts and finding statuses of arguments. Solutions of some problems, which are not solvable in the classical logics, are presented.\",\"PeriodicalId\":306195,\"journal\":{\"name\":\"2013 BRICS Congress on Computational Intelligence and 11th Brazilian Congress on Computational Intelligence\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-09-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 BRICS Congress on Computational Intelligence and 11th Brazilian Congress on Computational Intelligence\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/BRICS-CCI-CBIC.2013.58\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 BRICS Congress on Computational Intelligence and 11th Brazilian Congress on Computational Intelligence","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/BRICS-CCI-CBIC.2013.58","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This paper contains a description of an argumentation system that uses a defeasible reasoning mechanism. The main idea and the key points are given. Also it contains main algorithms for detecting the conflicts and finding statuses of arguments. Solutions of some problems, which are not solvable in the classical logics, are presented.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
