@inproceedings{f18e9c868f5e411b95d238566735569d,

title = "Modeling uncertainty in first-order logic: A dempster-shafer theoretic approach",

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.",

keywords = "Belief theory, Dempster-shafer theory, Probabilistic logic, Uncertain logic, Uncertain reasoning",

author = "N{\'u}{\~n}ez, {Rafael C.} and Matthias Scheutz and Kamal Premaratne and Murthi, {Manohar N.}",

year = "2013",

month = jan,

day = "1",

language = "English (US)",

series = "ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications",

publisher = "Society for Imprecise Probability: Theories and Applications, SIPTA",

pages = "265--274",

editor = "Fabio Cozman and Thierry Denoeux and Sebastien Destercke and Teddy Seidenfeld",

booktitle = "ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability",

note = "8th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2013 ; Conference date: 02-07-2013 Through 05-07-2013",

}