Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem (2012)
- Authors:
- Autor USP: POLASTRO, RODRIGO BELLIZIA - EP
- Unidade: EP
- Sigla do Departamento: PMR
- Subjects: INFERÊNCIA BAYESIANA; PROBABILIDADE; LÓGICA MATEMÁTICA
- Language: Português
- Abstract: Este trabalho apresenta três principais contribuições: i. a proposta de uma nova lógica de descrição probabilística; ii. um novo algoritmo de inferência em primeira ordem a ser utilizado em terminologias representadas nessa lógica; e iii. aplicações práticas em problemas reais. A lógica aqui proposta, crALC (“credal” ALC), adiciona inclusões probabilísticas na popular lógica ALC combinando as terminologias com condições de aciclicidade, de Markov, e adotando uma semântica baseada em interpretações. Como os métodos de inferência exata tradicionalmente apresentam problemas de escalabilidade devido à presença de quantificadores (restrições universal e existencial), apresentamos um algoritmo de loopy propagation em primeira-ordem que se comporta bem para terminologias com domínios não triviais. Uma série de testes foi feita com o algoritmo proposto em comparação com algoritmos tradicionais da literatura; os resultados apresentados mostram uma clara vantagem em relação aos outros algoritmos. São apresentadas ainda duas aplicações da lógica e do algoritmo para resolver problemas reais da área de robótica móvel. Embora os problemas tratados sejam relativamente simples, eles constituem a base de muitos outros problemas da área, sendo um passo importante na representação de conhecimento de agentes/robôs autônomos e no raciocínio sobre esse conhecimento.
- Imprenta:
- Data da defesa: 03.05.2012
-
ABNT
POLASTRO, Rodrigo Bellizia. Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem. 2012. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-13062013-163105/. Acesso em: 28 mar. 2024. -
APA
Polastro, R. B. (2012). Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-13062013-163105/ -
NLM
Polastro RB. Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem [Internet]. 2012 ;[citado 2024 mar. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-13062013-163105/ -
Vancouver
Polastro RB. Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem [Internet]. 2012 ;[citado 2024 mar. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-13062013-163105/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas