Skip to main content

2016 | OriginalPaper | Buchkapitel

Semantic Reasoning with Uncertain Information from Unreliable Sources

verfasst von : Murat Şensoy, Lance Kaplan, Geeth de Mel

Erschienen in: PRIMA 2016: Principles and Practice of Multi-Agent Systems

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
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.
 
Literatur
1.
Zurück zum Zitat 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)CrossRef 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)CrossRef
2.
Zurück zum Zitat Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2002) Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2002)
3.
Zurück zum Zitat Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press, New York (2004)CrossRefMATH Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press, New York (2004)CrossRefMATH
4.
Zurück zum Zitat 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
5.
Zurück zum Zitat Golbeck, J., Halaschek-Wiener, C.: Trust-based revision for expressive web syndication. J. Logic Comput. 19(5), 771–790 (2009)MathSciNetCrossRefMATH Golbeck, J., Halaschek-Wiener, C.: Trust-based revision for expressive web syndication. J. Logic Comput. 19(5), 771–790 (2009)MathSciNetCrossRefMATH
6.
Zurück zum Zitat Gómez, S.A.: Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions. J. Comput. Sci. Technol. 15 (2015) Gómez, S.A.: Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions. J. Comput. Sci. Technol. 15 (2015)
8.
Zurück zum Zitat 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) 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)
9.
Zurück zum Zitat 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)CrossRef 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)CrossRef
10.
Zurück zum Zitat 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) 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)
11.
Zurück zum Zitat Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)MATH Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)MATH
Metadaten
Titel
Semantic Reasoning with Uncertain Information from Unreliable Sources
verfasst von
Murat Şensoy
Lance Kaplan
Geeth de Mel
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-44832-9_6