A solução de problemas computacionais envolvendo objetos do mundo necessita conciliar modelos rigorosos com informações imperfeitas e flexíveis coletadas sobre o mundo. Assim, o método de solução deste tipo de problema deve ser capaz de lidar tanto com as rígidas asserções sobre o mundo quanto com o fluxo e informações cujo natureza é muito menos rígida. A capacidade…
Das possíveis formas de raciocínio que um agente racional pode utilizar, o raciocínio lógico e as inferências probabilísticas estão entre as que recebem maior destaque na prática, sendo incorporadas em modelos e em programas de computador para a realização das mais diversas tarefas. No entanto, as interações possíveis entre estas formas de raciocínio ainda não são muito bem compreendidas,…
Entre os Grandes Desafios em torno dos quais as pesquisas do Centro de Inteligência Artificial (C4AI - http://c4ai.inova.usp.br) se organizam, propõe-se a produção de recursos para levar o Processamento de Linguagem Natural do português ao estado da arte. Quanto à modalidade falada da língua, pretende-se construir datasets multitarefa para reconhecimento de fala, síntese multilocutor, ide…
Segmentação e alinhamento de datasets para o processamento de linguagem natural, BP.TT
Atualmente a computação quântica é um dos principais temas de pesquisa em ciência da computação. Nesse contexto, o problema da satisfatibilidade quântica (QSAT) revela elementos importantes da complexidade computacional quântica, os quais estão relacionados com o problema da satisfatibilidade probabilística (PSAT). O objetivo geral do presente projeto é investigar os aspectos lógicos de Q…
Este projeto, a ser desenvolvido no IME-USP - Instituto de Matemática e Estatística da Universidade de São Paulo sob a supervisão do Prof. Dr. Marcelo Finger, tem como objetivo, primeiramente, aprofundar o estudo das lógicas modais anódicas (sem negação) e catódicas (com graus de negação) visando obter resultados a respeito de decidibilidade, definibilidade e bissimulação e propriedade d…
O projeto visa estudar as duas principais formas de combinações de sistemas de Lógica Modal e Temporal: a fusão e a modalização. A primeira consiste na combinação independente de dois ou mais sistemas de Lógica Modal, unindo seus conectivos da linguagem e suas axiomatizações. A segunda consiste na aplicação externa de uma Lógica Modal a um sistema lógico genérico. Estudaremos a preservaçã…
O Raciocínio lógico-dedutivo e o raciocínio probabilístico são áreas que vem passando por um enorme desenvolvimento no âmbito dos estudos de Inteligência Artificial na últimas décadas. Enquanto o raciocínio dedutivo fez parte da Inteligência Artificial desde o nascimento da área, a complexidade computacional associada a seus problemas usualmente se coloca entre o intratável e o indecidív…
Algoritmos Análise de dados Aprendizado computacional Áudio digital Banco de dados Big data COVID-19 Cálculo lambda Cidades inteligentes Ciência da Computação Ciências Exatas e da Terra Classificação de dados Computação em nuvem Computação móvel Computação quântica Computação ubíqua Diagnóstico por computador Diagnóstico por imagem Engenharia de software Estado da arte Infecções por Coronavirus Informática médica Institutos de pesquisa Insuficiência respiratória Inteligência artificial Internet das coisas Internet Linguagem natural Linguística computacional Lógica computacional Lógica matemática Lógica modal normal Lógica modal Lógicas não clássicas Matemática da Computação Metodologia e Técnicas da Computação Middleware Modelos matemáticos Modelos minimais Oxigênio Oximetria Pandemias Processamento de imagem assistida por computador Processamento de linguagem natural Raciocínio probabilístico Reconhecimento da fala Reconhecimento de imagem Reconhecimento de padrões Redes e comunicação de dados Redes neurais (computação) Representação de conhecimento SARS-CoV-2 Semânticas de Kripke Sistemas de Computação Teoria da Computação Teoria da computação Tradução automática
COZMAN, FABIO G.. Independence for full conditional probabilities: Structure, factorization, non-uniqueness, and Bayesian networks. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 54, n. 9, p. 1261-1278, NOV 2013. Citações Web of Science: 5. (08/03995-5)
KIKUTI, DANIEL; COZMAN, FABIO GAGLIARDI; SHIROTA FILHO, RICARDO. Sequential decision making with partially ordered preferences. ARTIFICIAL INTELLIGENCE, v. 175, n. 7-8, SI, p. 1346-1365, MAY 2011. Citações Web of Science: 11. (03/11165-9, 05/58090-9, 04/09568-0, 08/03995-5)
FINGER, MARCELO. Towards automated first-order abduction: the cut-based approach. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, SI, p. 370-387, APR 2012. Citações Web of Science: 0. (08/03995-5)
COZMAN, FABIO G.. Sets of probability distributions, independence, and convexity. SYNTHESE, v. 186, n. 2, p. 577-600, 2012. Citações Web of Science: 22. (08/03995-5, 04/09568-0)
FINGER, MARCELO; PRETO, SANDRO. Probably Partially True: Satisfiability for Lukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics. JOURNAL OF AUTOMATED REASONING, JUN 2020. Citações Web of Science: 0. (14/12236-1, 15/21880-4)
DE FARIA, FRANCISCO H. O. VIEIRA; GUSMAO, ARTHUR COLOMBINI; DE BONA, GLAUBER; MAUA, DENIS DERATANI; COZMAN, FABIO GAGLIARDI. Speeding up parameter and rule learning for acyclic probabilistic logic programs. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 106, p. 32-50, MAR 2019. Citações Web of Science: 0. (17/19007-6, 16/18841-0, 16/25928-4, 16/01055-1, 15/21880-4)
COZMAN, FABIO GAGLIARDI; MAUA, DENIS DERATANI. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 110, n. SI, p. 107-126, JUL 2019. Citações Web of Science: 0. (16/18841-0, 15/21880-4)
COZMAN, FABIO GAGLIARDI. Evenly convex credal sets. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, v. 103, p. 124-138, DEC 2018. Citações Web of Science: 0. (16/18841-0, 15/21880-4)