| Texto completo | |
| Autor(es): |
Finger, Marcelo
;
Preto, Sandro
Número total de Autores: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | JOURNAL OF LOGIC AND COMPUTATION; v. N/A, p. 15-pg., 2023-10-13. |
| Resumo | |
In this work, we present polyhedral semantics as a means to tractably approximate Lukasiewicz infinitely-valued logic (L$_{\infty}$). As L$_{\infty}$ is an expressive multivalued propositional logic whose decision problem is NP-complete, we show how to to obtain an approximation for this problem providing a family of multivalued logics over the same language as L$_{\infty}$. Each element of the family is associated to a polynomial-time linear program, thus providing a tractable way of deciding each intermediate step. We also investigate properties of the logic system derived from polyhedral semantics and the details of an algorithm for the approximation process. (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 em Engenharia |
| Processo FAPESP: | 14/12236-1 - AnImaLS: Anotação de Imagem em Larga Escala: o que máquinas e especialistas podem aprender interagindo? |
| Beneficiário: | Alexandre Xavier Falcão |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |
| Processo FAPESP: | 15/21880-4 - PROVERBS -- Sistemas Booleanos Probabilísticos Super-restritos: ferramentas de raciocínio e aplicações |
| Beneficiário: | Marcelo Finger |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Processo FAPESP: | 21/03117-2 - Verificação formal de redes neurais via lógica infinitamente-valorada de Lukasiewicz |
| Beneficiário: | Sandro Márcio da Silva Preto |
| Modalidade de apoio: | Bolsas no Brasil - Pós-Doutorado |