Uma (nova) abordagem baseada na teoria de hiper reticulados aplicada a sistemas ló...
Aplicações de processos de decisão de Markov na composição automática de serviços web
Processo: | 24/07687-6 |
Modalidade de apoio: | Bolsas no Exterior - Pesquisa |
Data de Início da vigência: | 04 de setembro de 2024 |
Data de Término da vigência: | 28 de fevereiro de 2025 |
Área de conhecimento: | Ciências Humanas - Filosofia - Lógica |
Pesquisador responsável: | Juliana Bueno |
Beneficiário: | Juliana Bueno |
Pesquisador Anfitrião: | Marco Panza |
Instituição Sede: | Faculdade de Tecnologia (FT). Universidade Estadual de Campinas (UNICAMP). Limeira , SP, Brasil |
Instituição Anfitriã: | Chapman University, Estados Unidos |
Vinculado ao auxílio: | 20/16353-3 - Racionalidade, lógica e probabilidade: RatioLog, AP.TEM |
Assunto(s): | Filosofia da ciência Lógicas não clássicas Probabilidade |
Palavra(s)-Chave do Pesquisador: | Filosofia da ciência | Lógicas multivalentes | Lógicas não-clássicas | Paracompletude | Paraconsistência | Probabilidade | Lógicas não-classicas e fundamentos da teoria da probabilidade |
Resumo O conceito de probabilidade tem fascinado cientistas e filósofos há muito tempo, remontando à solução de Blaise Pascal para problemas de jogos em 1654. Inicialmente visto como uma ferramenta para lidar com a incerteza, a probabilidade evoluiu para uma medida fundamental da aleatoriedade, impactando campos desde a genética até a mecânica quântica. Apesar de sua aplicação generalizada, as interpretações da probabilidade permanecem controversas, desencadeando debates na filosofia da ciência. Filósofos como Carnap e Popper exploraram sua conexão com a lógica, propondo diferentes interpretações .Independentemente dessa questão, lógicas paraconsistentes surgiram como um método para lidar com o papel das contradições na racionalidade. Pes-quisas recentes combinam probabilidade com paraconsistência e paracompletude, com objetivo de redefinir a teoria de Kolmogorov e aprimorar os conceitos de Popper. O presente projeto se estende em duas frentes:1) Refinar as Lógicas da Evidência e da Verdade,explorando novos métodos algébricos em relação à teoria das probabilidades.2) Investigar as lógicas paraconsistentes trivalentes como uma nova fundamentação para a teoria das probabilidades. Uma abordagem trivalente recente valida a tese de Stalnaker, mostrando o potencial para superar limitações bivalentes e resultados de trivialidade. Tais avanços, combinados com as Lógicas de Inconsistência Formal, como propomos, oferecem caminhos promissores para o desenvolvimento deteorias de probabilidade inovadoras. | |
Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
Mais itensMenos itens | |
TITULO | |
Matéria(s) publicada(s) em Outras Mídias ( ): | |
Mais itensMenos itens | |
VEICULO: TITULO (DATA) | |
VEICULO: TITULO (DATA) | |