Abstract
First order logic lies at the core of many methods in mathematics, philosophy, linguistics, and computer science. Although important efforts have been made to extend first order logic to the task of handling uncertainty, there is still a lack of a consistent and unified approach, especially within the Dempster-Shafer (DS) theory framework. In this work we introduce a systematic approach for building belief assignments based on first order logic formulas. Furthermore, we outline the foundations of Uncertain Logic, a robust framework for inference and modeling when information is available in the form of first order logic formulas subject to uncertainty. Applications include data fusion, rule mining, credibility estimation, and crowd sourcing, among many others.
| Original language | English (US) |
|---|---|
| Title of host publication | ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability |
| Subtitle of host publication | Theories and Applications |
| Editors | Teddy Seidenfeld, Fabio Cozman, Thierry Denoeux, Sebastien Destercke |
| Publisher | Society for Imprecise Probability: Theories and Applications, SIPTA |
| Pages | 265-274 |
| Number of pages | 10 |
| ISBN (Electronic) | 9782913923355 |
| State | Published - Jan 1 2013 |
| Event | 8th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2013 - Compiegne, France Duration: Jul 2 2013 → Jul 5 2013 |
Publication series
| Name | ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications |
|---|
Conference
| Conference | 8th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2013 |
|---|---|
| Country | France |
| City | Compiegne |
| Period | 7/2/13 → 7/5/13 |
Fingerprint
Keywords
- Belief theory
- Dempster-shafer theory
- Probabilistic logic
- Uncertain logic
- Uncertain reasoning
ASJC Scopus subject areas
- Statistics and Probability
Cite this
Modeling uncertainty in first-order logic : A dempster-shafer theoretic approach. / Núñez, Rafael C.; Scheutz, Matthias; Premaratne, Kamal; Murthi, Manohar.
ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications. ed. / Teddy Seidenfeld; Fabio Cozman; Thierry Denoeux; Sebastien Destercke. Society for Imprecise Probability: Theories and Applications, SIPTA, 2013. p. 265-274 (ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Modeling uncertainty in first-order logic
T2 - A dempster-shafer theoretic approach
AU - Núñez, Rafael C.
AU - Scheutz, Matthias
AU - Premaratne, Kamal
AU - Murthi, Manohar
PY - 2013/1/1
Y1 - 2013/1/1
N2 - First order logic lies at the core of many methods in mathematics, philosophy, linguistics, and computer science. Although important efforts have been made to extend first order logic to the task of handling uncertainty, there is still a lack of a consistent and unified approach, especially within the Dempster-Shafer (DS) theory framework. In this work we introduce a systematic approach for building belief assignments based on first order logic formulas. Furthermore, we outline the foundations of Uncertain Logic, a robust framework for inference and modeling when information is available in the form of first order logic formulas subject to uncertainty. Applications include data fusion, rule mining, credibility estimation, and crowd sourcing, among many others.
AB - First order logic lies at the core of many methods in mathematics, philosophy, linguistics, and computer science. Although important efforts have been made to extend first order logic to the task of handling uncertainty, there is still a lack of a consistent and unified approach, especially within the Dempster-Shafer (DS) theory framework. In this work we introduce a systematic approach for building belief assignments based on first order logic formulas. Furthermore, we outline the foundations of Uncertain Logic, a robust framework for inference and modeling when information is available in the form of first order logic formulas subject to uncertainty. Applications include data fusion, rule mining, credibility estimation, and crowd sourcing, among many others.
KW - Belief theory
KW - Dempster-shafer theory
KW - Probabilistic logic
KW - Uncertain logic
KW - Uncertain reasoning
UR - http://www.scopus.com/inward/record.url?scp=84921807348&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84921807348&partnerID=8YFLogxK
M3 - Conference contribution
T3 - ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications
SP - 265
EP - 274
BT - ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability
A2 - Seidenfeld, Teddy
A2 - Cozman, Fabio
A2 - Denoeux, Thierry
A2 - Destercke, Sebastien
PB - Society for Imprecise Probability: Theories and Applications, SIPTA
ER -