Skip to main content
SpringerLink
Log in

An Implementation of Consistency-Based Multi-agent Belief Change Using ASP

  • Conference paper
  • First Online:
Logic Programming and Nonmonotonic Reasoning (LPNMR 2015)

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

  • 780 Accesses

Abstract

This paper presents an implementation of a general framework for consistency-based belief change using Answer Set Programming (ASP). We describe Equibel, a software system for working with belief change operations on arbitrary graph topologies. The system has an ASP component that performs a core maximization procedure, and a Python component that performs additional processing on the output of the ASP solver. The Python component also provides an interactive interface that allows users to create a graph, set formulas at nodes, perform belief change operations, and query the resulting graph.

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 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

References

  1. Delgrande, J., Schaub, T.: A consistency-based approach for belief change. Artif. Intell. 151(1–2), 1–41 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  2. Delgrande, J.P., Lang, J., Schaub, T.: Belief change based on global minimisation. In: IJCAI, Hyderabad, India (2007)

    Google Scholar 

  3. Delgrande, J.P., Schaub, T.: A consistency-based framework for merging knowledge bases. J. Appl. Logic 5(3), 459–477 (2006)

    Article  MathSciNet  Google Scholar 

  4. Gauwin, O., Konieczny, S., Marquis, P.: Iterated belief merging as conciliation operators. In: 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, pp. 85–92 (2005)

    Google Scholar 

  5. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. volume arXiv:1405.3694v1

  6. Konieczny, S., Pino Pérez, R.: Merging information under constraints: a logical framework. J. Logic Comput. 12(5), 773–808 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  7. Liberatore, P., Schaerf, M.: Arbitration: a commutative operator for belief revision. In: Proceedings of 2nd WOCFAI 1995, pp. 217–228 (1995)

    Google Scholar 

  8. Liberatore, P., Schaerf, M.: Brels: a system for the integration of knowledge bases. In: Proceedings of the 7th International Conference on Principles of KR&R, pp. 145–152 (2000)

    Google Scholar 

  9. Schwind, N., Inoue, K., Bourgne, G., Konieczny, S., Marquis, P.: Belief revision games. In: AAAI (2015)

    Google Scholar 

  10. Würbel, E., Jeansoulin, R., Papini, O.: Revision: an application in the framework of GIS. In: Proceedings of the 7th International Conference on Principles of KR&R, pp. 505–515 (2000)

    Google Scholar 

Download references

Acknowledgements

Financial support was gratefully received from the Natural Sciences and Engineering Research Council of Canada.

Author information

Authors and Affiliations

  1. Simon Fraser University, Burnaby, BC, V5A 1S6, Canada

    Paul Vicol & James Delgrande

  2. Universität Potsdam, August-Bebel-Strasse 89, 14482, Potsdam, Germany

    Torsten Schaub

Authors
  1. Paul Vicol
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. James Delgrande
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Torsten Schaub
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Torsten Schaub .

Editor information

Editors and Affiliations

  1. University of Calabria, Rende, Italy

    Francesco Calimeri

  2. University of Calabria, Rende, Italy

    Giovambattista Ianni

  3. University of Kentucky Dept. Computer Science, Lexington, Kentucky, USA

    Miroslaw Truszczynski

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Vicol, P., Delgrande, J., Schaub, T. (2015). An Implementation of Consistency-Based Multi-agent Belief Change Using ASP. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2015. Lecture Notes in Computer Science(), vol 9345. Springer, Cham. https://doi.org/10.1007/978-3-319-23264-5_40

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-23264-5_40

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-23263-8

  • Online ISBN: 978-3-319-23264-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation