×

Inference procedures and engine for probabilistic argumentation. (English) Zbl 1419.68169

Summary: Probabilistic Argumentation (PA) is a recent line of research in AI aiming to combine the strengths of argumentation and probabilistic reasoning. Though several models of PA have been proposed, the development of practical applications is still hindered by the lack of inference procedures and reasoning engines. In this paper, we present a reduction method to compute a recently proposed model of PA called PABA. Using the method we design inference procedures to compute the credulous semantics, the ideal semantics and the grounded semantics for a general class of PABA frameworks, that we refer to as Bayesian PABA frameworks. We also show that, though restricting to Bayesian PABA frameworks, the inference procedures can be used to compute other PA models thanks to simple translations. Finally, we implement the inference procedures to obtain a multi-semantics engine for probabilistic argumentation and demonstrate its usage.

MSC:

68T37 Reasoning under uncertainty in the context of artificial intelligence
68T27 Logic in artificial intelligence

Software:

AFRA
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] Alsinet, Teresa; Chesòevar, Carlos I.; Godo, Lluís; Sandri, Sandra; Simari, Guillermo, Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification, Int. J. Approx. Reason., 48, 3, 711-729, (August 2008)
[2] Alsinet, Teresa; Chesòevar, Carlos I.; Godo, Lluís; Simari, Guillermo R., A logic programming framework for possibilistic argumentation, Fuzzy Sets Syst., 159, 10, 1208-1228, (May 2008)
[3] Amgoud, Leila; Cayrol, Claudette, A reasoning model based on the production of acceptable arguments, Ann. Math. Artif. Intell., 34, 1-3, 197-215, (2002) · Zbl 1002.68172
[4] Amgoud, Leila; Cayrol, Claudette; Lagasquie-Schiex, Marie-Christine; Livet, P., On bipolarity in argumentation frameworks, Int. J. Intell. Syst., 23, 10, 1062-1093, (2008) · Zbl 1151.68049
[5] Baroni, Pietro; Cerutti, Federico; Giacomin, Massimiliano; Guida, Giovanni, Encompassing attacks to attacks in abstract argumentation frameworks, (ECSQARU, (2009)), 83-94 · Zbl 1203.68198
[6] Baroni, Pietro; Giacomin, Massimiliano; Vicig, Paolo, On rationality conditions for epistemic probabilities in abstract argumentation, (Computational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9-12, 2014, (2014)), 121-132
[7] Barringer, Howard; Gabbay, Dov M.; Woods, John, Temporal dynamics of support and attack networks: from argumentation to zoology, (Mechanizing Mathematical Reasoning, (2005)), 59-98 · Zbl 1098.68122
[8] Bench-Capon, Trevor J. M., Agreeing to differ: modelling persuasive dialogue between parties with different values, Informal Logic, 22, 2002, (2003)
[9] Bench-Capon, Trevor J. M., Persuasion in practical argument using value-based argumentation frameworks, J. Log. Comput., 13, 3, 429-448, (2003) · Zbl 1043.03026
[10] Bondarenko, A.; Dung, P. M.; Kowalski, R. A.; Toni, F., An abstract, argumentation-theoretic approach to default reasoning, Artif. Intell., 93, 1, 63-101, (1997) · Zbl 1017.03511
[11] Caminada, Martin; Schulz, Claudia, On the equivalence between assumption-based argumentation and logic programming, (Proceedings of the 1st International Workshop on Argumentation and Logic Programming, ArgLP’15, (2015)) · Zbl 1423.68480
[12] Cayrol, Claudette; Lagasquie-Schiex, Marie-Christine, Bipolar abstract argumentation systems, (Argumentation in AI, (2009), Springer-Verlag) · Zbl 1185.68704
[13] Craven, Robert; Toni, Francesca, Argument graphs and assumption-based argumentation, Artif. Intell., 233, 1-59, (2016) · Zbl 1351.68264
[14] Dechter, R., Bucket elimination: A unifying framework for probabilistic inference, 75-104, (1998), Springer Dordrecht, Netherlands · Zbl 0910.68209
[15] Dragan, Doder; Woltran, Stefan, Probabilistic argumentation frameworks - a logical approach, Scalable Uncertainty Management, vol. 8720, 134-147, (2014), Springer International Publishing
[16] Dung, Phan Minh, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artif. Intell., 77, 2, 321-357, (1995) · Zbl 1013.68556
[17] Dung, Phan Minh; Kowalski, Robert A.; Toni, Francesca, Dialectic proof procedures for assumption-based, admissible argumentation, Artif. Intell., 170, 2, 114-159, (2006) · Zbl 1131.68103
[18] Dung, Phan Minh; Mancarella, Paolo; Toni, Francesca, Computing ideal skeptical argumentation, Artif. Intell., 171, 10-15, 642-674, (2007) · Zbl 1168.68564
[19] Dung, Phan Minh; Thang, Phan Minh, Towards (probabilistic) argumentation for jury-based dispute resolution, (COMMA 2010, (2010)), 171-182
[20] Dung, Phan Minh; Thang, Phan Minh, Closure and consistency in logic-associated argumentation, J. Artif. Intell. Res., 49, 1, 79-109, (January 2014)
[21] Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco, On the complexity of probabilistic abstract argumentation frameworks, ACM Trans. Comput. Log., 16, 3, 22:1-22:39, (June 2015)
[22] Gabbay, Dov M., Semantics for higher level attacks in extended argumentation frames part 1: overview, Stud. Log., 93, 2-3, 357-381, (2009) · Zbl 1185.68669
[23] Gabbay, Dov M.; Rodrigues, Odinaldo, Probabilistic argumentation: an equational approach, Log. Univers., 9, 3, 345-382, (2015) · Zbl 1337.68241
[24] Hanh, Do Duc; Dung, Phan Minh; Duy Hung, Nguyen; Thang, Phan Minh, Inductive defense for sceptical semantics of extended argumentation, J. Log. Comput., 21, 2, 307-349, (2011) · Zbl 1214.68383
[25] Hung, Nguyen Duy, Computing probabilistic assumption-based argumentation, (PRICAI 2016: Trends in Artificial Intelligence - 14th Pacific Rim International Conference on Artificial Intelligence, Proceedings, Phuket, Thailand, August 22-26, 2016, (2016)), 152-166
[26] Hung, Nguyen Duy, A probabilistic argumentation engine, (ICTAI 2016: 28th International Conference on Tools with Artificial Intelligence, (2016)) · Zbl 1419.68169
[27] Hunter, Anthony, Some foundations for probabilistic abstract argumentation, (Front. Artif. Intell. Appl., vol. 245, (2012)), 117-128
[28] Hunter, Anthony, A probabilistic approach to modelling uncertain logical arguments, Int. J. Approx. Reason., 54, 1, 47-81, (2013) · Zbl 1266.68176
[29] Hunter, Anthony, Probabilistic qualification of attack in abstract argumentation, Int. J. Approx. Reason., 55, 2, 607-638, (2014) · Zbl 1316.68153
[30] Koller, Daphne; Friedman, Nir, Probabilistic graphical models: principles and techniques - adaptive computation and machine learning, (2009), The MIT Press · Zbl 1183.68483
[31] Li, Hengfei; Oren, Nir; Norman, TimothyJ, Probabilistic argumentation frameworks, (Theorie and Applications of Formal Argumentation, Lecture Notes in Computer Science, vol. 7132, (2012)), 1-16
[32] Modgil, Sanjay, Reasoning about preferences in argumentation frameworks, Artif. Intell., 173, 9-10, 901-934, (2009) · Zbl 1192.68663
[33] Modgil, Sanjay; Prakken, Henry, A general account of argumentation with preferences, Artif. Intell., 195, 361-397, (2013) · Zbl 1270.68284
[34] Nielsen, Søren Holbech; Parsons, Simon, A generalization of Dung’s abstract framework for argumentation: arguing with sets of attacking arguments, (ArgMAS, (2006)), 54-73
[35] Nieves, Juan Carlos; Confalonieri, Roberto, A possibilistic argumentation decision making framework with default reasoning, Fundam. Inform., 113, 1, 41-61, (January 2011)
[36] Polberg, Sylwia; Doder, Dragan, Probabilistic abstract dialectical frameworks, 591-599, (2014), Springer International Publishing Cham · Zbl 1343.68228
[37] Prakken, Henry, An abstract framework for argumentation with structured arguments, Argument Comput., 1, 2, 93-124, (2010) · Zbl 0866.03018
[38] Rienstra, Tjitze, Towards a probabilistic dung-style argumentation system, (AT, (2012), CEUR), 138-152
[39] Thang, Phan Minh, Dialectical proof procedures for probabilistic abstract argumentation, (PRIMA, (2016)), 397-406 · Zbl 1392.68395
[40] Thimm, Matthias, A probabilistic semantics for abstract argumentation, ECAI, vol. 242, 750-755, (2012), ISO Press · Zbl 1327.68290
[41] Toni, F., A generalised framework for dispute derivations in assumption-based argumentation, Artif. Intell., 195, 1-43, (2013) · Zbl 1270.68289
[42] Zhang, Nevin; Poole, David, A simple approach to Bayesian network computations, (Proceedings of the Tenth Canadian Conference on Artificial Intelligence, (1994)) · Zbl 0816.90005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.