skip to main content
Language:
Resource type Show Results with: Show Results with: Index

Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem.

Polastro, Rodrigo Bellizia

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2012-05-03

Online access. The library also has physical copies.

  • Title:
    Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem.
  • Author: Polastro, Rodrigo Bellizia
  • Supervisor: Cozman, Fabio Gagliardi
  • Subjects: Inferência Bayesiana; Lógica Matemática; Probabilidade; Bayesian Inference; Logics; Probability
  • Notes: Tese (Doutorado)
  • Local notes: Programa Engenharia Mecânica:
  • Description: 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.
  • DOI: 10.11606/T.3.2012.tde-13062013-163105
  • Publisher: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica
  • Creation Date: 2012-05-03
  • Format: Adobe PDF
  • Language: Portuguese
Links
Back to results list
Go to Previous pagePrevious Result  9 NextGo to Next page

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far