×

Generating possible intentions with constrained argumentation systems. (English) Zbl 1242.68322

Summary: Practical reasoning (PR), which is concerned with the generic question of what to do, is generally seen as a two steps process: (1) deliberation, in which an agent decides what state of affairs it wants to reach - that is, its desires; and (2) means-ends reasoning, in which the agent looks for plans for achieving these desires. The agent’s intentions are a consistent set of desires that are achievable together.
This paper proposes the first argumentation system for PR that computes in one step the possible intentions of an agent, avoiding thus the drawbacks of the existing systems. The proposed system is grounded on a recent work on constrained argumentation systems, and satisfies the rationality postulates identified in argumentation literature, namely the consistency and the completeness of the results.

MSC:

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

Software:

AFRA; OSCAR
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Amgoud, L.; Devred, C.; Lagasquie-Schiex, M., A constrained argumentation system for practical reasoning, (Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’08) (2008), ACM), 429-436
[2] Raz, J., Practical reasoning (1978), Oxford University Press: Oxford University Press Oxford
[3] Wooldridge, M. J., Reasoning about Rational Agents (2000), MIT Press · Zbl 0998.68094
[4] Amgoud, L.; Prade, H., Formalizing practical reasoning under uncertainty: an argumentation-based approach, (Proceedings of IAT’07 (2007), IEEE), 189-195
[5] Atkinson, K.; Bench-Capon, T., Practical reasoning as presumptive argumentation using action based alternating transition systems, Artificial Intelligence Journal, 171, 855-874 (2007) · Zbl 1168.68558
[6] Walton, D., Argument Schemes for Presumptive Reasoning, vol. 29 (1996), Lawrence Erlbaum Associates: Lawrence Erlbaum Associates Mahwah, NJ, USA
[7] Amgoud, L.; Kaci, S., On the generation of bipolar goals in argumentation-based negotiation, (Rahwan, I.; Moraitis, P.; Reed, C., Argumentation in Multi-Agent Systems (Proceedings of the First International Workshop (ArgMAS’04): Expanded and Invited Contributions). Argumentation in Multi-Agent Systems (Proceedings of the First International Workshop (ArgMAS’04): Expanded and Invited Contributions), Lecture Notes in Computer Science, vol. 3366 (2005), Springer-Verlag: Springer-Verlag Berlin, Germany) · Zbl 1117.68503
[8] Hulstijn, J.; van der Torre, L., Combining goal generation and planning in an argumentation framework, (Heskes, T.; Lucas, P.; Vuurpijl, L.; Wiegerinck, W., Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2003) (2003), Katholieke Universiteit Nijmegen), 155-162
[9] Rahwan, I.; Amgoud, L., An argumentation-based approach for practical reasoning, (Weiss, G.; Stone, P., 5th International Joint Conference on Autonomous Agents & Multi Agent Systems, AAMAS’2006, Hakodate, Japan (2006), ACM Press: ACM Press New York, USA), 347-354
[10] N. Rotstein, A. García, G.R. Simari, Defeasible argumentation support for an extended BDI architecture, in: ArgMAS, 2007, pp. 145-163.; N. Rotstein, A. García, G.R. Simari, Defeasible argumentation support for an extended BDI architecture, in: ArgMAS, 2007, pp. 145-163. · Zbl 1135.68592
[11] S. Coste-Marquis, C. Devred, P. Marquis, Constrained argumentation frameworks, in: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR’ 06), 2006, pp. 112-122.; S. Coste-Marquis, C. Devred, P. Marquis, Constrained argumentation frameworks, in: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR’ 06), 2006, pp. 112-122. · Zbl 1122.68642
[12] Dung, P. M., On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games, Artificial Intelligence, 77, 2, 321-358 (1995) · Zbl 1013.68556
[13] Caminada, M.; Amgoud, L., On the evaluation of argumentation formalisms, Artificial Intelligence, 171, 5-6, 286-310 (2007) · Zbl 1168.68562
[14] Gorogiannis, N.; Hunter, A.; Williams, M., An argument-based approach to reasoning with clinical knowledge, International Journal of Approximate Reasoning, 51, 1, 16-22 (2009) · Zbl 1209.68523
[15] Baroni, P.; Cerutti, F.; Giacomin, M.; Guida, G., AFRA: argumentation framework with recursive attacks, International Journal of Approximate Reasoning, 52, 1, 19-37 (2011) · Zbl 1211.68433
[16] Baroni, P.; Giacomin, M., Skepticism relations for comparing argumentation semantic, International Journal of Approximate Reasoning, 50, 6, 854-866 (2009) · Zbl 1191.68671
[17] Lang, J.; van der Torre, L.; Weydert, E., Utilitarian desires, Autonomous Agents and Multi-Agent Systems, 5, 3, 329-363 (2002)
[18] Ghallab, M.; Nau, D.; Traverso, P., Automated Planning, Theory and Practice (2004), Elsevier, Morgan Kaufmann · Zbl 1074.68613
[19] Russel, S.; Norvig, P., Artificial Intelligence. Artificial Intelligence, A Modern Approach (1995), Prentice-Hall · Zbl 0835.68093
[20] Harman, G., Practical aspects of theoretical reasoning, The Oxford Handbook of Rationality, 45-56 (2004)
[21] Simari, G. R.; Loui, R. P., A mathematical treatment of defeasible reasoning and its implementation, Artificial Intelligence, 53, 125-157 (1992) · Zbl 1193.68238
[22] Vreeswijk, G., Abstract argumentation systems, Artificial Intelligence, 90, 1-2, 225-279 (1997) · Zbl 1017.03513
[23] Elvang-Gransson, M.; Krause, P.; Fox, J., Dialectic reasoning with inconsistent information, (Heckerman, D.; Mamdani, A., Proceedings of the 9th Conference on Uncertainty in Artificial Intelligence (1993), Morgan Kaufmann: Morgan Kaufmann Washington (DC), USA), 114-121
[24] Pollock, J. L., How to reason defeasibly, Artificial Intelligence, 57, 1-42 (1992) · Zbl 0763.68056
[25] Amgoud, L.; Cayrol, C., Inferring from inconsistency in preference-based argumentation frameworks, International Journal of Automated Reasoning, 29, 2, 125-169 (2002) · Zbl 1056.68589
[26] C. Cayrol, On the relation between argumentation and non-monotonic coherence-based entailment, in: Proceedings of the International Joint Conference on Artifitial Intelligence, IJCAI’95, 1995, pp. 1443-1448.; C. Cayrol, On the relation between argumentation and non-monotonic coherence-based entailment, in: Proceedings of the International Joint Conference on Artifitial Intelligence, IJCAI’95, 1995, pp. 1443-1448.
[27] L. Amgoud, P. Besnard, A formal analysis of logic-based argumentation systems, in: Proceedings of the 4th International Conference on Scalable Uncertainty Management (SUM 2010), 2010, pp. 42-55.; L. Amgoud, P. Besnard, A formal analysis of logic-based argumentation systems, in: Proceedings of the 4th International Conference on Scalable Uncertainty Management (SUM 2010), 2010, pp. 42-55.
[28] Thomason, R. H., Desires and defaults: A framework for planning with inferred goals, (Cohn, A. G.; Giunchiglia, F.; Selman, B., KR 2000: Principles of Knowledge Representation and Reasoning, Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA (2000), Morgan Kaufmann Publishers), 702-713
[29] Amgoud, L., A formal framework for handling conflicting desires, (Nielsen, T. D.; Zhang, N. L., Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference (ECSQARU 2003). Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference (ECSQARU 2003), Lecture Notes in Computer Science, vol. 2711 (2003), Springer Verlag: Springer Verlag Berlin, Germany), 552-563 · Zbl 1274.68448
[30] J. Hulstijn, L. van der Torre, Combining goal generation and planning in an argumentation framework, in: A. Hunter, J. Lang (Eds.), Proceedings of the Workshop on Argument, Dialogue and Decision at the International Workshop on Non-monotonic Reasoning (NMR 2004), Whistler, Canada, 2004.; J. Hulstijn, L. van der Torre, Combining goal generation and planning in an argumentation framework, in: A. Hunter, J. Lang (Eds.), Proceedings of the Workshop on Argument, Dialogue and Decision at the International Workshop on Non-monotonic Reasoning (NMR 2004), Whistler, Canada, 2004.
[31] G.R. Simari, A.J. Garcia, M. Capobianco, Actions, planning and defeasible reasoning, in: Proceedings of the 10th International Workshop on Non-Monotonic Reasoning, Whistler BC, Canada, 2004, pp. 377-384.; G.R. Simari, A.J. Garcia, M. Capobianco, Actions, planning and defeasible reasoning, in: Proceedings of the 10th International Workshop on Non-Monotonic Reasoning, Whistler BC, Canada, 2004, pp. 377-384.
[32] L. Amgoud, C. Cayrol, On the use of an ATMS for handling conflicting desires, in: D. Dubois, C.A. Welty, M.-A. Williams (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 194-201.; L. Amgoud, C. Cayrol, On the use of an ATMS for handling conflicting desires, in: D. Dubois, C.A. Welty, M.-A. Williams (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 194-201.
[33] Dastani, M.; Governatori, G.; Rotolo, A.; Song, I.; van der Torre, L., Contextual deliberation of cognitive agents in defeasible logic, (Proceedings of AAMAS’07 (2007), ACM Press), 148-150
[34] M. Mbarki, J. Bentahar, B. Moulin, A. Moazin, Constraints-based negotiation using argumentation, in: Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR’10), 2010.; M. Mbarki, J. Bentahar, B. Moulin, A. Moazin, Constraints-based negotiation using argumentation, in: Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR’10), 2010.
[35] M. Mbarki, J. Bentahar, B. Moulin, Specification and complexity of strategic-based reasoning using argumentation, in: Third International Workshop on Argumentation in Multi-Agent Systems (ArgMAS’06), 2006, pp. 142-160.; M. Mbarki, J. Bentahar, B. Moulin, Specification and complexity of strategic-based reasoning using argumentation, in: Third International Workshop on Argumentation in Multi-Agent Systems (ArgMAS’06), 2006, pp. 142-160.
[36] Cayrol, C.; Lagasquie-Schiex, M.-C., On the acceptability of arguments in bipolar argumentation frameworks, (Proceedings of ECSQARU’05. Proceedings of ECSQARU’05, LNAI, vol. 3571 (2005), Springer-Verlag), 378-389 · Zbl 1122.68639
[37] Karacapilidis, N.; Papadias, D., Computer supported argumentation and collaborative decision making: the hermes system, Information Systems, 26, 4, 259-277 (2001) · Zbl 0990.68603
[38] Efstathiou, V.; Hunter, A., Algorithms for generating arguments and counter-arguments in propositional logic, International Journal of Approximate Reasoning, 52, 6, 672-704 (2011) · Zbl 1252.68273
[39] Coste-Marquis, S.; Devred, C.; Marquis, P., Symmetric argumentation frameworks, (Proceedings of ECSQARU’05. Proceedings of ECSQARU’05, LNAI, vol. 3571 (2005), Springer-Verlag), 317-328 · Zbl 1122.68642
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.