| Texto completo | |
| Autor(es): |
Finger, Marcelo
Número total de Autores: 1
|
| Tipo de documento: | Artigo Científico |
| Fonte: | JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS; v. 12, n. 6, p. 13-pg., 2025-10-01. |
| Resumo | |
Big data is all over us these days. In computational terms, logics are complex, at times undecidable, so how can it tackle the challenges of Big Data. In this shor piece in honor of Dov Gabbay, I discuss the weak points of employing logic, just to argue that logic should be used for what logic does best. Namely, proving properties of system, in particular the neural networks that are used to process big data application. We then discuss how & Lstrok;ukasiewicz Infinitely-valued Logic can be used for that purpose, and provide a brief presentation of the topic. (AU) | |
| Processo FAPESP: | 19/07665-4 - Centro de Inteligência Artificial |
| Beneficiário: | Fabio Gagliardi Cozman |
| Modalidade de apoio: | Auxílio à Pesquisa - Programa eScience e Data Science - Centros de Pesquisa Aplicada |
| Processo FAPESP: | 23/00488-5 - SPIRA-BM: biomarcadores para condições respiratórias em dispositivos móveis por análise de áudio com inteligência artificial |
| Beneficiário: | Marcelo Finger |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |
| Processo FAPESP: | 24/19144-7 - Lógicas Fuzzy e Probabilísticas com Aplicações à Interpretabilidade de Redes Neurais |
| Beneficiário: | Marcelo Finger |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |