Abstract
We propose a novel approach to logic-based learning which generates assumption-based argumentation (ABA) frameworks from positive and negative examples, using a given background knowledge. These ABA frameworks can be mapped onto logic programs with negation as failure that may be non-stratified. Whereas existing argumentation-based methods learn exceptions to general rules by interpreting the exceptions as rebuttal attacks, our approach interprets them as undercutting attacks. Our learning technique is based on the use of transformation rules, including some adapted from logic program transformation rules (notably folding) as well as others, such as rote learning and assumption introduction. We present a general strategy that applies the transformation rules in a suitable order to learn stratified frameworks, and we also propose a variant that handles the non-stratified case. We illustrate the benefits of our approach with a number of examples, which show that, on one hand, we are able to easily reconstruct other logic-based learning approaches and, on the other hand, we can work out in a very simple and natural way problems that seem to be hard for existing techniques.
ILP 2022, 31st International Conference on Inductive Logic Programming, Cumberland Lodge, Windsor, UK.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The non-emptiness requirement can always be satisfied by including in \(\mathcal {A}\) a bogus assumption, with its own contrary, neither occurring elsewhere in the ABA framework. For conciseness, we will not write this assumption and its contrary explicitly.
- 2.
The other (ground) arguments are \(\{a(1)\} \vdash _{\{\rho _1(1)\}} p(1)\), \(\{a(2)\} \vdash _{\{\rho _1(2)\}} p(2)\), \(\{b(2)\} \vdash _{\{\rho _2(2)\}} q(2)\), \(\{a(2)\} \vdash _{\emptyset } a(2)\), \(\{b(1)\} \vdash _{\emptyset } b(1)\), and \(\{b(2)\} \vdash _{\emptyset } b(2)\).
- 3.
- 4.
The correspondence also holds under other semantics, omitted here for simplicity.
- 5.
We use the same notation for ABA rules and logic programs as, indeed, logic programming is an instance of ABAÂ [BDKT97].
- 6.
In fact the Dimopoulos-Kakas algorithm is just sketched and we have conjectured what we believe to be a reasonable result of this learning step.
References
Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming, pp. 89–148. Morgan Kaufmann (1988)
Aravindan, C., Dung, P.M.: On the correctness of unfold/fold transformation of normal and extended logic programs. J. Log. Program. 24(3), 201–217 (1995)
Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93, 63–101 (1997)
Cyras, K., Fan, X., Schulz, C., Toni, F.: Assumption-based argumentation: disputes, explanations, preferences. FLAP 4(8), 2407–2455 (2017)
Cyras, K., Rago, A., Albini, E., Baroni, P., Toni, F.: Argumentative XAI: a survey. In: IJCAI, pp. 4392–4399 (2021)
Cocarascu, O., Stylianou, A., Cyras, K., Toni, F.: Data-empowered argumentation for dialectically explainable predictions. In: ECAI, pp. 2449–2456 (2020)
Cocarascu, O., Toni, F.: Argumentation for machine learning: a survey. In: COMMA, pp. 219–230 (2016)
Dimopoulos, Y., Kakas, A.: Learning non-monotonic logic programs: learning exceptions. In: Lavrac, N., Wrobel, S. (eds.) ECML 1995. LNCS, vol. 912, pp. 122–137. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-59286-5_53
Dung, P.M., Kowalski, R.A., Toni, F.: Assumption-based argumentation. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 199–218. Springer, Boston (2009). https://doi.org/10.1007/978-0-387-98197-0_10
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–358 (1995)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP, pp. 1070–1080. MIT Press (1988)
Inoue, K., Haneda, H.: Learning abductive and nonmonotonic logic programs. In: Abduction and Induction: Essays on their Relation and Integration, pp. 213–231. Kluwer Academic (2000)
Inoue, K., Kudoh, Y.: Learning extended logic programs. In: IJCAI, pp. 176–181. Morgan Kaufmann (1997)
Law, M., Russo, A., Broda, K.: Inductive learning of answer set programs. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS (LNAI), vol. 8761, pp. 311–325. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11558-0_22
Muggleton, S.: Inverse entailment and Progol. N. Gener. Comput. 13(3–4), 245–286 (1995)
Pettorossi, A., Proietti, M.: Transformation of logic programs: foundations and techniques. J. Log. Program. 19(20), 261–320 (1994)
Ray, O.: Nonmonotonic abductive inductive learning. J. Appl. Log. 7(3), 329–340 (2009)
Reiter, R., Criscuolo, G.: On interacting defaults. In: IJCAI, pp. 270–276. William Kaufmann (1981)
Sakama, C.: Inverse entailment in nonmonotonic logic programs. In: Cussens, J., Frisch, A. (eds.) ILP 2000. LNCS (LNAI), vol. 1866, pp. 209–224. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-44960-4_13
Sakama, C.: Induction from answer sets in nonmonotonic logic programs. ACM Trans. Comput. Log. 6(2), 203–231 (2005)
Seki, H.: Unfold/fold transformation of stratified programs. Theoret. Comput. Sci. 86, 107–139 (1991)
Sakama, C., Inoue, K.: Brave induction: a logical framework for learning from incomplete information. Mach. Learn. 76(1), 3–35 (2009)
Shakerin, F., Salazar, E., Gupta, G.: A new algorithm to automate inductive learning of default theories. TPLP 17(5–6), 1010–1026 (2017)
Toni, F., Kowalski, R.A.: An argumentation-theoretic approach to logic program transformation. In: Proietti, M. (ed.) LOPSTR 1995. LNCS, vol. 1048, pp. 61–75. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-60939-3_5
Toni, F.: A tutorial on assumption-based argumentation. Arg. Comput. 5(1), 89–117 (2014)
Acknowledgements
We thank the anonymous reviewers for useful comments. We also thank Mark Law for advice on the ILASP system. F. Toni was partially funded by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 101020934) and by J.P. Morgan and the Royal Academy of Engineering under the Research Chairs and Senior Research Fellowships scheme. M. Proietti is a member of the INdAM-GNCS research group.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Proietti, M., Toni, F. (2024). Learning Assumption-Based Argumentation Frameworks. In: Muggleton, S.H., Tamaddoni-Nezhad, A. (eds) Inductive Logic Programming. ILP 2022. Lecture Notes in Computer Science(), vol 13779. Springer, Cham. https://doi.org/10.1007/978-3-031-55630-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-031-55630-2_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-55629-6
Online ISBN: 978-3-031-55630-2
eBook Packages: Computer ScienceComputer Science (R0)