TY - GEN

T1 - Modeling uncertainty in first-order logic

T2 - 8th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2013

AU - Núñez, Rafael C.

AU - Scheutz, Matthias

AU - Premaratne, Kamal

AU - Murthi, Manohar N.

N1 - Funding Information:
This work is based on research supported by the US Office of Naval Research (ONR) via grants #N00014-10-1-0140. and #N00014-11-1-0493, and the US National Science Foundation (NSF) via grant #1038257.
Publisher Copyright:
© 2013 Proceedings of the 8th International Symposium on Imprecise Probability.
Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.

PY - 2013

Y1 - 2013

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

AN - SCOPUS:84921807348

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 - Cozman, Fabio

A2 - Denoeux, Thierry

A2 - Destercke, Sebastien

A2 - Seidenfeld, Teddy

PB - Society for Imprecise Probability: Theories and Applications, SIPTA

Y2 - 2 July 2013 through 5 July 2013

ER -