Reasoning with uncertain information and trust

Murat Sensoy, Geeth de Mel, Achille Fokoue, Timothy J. Norman, Jeff Z. Pan, Yuqing Tang, Nir Oren, Katia Sycara, Lance Kaplan, Tien Pham

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

1 Citation (Scopus)

Abstract

A limitation of standard Description Logics is its inability to reason with uncertain and vague knowledge. Although probabilistic and fuzzy extensions of DLs exist, which provide an explicit representation of uncertainty, they do not provide an explicit means for reasoning about second order uncertainty. Dempster-Shafer theory of evidence (DST) overcomes this weakness and provides means to fuse and reason about uncertain information. In this paper, we combine DL-Lite with DST to allow scalable reasoning over uncertain semantic knowledge bases. Furthermore, our formalism allows for the detection of conflicts between the fused information and domain constraints. Finally, we propose methods to resolve such conflicts through trust revision by exploiting evidence regarding the information sources. The effectiveness of the proposed approaches is shown through simulations under various settings.

Original languageEnglish
Title of host publicationProceedings of SPIE
Subtitle of host publicationNext-Generation Analyst
EditorsBarbara D Broome, David L Hall, James Llinas
PublisherSPIE
Number of pages12
Volume8758
ISBN (Print)9780819495495
DOIs
Publication statusPublished - 28 May 2013
EventNext-Generation Analyst - Baltimore, MD, United States
Duration: 29 Apr 201330 Apr 2013

Publication series

NameProceedings of SPIE
PublisherSPIE
Volume8758
ISSN (Print)0277-786X

Conference

ConferenceNext-Generation Analyst
CountryUnited States
CityBaltimore, MD
Period29/04/1330/04/13

Fingerprint

Theory of Evidence
Dempster-Shafer Theory
Reasoning
Electric fuses
Uncertainty
fuses
semantics
Semantics
Description Logics
Knowledge Base
logic
Resolve
formalism
Simulation
simulation
Conflict
Knowledge
Evidence
Standards

Keywords

  • Description Logics
  • Information Fusion
  • Trust
  • Uncertainty

ASJC Scopus subject areas

  • Applied Mathematics
  • Computer Science Applications
  • Electrical and Electronic Engineering
  • Electronic, Optical and Magnetic Materials
  • Condensed Matter Physics

Cite this

Sensoy, M., de Mel, G., Fokoue, A., Norman, T. J., Pan, J. Z., Tang, Y., ... Pham, T. (2013). Reasoning with uncertain information and trust. In B. D. Broome, D. L. Hall, & J. Llinas (Eds.), Proceedings of SPIE: Next-Generation Analyst (Vol. 8758). [87580C] (Proceedings of SPIE; Vol. 8758). SPIE. https://doi.org/10.1117/12.2015667

Reasoning with uncertain information and trust. / Sensoy, Murat; de Mel, Geeth; Fokoue, Achille; Norman, Timothy J.; Pan, Jeff Z.; Tang, Yuqing; Oren, Nir; Sycara, Katia; Kaplan, Lance; Pham, Tien.

Proceedings of SPIE: Next-Generation Analyst. ed. / Barbara D Broome; David L Hall; James Llinas. Vol. 8758 SPIE, 2013. 87580C (Proceedings of SPIE; Vol. 8758).

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

