Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi
{"title":"基于MetaProbLog和ConArg的概率论证框架","authors":"Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi","doi":"10.1109/ICTAI.2018.00107","DOIUrl":null,"url":null,"abstract":"In Probabilistic Abstract Argumentation, arguments and attacks (nodes and edges) in a graph instance are associated with a probability value. These probabilities can be interpreted in different ways: for instance, in the constellation approaches, the probabilities introduce uncertainty in the topology of the graph. In this paper we use MetaProbLog, a ProbLog framework where facts in a logic program are annotated by probabilities; the purpose is to compute the probability of possible worlds of arguments. The tool is integrated in the web interface of ConArg, a constraint-programming based tool aimed to solve different problems in Abstract Argumentation.","PeriodicalId":254686,"journal":{"name":"2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":"{\"title\":\"Probabilistic Argumentation Frameworks with MetaProbLog and ConArg\",\"authors\":\"Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi\",\"doi\":\"10.1109/ICTAI.2018.00107\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In Probabilistic Abstract Argumentation, arguments and attacks (nodes and edges) in a graph instance are associated with a probability value. These probabilities can be interpreted in different ways: for instance, in the constellation approaches, the probabilities introduce uncertainty in the topology of the graph. In this paper we use MetaProbLog, a ProbLog framework where facts in a logic program are annotated by probabilities; the purpose is to compute the probability of possible worlds of arguments. The tool is integrated in the web interface of ConArg, a constraint-programming based tool aimed to solve different problems in Abstract Argumentation.\",\"PeriodicalId\":254686,\"journal\":{\"name\":\"2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)\",\"volume\":\"26 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"12\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICTAI.2018.00107\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICTAI.2018.00107","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Probabilistic Argumentation Frameworks with MetaProbLog and ConArg
In Probabilistic Abstract Argumentation, arguments and attacks (nodes and edges) in a graph instance are associated with a probability value. These probabilities can be interpreted in different ways: for instance, in the constellation approaches, the probabilities introduce uncertainty in the topology of the graph. In this paper we use MetaProbLog, a ProbLog framework where facts in a logic program are annotated by probabilities; the purpose is to compute the probability of possible worlds of arguments. The tool is integrated in the web interface of ConArg, a constraint-programming based tool aimed to solve different problems in Abstract Argumentation.