为论证建立可否定推理模型

2013 BRICS Congress on Computational Intelligence and 11th Brazilian Congress on Computational Intelligence Pub Date : 2013-09-08 DOI:10.1109/BRICS-CCI-CBIC.2013.58

V. Vagin, O. Morosin

{"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":"8 1","pages":"0"},"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\":\"8 1\",\"pages\":\"0\"},\"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}

引用次数: 3

摘要

本文描述了一个使用可否定推理机制的论证系统。给出了本文的主要思想和重点。并给出了主要的冲突检测算法和参数状态检测算法。给出了经典逻辑中不能解的一些问题的解。

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

查看原文本刊更多论文

Modeling Defeasible Reasoning for Argumentation

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.

求助全文

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

来源期刊

2013 BRICS Congress on Computational Intelligence and 11th Brazilian Congress on Computational Intelligence

自引率

0.00%

发文量