Sensoy, M, de Mel, G, Fokoue, A, Norman, TJ, Pan, JZ, Tang, Y, Oren, N, Sycara, K, Kaplan, L & Pham, T 2013, Reasoning with uncertain information and trust. in BD Broome, DL Hall & J Llinas (eds), Proceedings of SPIE: Next-Generation Analyst. vol. 8758, 87580C, Proceedings of SPIE, vol. 8758, SPIE, Next-Generation Analyst, Baltimore, MD, United States, 29/04/13. https://doi.org/10.1117/12.2015667
Sensoy M, de Mel G, Fokoue A, Norman TJ, Pan JZ, Tang Y et al. Reasoning with uncertain information and trust. In Broome BD, Hall DL, Llinas J, editors, Proceedings of SPIE: Next-Generation Analyst. Vol. 8758. SPIE. 2013. 87580C. (Proceedings of SPIE). https://doi.org/10.1117/12.2015667
Sensoy, Murat ; de Mel, Geeth ; Fokoue, Achille ; Norman, Timothy J. ; Pan, Jeff Z. ; Tang, Yuqing ; Oren, Nir ; Sycara, Katia ; Kaplan, Lance ; Pham, Tien. / Reasoning with uncertain information and trust. Proceedings of SPIE: Next-Generation Analyst. editor / Barbara D Broome ; David L Hall ; James Llinas. Vol. 8758 SPIE, 2013. (Proceedings of SPIE).
@inproceedings{46751a112f77495db8e54f63cc7e6525,
title = "Reasoning with uncertain information and trust",
abstract = "A limitation of standard Description Logics is its inability to reason with uncertain and vague knowledge. Although probabilistic and fuzzy extensions of DLs exist, which provide an explicit representation of uncertainty, they do not provide an explicit means for reasoning about second order uncertainty. Dempster-Shafer theory of evidence (DST) overcomes this weakness and provides means to fuse and reason about uncertain information. In this paper, we combine DL-Lite with DST to allow scalable reasoning over uncertain semantic knowledge bases. Furthermore, our formalism allows for the detection of conflicts between the fused information and domain constraints. Finally, we propose methods to resolve such conflicts through trust revision by exploiting evidence regarding the information sources. The effectiveness of the proposed approaches is shown through simulations under various settings.",
keywords = "Description Logics, Information Fusion, Trust, Uncertainty",
author = "Murat Sensoy and {de Mel}, Geeth and Achille Fokoue and Norman, {Timothy J.} and Pan, {Jeff Z.} and Yuqing Tang and Nir Oren and Katia Sycara and Lance Kaplan and Tien Pham",
year = "2013",
month = "5",
day = "28",
doi = "10.1117/12.2015667",
language = "English",
isbn = "9780819495495",
volume = "8758",
series = "Proceedings of SPIE",
publisher = "SPIE",
editor = "Broome, {Barbara D} and Hall, {David L} and James Llinas",
booktitle = "Proceedings of SPIE",

}

TY - GEN

T1 - Reasoning with uncertain information and trust

AU - Sensoy, Murat

AU - de Mel, Geeth

AU - Fokoue, Achille

AU - Norman, Timothy J.

AU - Pan, Jeff Z.

AU - Tang, Yuqing

AU - Oren, Nir

AU - Sycara, Katia

AU - Kaplan, Lance

AU - Pham, Tien

PY - 2013/5/28

Y1 - 2013/5/28

N2 - A limitation of standard Description Logics is its inability to reason with uncertain and vague knowledge. Although probabilistic and fuzzy extensions of DLs exist, which provide an explicit representation of uncertainty, they do not provide an explicit means for reasoning about second order uncertainty. Dempster-Shafer theory of evidence (DST) overcomes this weakness and provides means to fuse and reason about uncertain information. In this paper, we combine DL-Lite with DST to allow scalable reasoning over uncertain semantic knowledge bases. Furthermore, our formalism allows for the detection of conflicts between the fused information and domain constraints. Finally, we propose methods to resolve such conflicts through trust revision by exploiting evidence regarding the information sources. The effectiveness of the proposed approaches is shown through simulations under various settings.

AB - A limitation of standard Description Logics is its inability to reason with uncertain and vague knowledge. Although probabilistic and fuzzy extensions of DLs exist, which provide an explicit representation of uncertainty, they do not provide an explicit means for reasoning about second order uncertainty. Dempster-Shafer theory of evidence (DST) overcomes this weakness and provides means to fuse and reason about uncertain information. In this paper, we combine DL-Lite with DST to allow scalable reasoning over uncertain semantic knowledge bases. Furthermore, our formalism allows for the detection of conflicts between the fused information and domain constraints. Finally, we propose methods to resolve such conflicts through trust revision by exploiting evidence regarding the information sources. The effectiveness of the proposed approaches is shown through simulations under various settings.

KW - Description Logics

KW - Information Fusion

KW - Trust

KW - Uncertainty

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

U2 - 10.1117/12.2015667

DO - 10.1117/12.2015667

M3 - Conference contribution

SN - 9780819495495

VL - 8758

T3 - Proceedings of SPIE

BT - Proceedings of SPIE

A2 - Broome, Barbara D

A2 - Hall, David L

A2 - Llinas, James

PB - SPIE

ER -