Skip to main content

Semantic Reasoning with Uncertain Information from Unreliable Sources

  • Conference paper
  • First Online:
Book cover PRIMA 2016: Principles and Practice of Multi-Agent Systems (PRIMA 2016)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9862))

  • 798 Accesses

Abstract

Intelligent software agents may significantly benefit from semantic reasoning. However, existing semantic reasoners are based on Description Logics, which cannot handle vague, incomplete, and unreliable knowledge. In this paper, we propose \(\mathcal {S}\textsf {DL}\text {-}\textsf {Lite}\) which extends \(\textsf {DL}\text {-}\textsf {Lite}_{{R}}\) with subjective opinions to represent uncertainty in knowledge. We directly incorporate trust into the reasoning so that the inconsistencies in the knowledge can be resolved based on trust evidence analysis. Therefore, the proposed logic can handle uncertain information from unreliable sources. We demonstrate how \(\mathcal {S}\textsf {DL}\text {-}\textsf {Lite}\) can be used for semantic fusion of uncertain information from unreliable sources and show that \(\mathcal {S}\textsf {DL}\text {-}\textsf {Lite}\) reasoner can estimate the ground truth with a minimal error.

Research was sponsored by the U.S. Army Research Laboratory and the U.K. Ministry of Defence and was accomplished under Agreement Numbers W911NF-06-3-0001 and W911NF-14-1-0199. The views and conclusions contained in this document are those of the author(s) and should not be interpreted as representing the official policies, either expressed or implied, of the U.S. Army Research Laboratory, the U.S. Government, the U.K. Ministry of Defence or the U.K. Government. The U.S. and U.K. Governments are authorized to reproduce and distribute reprints for Goverment purposes notwithstanding any copyright notation hereon. Dr. Şensoy thanks to the U.S. Army Research Laboratory for its support under grant W911NF-14-1-0199 and The Scientific and Technological Research Council of Turkey (TUBITAK) for its support under grant 113E238.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Note that \( b_{x|z}, b_{z|y}, b_{y|x} > 0\) imply that \(b_{z|x} \ge b_{z|y} b_{y|x} > 0\) as explained in Sect. 3.1.

References

  1. Artz, D., Gil, Y.: A survey of trust in computer science and the Semantic Web. Web Semant.: Sci. Serv. Agents World Wide Web 5(2), 58–71 (2007)

    Article  Google Scholar 

  2. Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  3. Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press, New York (2004)

    Book  MATH  Google Scholar 

  4. Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-lite family. J. Autom. Reason. 39(3), 385–429 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  5. Golbeck, J., Halaschek-Wiener, C.: Trust-based revision for expressive web syndication. J. Logic Comput. 19(5), 771–790 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  6. Gómez, S.A.: Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions. J. Comput. Sci. Technol. 15 (2015)

    Google Scholar 

  7. Jøsang, A.: Subjective Logic. Springer, Heidelberg (2016)

    Book  MATH  Google Scholar 

  8. Jøsang, A., Ismail, R.: The beta reputation system. In: Proceedings of the 15th Bled Electronic Commerce Conference e-Reality: Constructing the e-Economy, pp. 48–64 (2002)

    Google Scholar 

  9. Qi, G., Pan, J.Z., Ji, Q.: Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 828–839. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Sensoy, M., Fokoue, A., Pan, J.Z., Norman, T.J.: Reasoning about uncertain information and conflict resolution through trust revision. In: Proceedings of 12th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 837–844 (2013)

    Google Scholar 

  11. Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Murat Şensoy .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Şensoy, M., Kaplan, L., de Mel, G. (2016). Semantic Reasoning with Uncertain Information from Unreliable Sources. In: Baldoni, M., Chopra, A., Son, T., Hirayama, K., Torroni, P. (eds) PRIMA 2016: Principles and Practice of Multi-Agent Systems. PRIMA 2016. Lecture Notes in Computer Science(), vol 9862. Springer, Cham. https://doi.org/10.1007/978-3-319-44832-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-44832-9_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-44831-2

  • Online ISBN: 978-3-319-44832-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics