Fuzzy Type Theory in the Analysis of Argumentation
- Authors: Domanov O.A1
-
Affiliations:
- Institute of Philosophy and Law SBRAS
- Issue: Vol 2, No 1 (2021)
- Pages: 37-47
- Section: PHILOSOPHY
- URL: https://journals.rcsi.science/2713-3125/article/view/376566
- DOI: https://doi.org/10.47850/RL.2021.2.1.37-47
- ID: 376566
Cite item
Full Text
Abstract
The article deals with a fazzy variant of P.Martin-Löf’sintuitionistic type theory. It presents the overview of fuzzy type theory rules and an example of its application to the analysis of the persuasiveness of argumentation. In the latter, the truth values of fuzzy logic are interpreted as degrees of persuasiveness of statements and arguments. The formalization is implemented in the proof assistant Agda.
Keywords
About the authors
O. A Domanov
Institute of Philosophy and Law SBRAS
Email: odomanov@gmail.com
ORCID iD: 0000-0003-0057-3901
Candidate of Philosophy, associate Professor, Senior Researcher Novosibirsk
References
- Заде, Л. (1976). Понятие лингвистической переменной и его применение к принятию приближенных решений. М.: Мир. 166 с. Zadeh, L. (1976). The Concept of a Linguistic Variable and its Application to Approximate Reasoning. M. 166 pp. (In Russ)
- Hájek, P. (1998). Metamathematics of Fuzzy Logic. Trends in Logic 4. Springer. VIII, 299 pp.
- Martin-Löf, P. (1984). An Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Studies in Proof Theory. Napoli. Bibliopolis. 91 pp.
- Univalent Foundations Program, The (2013). Homotopy Type Theory. Univalent Foundations of Mathematics. Institute for Advanced Study. 589 pp. [Online]. URL: http://homotopytypetheory.org/book.
- Zagorulko, Y., Domanov, O., Sery, A., Sidorova, E., and Borovikova, O. (2020). Analysis of the Persuasiveness of Argumentation in Popular Science Texts. In Kuznetsov, S., Panov, A. and Yakovlev, K. (ed.). Artificial Intelligence. RCAI 2020. Springer. pp. 351-367. doi: 10.1007/978-3-030-59535-7_26.
Supplementary files
