通过最小模型定义新的基于参数的语义

2006 Seventh Mexican International Conference on Computer Science Pub Date : 2006-09-18 DOI:10.1109/ENC.2006.10

J. Nieves, U. Cortés, Mauricio Osorio, Iván Olmos, Jesus A. Gonzalez

{"title":"通过最小模型定义新的基于参数的语义","authors":"J. Nieves, U. Cortés, Mauricio Osorio, Iván Olmos, Jesus A. Gonzalez","doi":"10.1109/ENC.2006.10","DOIUrl":null,"url":null,"abstract":"Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and artificial intelligence (AT). Based on a proper representation of Dung's argumentation approach and minimal models, we introduce a novel argumentation semantics called preferred+ semantics which follows the preferred semantics' philosophy. Also, we show how to infer preferred+ semantics using a software tool called SI-COBRA that was introduced recently","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"15","resultStr":"{\"title\":\"Defining new argumentation-based semantics by minimal models\",\"authors\":\"J. Nieves, U. Cortés, Mauricio Osorio, Iván Olmos, Jesus A. Gonzalez\",\"doi\":\"10.1109/ENC.2006.10\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and artificial intelligence (AT). Based on a proper representation of Dung's argumentation approach and minimal models, we introduce a novel argumentation semantics called preferred+ semantics which follows the preferred semantics' philosophy. Also, we show how to infer preferred+ semantics using a software tool called SI-COBRA that was introduced recently\",\"PeriodicalId\":432491,\"journal\":{\"name\":\"2006 Seventh Mexican International Conference on Computer Science\",\"volume\":\"6 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-09-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"15\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 Seventh Mexican International Conference on Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ENC.2006.10\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 Seventh Mexican International Conference on Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ENC.2006.10","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 15

摘要

Dung的论证方法是一种统一的方法，在论证研究和人工智能(AT)方面发挥了重要作用。基于Dung的论证方法和最小模型的适当表示，我们引入了一种新的论证语义，称为首选+语义，它遵循了首选语义的哲学。此外，我们还展示了如何使用最近引入的名为SI-COBRA的软件工具推断preferred+语义

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Defining new argumentation-based semantics by minimal models

Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and artificial intelligence (AT). Based on a proper representation of Dung's argumentation approach and minimal models, we introduce a novel argumentation semantics called preferred+ semantics which follows the preferred semantics' philosophy. Also, we show how to infer preferred+ semantics using a software tool called SI-COBRA that was introduced recently

求助全文

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

来源期刊

2006 Seventh Mexican International Conference on Computer Science

自引率

0.00%

发文量

期刊最新文献

Invited Talk Abstracts The Crescent Lab: A smart home lab for students Adaptive Node Refinement Collocation Method for Partial Differential Equations Defining new argumentation-based semantics by minimal models Multi-robot Motion Coordination based on Swing Propagation