Efficient computation of belief theoretic conditionals

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Abstract

Dempster-Shafer (DS) belief theory is a powerful general framework for dealing with a wider variety of uncertainties in data. As in Bayesian probability theory, the conditional operation plays a critical role in DS theoretic strategies for evidence updating and fusion. A major limitation associated with the application of DS theoretic techniques for reasoning under uncertainty is the absence of a feasible computational framework to overcome the prohibitive computational burden this conditional operation entails. This paper addresses this critical challenge via a novel generalized conditional computational model - DS-Conditional-One - which allows the conditional to be computed in significantly less computational and space complexity. This computational model also provides valuable insight into the DS theoretic conditional itself and can be utilized as a tool for visualizing the conditional computation. We provide a thorough analysis and experimental validation of the utility, efficiency, and implementation of the proposed data structures and algorithms for carrying out both the Dempster's conditional and Fagin-Halpern conditional, the two most widely utilized DS theoretic conditional strategies.

Original languageEnglish (US)
Pages265-276
Number of pages12
StatePublished - Jan 1 2019
Event10th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017 - Lugano, Switzerland
Duration: Jul 10 2017Jul 14 2017

Conference

Conference10th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017
CountrySwitzerland
CityLugano
Period7/10/177/14/17

Fingerprint

Computational Model
Reasoning under Uncertainty
Beliefs
Algorithms and Data Structures
Conditional Model
Experimental Validation
Space Complexity
Probability Theory
Updating
Fusion
Computational Complexity
Uncertainty
Strategy
Framework
Evidence

Keywords

  • Algorithms
  • Computational complexity
  • Data structures
  • Dempster's conditional
  • Dempster-Shafer belief theory
  • Fagin-Halpern conditional

ASJC Scopus subject areas

  • Statistics and Probability

Cite this

Polpitiya, L. G., Premaratne, K., Murthi, M., & Sarkar, D. (2019). Efficient computation of belief theoretic conditionals. 265-276. Paper presented at 10th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017, Lugano, Switzerland.

Efficient computation of belief theoretic conditionals. / Polpitiya, Lalintha G.; Premaratne, Kamal; Murthi, Manohar; Sarkar, Dilip.

2019. 265-276 Paper presented at 10th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017, Lugano, Switzerland.

Research output: Contribution to conferencePaper

Polpitiya, LG, Premaratne, K, Murthi, M & Sarkar, D 2019, 'Efficient computation of belief theoretic conditionals' Paper presented at 10th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017, Lugano, Switzerland, 7/10/17 - 7/14/17, pp. 265-276.
Polpitiya LG, Premaratne K, Murthi M, Sarkar D. Efficient computation of belief theoretic conditionals. 2019. Paper presented at 10th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017, Lugano, Switzerland.
Polpitiya, Lalintha G. ; Premaratne, Kamal ; Murthi, Manohar ; Sarkar, Dilip. / Efficient computation of belief theoretic conditionals. Paper presented at 10th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017, Lugano, Switzerland.12 p.
@conference{97b74d928d624f7380b990ef8e56b583,
title = "Efficient computation of belief theoretic conditionals",
abstract = "Dempster-Shafer (DS) belief theory is a powerful general framework for dealing with a wider variety of uncertainties in data. As in Bayesian probability theory, the conditional operation plays a critical role in DS theoretic strategies for evidence updating and fusion. A major limitation associated with the application of DS theoretic techniques for reasoning under uncertainty is the absence of a feasible computational framework to overcome the prohibitive computational burden this conditional operation entails. This paper addresses this critical challenge via a novel generalized conditional computational model - DS-Conditional-One - which allows the conditional to be computed in significantly less computational and space complexity. This computational model also provides valuable insight into the DS theoretic conditional itself and can be utilized as a tool for visualizing the conditional computation. We provide a thorough analysis and experimental validation of the utility, efficiency, and implementation of the proposed data structures and algorithms for carrying out both the Dempster's conditional and Fagin-Halpern conditional, the two most widely utilized DS theoretic conditional strategies.",
keywords = "Algorithms, Computational complexity, Data structures, Dempster's conditional, Dempster-Shafer belief theory, Fagin-Halpern conditional",
author = "Polpitiya, {Lalintha G.} and Kamal Premaratne and Manohar Murthi and Dilip Sarkar",
year = "2019",
month = "1",
day = "1",
language = "English (US)",
pages = "265--276",
note = "10th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017 ; Conference date: 10-07-2017 Through 14-07-2017",

}

TY - CONF

T1 - Efficient computation of belief theoretic conditionals

AU - Polpitiya, Lalintha G.

AU - Premaratne, Kamal

AU - Murthi, Manohar

AU - Sarkar, Dilip

PY - 2019/1/1

Y1 - 2019/1/1

N2 - Dempster-Shafer (DS) belief theory is a powerful general framework for dealing with a wider variety of uncertainties in data. As in Bayesian probability theory, the conditional operation plays a critical role in DS theoretic strategies for evidence updating and fusion. A major limitation associated with the application of DS theoretic techniques for reasoning under uncertainty is the absence of a feasible computational framework to overcome the prohibitive computational burden this conditional operation entails. This paper addresses this critical challenge via a novel generalized conditional computational model - DS-Conditional-One - which allows the conditional to be computed in significantly less computational and space complexity. This computational model also provides valuable insight into the DS theoretic conditional itself and can be utilized as a tool for visualizing the conditional computation. We provide a thorough analysis and experimental validation of the utility, efficiency, and implementation of the proposed data structures and algorithms for carrying out both the Dempster's conditional and Fagin-Halpern conditional, the two most widely utilized DS theoretic conditional strategies.

AB - Dempster-Shafer (DS) belief theory is a powerful general framework for dealing with a wider variety of uncertainties in data. As in Bayesian probability theory, the conditional operation plays a critical role in DS theoretic strategies for evidence updating and fusion. A major limitation associated with the application of DS theoretic techniques for reasoning under uncertainty is the absence of a feasible computational framework to overcome the prohibitive computational burden this conditional operation entails. This paper addresses this critical challenge via a novel generalized conditional computational model - DS-Conditional-One - which allows the conditional to be computed in significantly less computational and space complexity. This computational model also provides valuable insight into the DS theoretic conditional itself and can be utilized as a tool for visualizing the conditional computation. We provide a thorough analysis and experimental validation of the utility, efficiency, and implementation of the proposed data structures and algorithms for carrying out both the Dempster's conditional and Fagin-Halpern conditional, the two most widely utilized DS theoretic conditional strategies.

KW - Algorithms

KW - Computational complexity

KW - Data structures

KW - Dempster's conditional

KW - Dempster-Shafer belief theory

KW - Fagin-Halpern conditional

UR - http://www.scopus.com/inward/record.url?scp=85061874948&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85061874948&partnerID=8YFLogxK

M3 - Paper

SP - 265

EP - 276

ER -