Modelling Argumentation: Valuations and Reasoning
This article discusses the formal modelling of argumentation. The fundamental characteristics of argumentative reasoning, which play the key role in evaluating arguments, are examined. The authors focus on the distinctive features of natural reasoning. Real practice of reasoning is frequently accompanied by usage of deductively incorrect arguments as justifications of certain statements that arise within polemical situations. Another peculiarity of natural reasoning the authors analyse consists in its nonmonotonicity, i.e., extending the set of premises of a certain valid argument affects its validity. Thus, the possibility of constructing a simple and intuitively plausible formal theory that allows grasping the aforementioned phenomena is the main aim of the article. The authors suggest a formal explication of the evidence relation between an argument and a thesis. This explication can take into account the variability of the entailment relation, i.e., allows dealing with both deductive and inductive arguments within the same framework. The suggested explication of evidence relation is substantially grounded on the notion of reasoning by modulo, which, in turn, is a suitable tool for analysing deductively incorrect arguments. The suggested explication of argumentative reasoning (critique and refutation) allows distinguishing between different kinds of nonmonotonicity (modifiability) of argumentative reasoning and, furthermore, drawing the distinction between several types of relations between premises (arguments) and conclusion (thesis): deductive reasoning by modulo, inductive consequence, and (argumentative) evidence relation.
Keywords
argumentation,
argumentative reasoning,
evaluation of arguments,
formal models of argumentationAuthors
Zaitsev Dmitry V. | Lomonosov Moscow State University | zaitsev@philos.msu.ru |
Belikov Alexander A. | Lomonosov Moscow State University; Saint Petersburg State University | belikov@philos.msu.ru |
Всего: 2
References
Беликов А.А. Логика Данна-Белнапа, ее родственники и формальное моделирование аргументации // РАЦИО.т. 2017. Т. 18 (1). С. 36-48.
Зайцев Д.В. Теории аргументации и их практические реализации // РАЦИО.Ш. 2015. № 14. С. 4-15.
Зайцев Д.В. Логика и принятие решений // РАЦИО.Ш. 2013. Т. 10, доп. вып. С. 21-22.
Zaitsev D.V. Who's the Tsar? Towards the True Science of Argument and Reasoning the 7th International Conference on Cognitive Science. 2016. Vol. 13, № 2. P. 231-232.
Dung P.M. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games // Artificial Intelligence. 1995. Vol. 77 (2). P. 321357.
Amgoud A. Replication study of semantics in argumentation // Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, main track (10-16 August 2019). Macao, 2019. P. 6260-6266. DOI: 10.24963/ijcai.2019/874.
Bonzon E. et al. A comparative study of ranking-based semantics for abstract argumentation // Thirtieth AAAI Conference on Artificial Intelligence (12-17 February 2016). Phoenix, 2016. P. 8.
Besnard P., Hunter A. A logic-based theory of deductive arguments // Artificial Intelligence. 2001. Vol. 128 (1-2). P. 203-235.
Leite J., Martins J. Social abstract argumentation // Proceedings of the 22nd International Joint Conference on Artificial Intelligence (19-22 July 2011). Barcelona, 2011. P. 2287-2292.
Amgoud L., Ben-Naim J. Ranking-based semantics for argumentation frameworks // Proceedings of the 7th International Conference on Scalable Uncertainty Management (16-18 September 2013). Washington, 2013. P. 134-147.
Cayrol C., Lagasquie-Schiex M. Graduality in argumentation // Journal of Artificial Intelligence Research. 2005. Vol. 23. P. 245-297.
Belnap N. A useful four-valued logic // Modern Uses of Multiple-Valued Logic / ed. by J.M. Dunn, G. Epstein. Boston : Reidel Publishing Company, 1977. P. 7-37.
Belnap N. How a computer should think // Contemporary Aspects of Philosophy / ed. by G. Rule. Stocksfield : Oriel Press, 1977. P. 30-56.
Dubois D. On Ignorance and Contradiction Considered as Truth-Values // Logic Journal of the IGPL. Vol. 16. (2). P. 195-216. DOI: 10.1093/jigpal/jzn003.
Amgoud L., Ben-Naim J. On Argumentation-based Paraconsistent Logics // Computational Models of Rationality. London : College Publications, 2016. P. 377-391.
Ben-Naim J. Argumentation-Based Paraconsistent Logics // 21st International Conference on Conceptual Structures (27-30 July 2014). Iasi, 2014. P. 19-24.
Arieli O. A sequent-based representation of logical argumentation // International Workshop on Computational Logic in Multi-Agent Systems (16-18 September 2013). Corunna, 2013. P. 69-85.
Borg A., Strasser C. Relevance in structured argumentation // Proceedings of the 27th International Joint Conference on Artificial Intelligence (13-19 July 2018). Stockholm, 2018. P. 17531759. DOI: 10.24963/ijcai.2018/242.
Borg A., Arieli O., Strasser C. Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM // International Workshop on Theories and Applications of Formal Argumentation (19-20 August 2017). Melbourne, 2017. P. 17-34.
Borg A., Arieli O. Hypersequential Argumentation Frameworks: an Instantiation in the Modal Logic S5 // Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (10-15 July 2018). Stockholm, 2018. P. 1097-1104.
Mercier H., Sperber D. Why do humans reason? Arguments for an argumentative theory // Behavioral and Brain Sciences. 2011. Vol. 34. P. 57-74.
Evans J., Over D. Rationality and reasoning. Psychology Press, 2013. 192 p.
Pollock J. Oscar: An architecture for generally intelligent agents // Frontiers in Artificial Intelligence and Applications. 2008. Vol. 171 (1). Р. 275-286.
Strasser C., Antonelli G. Non-monotonic Logic // The Stanford Encyclopedia of Philosophy (Summer 2019 ed.) / E.N. Zalta (ed.) URL: https://plato.stanford.edu/entries/logic-nonmonotonic/ (accessed: 01.05.2020).
Gardenfors P., Makinson D. Nonmonotonic inference based on expectations // Artificial Intelligence. 1994. Vol. 65 (2). P. 197-245.
Makinson D. Bridges between classical and nonmonotonic logic // Logic Journal of IGPL. 2003. Vol. 11 (1). P. 69-96.