Skip to main content
SpringerLink
Log in

Distributed Paraconsistent Belief Fusion

  • Conference paper
Intelligent Distributed Computing VI

Part of the book series: Studies in Computational Intelligence ((SCI,volume 446))

Abstract

The current paper is devoted to belief fusion when information sources may deliver incomplete and inconsistent information. In such cases paraconsistent and commonsense reasoning techniques can be used to complete missing knowledge and disambiguate inconsistencies. We propose a novel, realistic model of distributed belief fusion and an implementation framework guaranteeing its tractability.

Supported by the Polish National Science Centre grant 2011/01/B/ST6/02769.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Pub. Co (1996)

    Google Scholar 

  2. Alferes, J.J., Moniz Pereira, L.: Reasoning with Logic Programming. LNCS, vol. 1111. Springer, Heidelberg (1996)

    Book  Google Scholar 

  3. Belnap, N.: A useful four-valued logic. In: Eptein, G., Dunn, J. (eds.) Modern Uses of Many Valued Logic, pp. 8–37. Reidel (1977)

    Google Scholar 

  4. Besnard, P.: An Introduction to Default Logic. Springer (1989)

    Google Scholar 

  5. Brewka, G.: Non-Monotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press (1991)

    Google Scholar 

  6. Cadoli, M., Eiter, T., Gottlob, G.: Complexity of propositional nested circumscription and nested abnormality theories. ACM Trans. Comput. Log. 6(2), 232–272 (2005)

    Article  MathSciNet  Google Scholar 

  7. Cadoli, M., Schaerf, M.: A survey on complexity results for non-monotonic logics. Journal Logic Programming 17, 127–160 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  8. Damásio, C., Pereira, L.: A survey of paraconsistent semantics for logic programs. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2, pp. 241–320. Kluwer (1998)

    Google Scholar 

  9. Dubois, D.: On ignorance and contradiction considered as truth-values. Logic Journal of the IGPL 16(2), 195–216 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  10. Dunin-Kęplicz, B., Szałas, A.: Epistemic Profiles and Belief Structures. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS, vol. 7327, pp. 360–369. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  11. Eiter, T., Gottlob, G.: Propositional circumscription and extended closed-world reasoning are \(\Pi^P_2\)-complete. Theoretical Computer Science 114(2), 231–245 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  12. Etzioni, O., Golden, K., Weld, D.: Sound and efficient closed-world reasoning for planning. Artificial Intelligence 89, 113–148 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  13. Fages, F.: Consistency of Clark’s completion and existence of stable models. Methods of Logic in Computer Science 1, 51–60 (1994)

    Google Scholar 

  14. Gottlob, G.: Complexity results for nonmonotonic logics. Journal of Logic and Computation 2(3), 397–425 (1992)

    Article  MathSciNet  Google Scholar 

  15. Łukaszewicz, W.: Non-Monotonic Reasoning - Formalization of Commonsense Reasoning. Ellis Horwood (1990)

    Google Scholar 

  16. Małuszyński, J., Szałas, A.: Living with Inconsistency and Taming Nonmonotonicity. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 384–398. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  17. Małuszyński, J., Szałas, A.: Logical foundations and complexity of 4QL, a query language with unrestricted negation. Journal of Applied Non-Classical Logics 21(2), 211–232 (2011)

    Article  MathSciNet  Google Scholar 

  18. Marek, V., Truszczyński, M.: Nonmonotonic Logic. Springer (1993)

    Google Scholar 

  19. Mascardi, V., Demergasso, D., Ancona, D.: Languages for programming BDI-style agents: an overview. In: Corradini, F., De Paoli, F., Merelli, E., Omicini, A. (eds.) WOA 2005 - Workshop From Objects to Agents, pp. 9–15 (2005)

    Google Scholar 

  20. Moore, R.: Possible-world semantics for autoepistemic logic. In: Proc. 1st Nonmonotonic Reasoning Workshop, pp. 344–354 (1984)

    Google Scholar 

  21. Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 353–395 (1994)

    Google Scholar 

  22. Szałas, A.: How an agent might think. Logic Journal of the IGPL (to appear, 2012)

    Google Scholar 

  23. Vitória, A., Małuszyński, J., Szałas, A.: Modeling and reasoning with paraconsistent rough sets. Fundamenta Informaticae 97(4), 405–438 (2009)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, University of Warsaw, Banacha 2, Warsaw, Poland

    Barbara Dunin-Kęplicz & Andrzej Szałas

  2. Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland

    Barbara Dunin-Kęplicz

  3. Department of Computer and Information Science, Linköping University, Linköping, Sweden

    Andrzej Szałas

Authors
  1. Barbara Dunin-Kęplicz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrzej Szałas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Barbara Dunin-Kęplicz .

Editor information

Editors and Affiliations

  1. , Department of Electronics, Informatics, University of Calabria, Via P. Bucci, cubo 41C, Rende (CS), 87036, Italy

    Giancarlo Fortino

  2. Faculty of Automatics, Computers and Ele, Software Engineering Department, University of Craiova, Bvd. Decebal 107, Craiova, 200440, Romania

    Costin Badica

  3. , Dipartimento di Ingegneria Elettrica,, Università di Catania, V.le Andrea Doria, 6, Catania, 95125, Italy

    Michele Malgeri

  4. , Institute for Computer Science and, University of Duisburg-Essen, Schuetzenbahn 70, Essen, 45117, Germany

    Rainer Unland

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dunin-Kęplicz, B., Szałas, A. (2013). Distributed Paraconsistent Belief Fusion. In: Fortino, G., Badica, C., Malgeri, M., Unland, R. (eds) Intelligent Distributed Computing VI. Studies in Computational Intelligence, vol 446. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32524-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32524-3_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32523-6

  • Online ISBN: 978-3-642-32524-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation