PFORTE: Revising Probabilistic FOL Theories.
Aline PaesKate RevoredoGerson ZaveruchaVítor Santos CostaPublished in: IBERAMIA-SBIA (2006)
Keyphrases
- probabilistic reasoning
- first order logic
- knowledge representation
- belief revision
- probabilistic logic
- probability theory
- probabilistic model
- theoretical framework
- context sensitive
- data driven
- generative model
- scoring function
- background knowledge
- scoring functions
- web search
- bayesian networks
- uncertain databases
- probabilistic knowledge
- probabilistic approaches
- document retrieval
- theorem proving
- inference rules
- machine learning
- description logics
- semi supervised
- case study