Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Felipe de Souza Salvatore"'
Autor:
Felipe de Souza Salvatore
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.
The modal logic S5 gives us a simple technical tool to analyze some main notions from philosophy (e.g. metaphysical necessity and epistemological concepts such as knowledge and belief). Although S5 can be axiomatized by some simple rules, this logic
Autor:
Felipe de Souza Salvatore
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USP
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
Natural language inference (NLI) is the task of determining the entailment relationship between a pair of sentences. We are interested in the problem of verifying whether the deep learning models current used in NLI satisfy some logical properties. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::922acea6bd1b84ca796456c49f8d344f
Autor:
Felipe de Souza Salvatore
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USP
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
The modal logic S5 gives us a simple technical tool to analyze some main notions from philosophy (e.g. metaphysical necessity and epistemological concepts such as knowledge and belief). Although S5 can be axiomatized by some simple rules, this logic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6b41ed4032dc411c2f29d0bb7a56b75d