Modeling Uncertainty in First-Order Logic : A Dempster-Shafer Theoretic Approach

First order logic lies at the core of many methods in mathematics, philosophy, linguistics, and computer science. Al though 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.

[1]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[2]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[3]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[4]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[5]  Joseph Y. Halpern.  An Analysis of First-Order Logics of Probability , 1989, IJCAI.

[6]  Ronald Fagin,et al.  Uncertainty, belief, and probability 1 , 1991, IJCAI.

[7]  Ronald Fagin,et al.  A new approach to updating beliefs , 1990, UAI.

[8]  Gregory M. Provan,et al.  A logic-based analysis of Dempster-Shafer theory , 1990, Int. J. Approx. Reason..

[9]  Alessandro Saffiotti.  A Belief-Function Logic , 1992, AAAI.

[10]  A. Saffiotti,et al.  Inference-Driven Construction of Valuation Systems from First-Order Clauses , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[11]  Joseph Y. Halpern.  A Logical Approach to Reasoning about Uncertainty: A Tutorial , 1998 .

[12]  Alessandro Saffiotti,et al.  A Modal Logic for Fusing Partial Belief of Multiple Reasoners , 1999, J. Log. Comput..

[13]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[14]  Didier Dubois,et al.  Knowledge-Driven versus Data-Driven Logics , 2000, J. Log. Lang. Inf..

[15]  Yee Leung,et al.  Integrated semantics and logic metric spaces , 2003, Fuzzy Sets Syst..

[16]  Petr Hájek,et al.  A Fuzzy Modal Logic for Belief Functions , 2001, Fundam. Informaticae.

[17]  Didier Dubois,et al.  Possibilistic logic : a retrospective and prospective view , 2003 .

[18]  P. Smets,et al.  Target identification using belief functions and implication rules , 2005, IEEE Transactions on Aerospace and Electronic Systems.

[19]  Luigi Chisci,et al.  Modelling uncertain implication rules in evidence theory , 2008, 2008 11th International Conference on Information Fusion.

[20]  Didier Dubois,et al.  A Set-Theoretic View of Belief Functions , 2008, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[21]  Matthias Scheutz,et al.  A Dempster-Shafer theoretic conditional approach to evidence updating for fusion of hard and soft data , 2009, 2009 12th International Conference on Information Fusion.

[22]  Kamal Premaratne,et al.  Consensus-Based Credibility Estimation of Soft Evidence for Robust Data Fusion , 2012, Belief Functions.