Modeling uncertainty in first-order logic

A dempster-shafer theoretic approach

Rafael C. Núñez, Matthias Scheutz, Kamal Premaratne, Manohar Murthi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

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 languageEnglish (US)
Title of host publicationISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability
Subtitle of host publicationTheories and Applications
EditorsTeddy Seidenfeld, Fabio Cozman, Thierry Denoeux, Sebastien Destercke
PublisherSociety for Imprecise Probability: Theories and Applications, SIPTA
Pages265-274
Number of pages10
ISBN (Electronic)9782913923355
StatePublished - Jan 1 2013
Event8th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2013 - Compiegne, France
Duration: Jul 2 2013Jul 5 2013

Publication series

NameISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications

Conference

Conference8th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2013
CountryFrance
CityCompiegne
Period7/2/137/5/13

Fingerprint

Uncertainty Modeling
First-order Logic
Uncertainty
Dempster-Shafer Theory
Fusion Rule
Credibility
Data Fusion
Mining
Computer Science
Assignment
Logic
Modeling
Framework

Keywords

  • Belief theory
  • Dempster-shafer theory
  • Probabilistic logic
  • Uncertain logic
  • Uncertain reasoning

ASJC Scopus subject areas

  • Statistics and Probability

Cite this

Núñez, R. C., Scheutz, M., Premaratne, K., & Murthi, M. (2013). Modeling uncertainty in first-order logic: A dempster-shafer theoretic approach. In T. Seidenfeld, F. Cozman, T. Denoeux, & S. Destercke (Eds.), ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications (pp. 265-274). (ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications). Society for Imprecise Probability: Theories and Applications, SIPTA.

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 proceedingConference contribution

Núñez, RC, Scheutz, M, Premaratne, K & Murthi, M 2013, Modeling uncertainty in first-order logic: A dempster-shafer theoretic approach. in T Seidenfeld, F Cozman, T Denoeux & S Destercke (eds), ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications. ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications, Society for Imprecise Probability: Theories and Applications, SIPTA, pp. 265-274, 8th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2013, Compiegne, France, 7/2/13.
Núñez RC, Scheutz M, Premaratne K, Murthi M. Modeling uncertainty in first-order logic: A dempster-shafer theoretic approach. In Seidenfeld T, Cozman F, Denoeux T, Destercke S, editors, ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications. 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).
Núñez, Rafael C. ; Scheutz, Matthias ; Premaratne, Kamal ; Murthi, Manohar. / Modeling uncertainty in first-order logic : A dempster-shafer theoretic approach. ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications. editor / Teddy Seidenfeld ; Fabio Cozman ; Thierry Denoeux ; Sebastien Destercke. Society for Imprecise Probability: Theories and Applications, SIPTA, 2013. pp. 265-274 (ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications).
@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 Manohar Murthi",
year = "2013",
month = "1",
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 = "Teddy Seidenfeld and Fabio Cozman and Thierry Denoeux and Sebastien Destercke",
booktitle = "ISIPTA 2013 - Proceedings of the 8th International Symposium on Imprecise Probability",

}

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 -