Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Distributed Reinforcement of Arc-Consistency

  • Conference paper
  • First Online:
PRICAI 2002: Trends in Artificial Intelligence (PRICAI 2002)

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

Included in the following conference series:

Abstract

Arc-consistency caught many researchs’ attention, involving the discovery of a large number of algorithms in the Constraint Satisfaction Problems (CSP) literature. These algorithms can be applied within or before the search of solutions, in order to eliminate inconsistencies and consequently to prune the search space. In this paper, we adopt a distributed approach due to the omnipresence of naturally distributed CSP real applications. So, a new distributed arc-consistency approach is proposed, discussed and illustrated through an example. Correctness, termination properties, complexity computing as well as experimental results are also given.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bessière, C. Arc consistency and arc consistency again. Artificial Intelligence 65, 1994.

    Google Scholar 

  2. Bessière, C.; Freuder, E. and Régin, J-C. Using constraint Metaknowledge to Reduce Arc Consistency Computation. Artificial Intelligence, Vol. 107, 1999, p125–148.

    Article  MATH  MathSciNet  Google Scholar 

  3. Bessière, C.; Régin, J-C. Refining the Basic Constraint Propagation Algorithm. In Proceedings IJCAI-01.

    Google Scholar 

  4. Deville, Y. and Hentenryck, P. V. En efficient arc consistency algorithm for a class of CSP problems. In Proceedings of IJCAI’91, Australia.

    Google Scholar 

  5. Dechter, R. and Pearl, J. Tree-Clustering Schemes for Constraint-Proces sing. In AAAI-88.

    Google Scholar 

  6. Hamadi, Y. Optimal Distributed Arc-Consistency. CP’99, p. 219–233.

    Google Scholar 

  7. Lamport, L. and Chandy, K. M. Distributed snapshots: Determining global states of distributed systems. TOCS, 3(1): 63–75, Feb 85.

    Google Scholar 

  8. Mackworth, A. K. Consistency in networks of relations. Artificial Intelligence, 8, 1977.

    Google Scholar 

  9. Montanari, U. NetWorks of Constraints: Fundamental properties and applications to picture processing. Information Sciences, 7, 1974. P.95–132.

    Article  MathSciNet  Google Scholar 

  10. Mohr, R. and Henderson, T. C. Arc and path consistency revisited. Artificial Intelligence, 28, 1986 p225–233.

    Article  Google Scholar 

  11. Nguyen, T. and Deville, Y. A Distributed Arc-Consistency Algorithm. In: First Int. Workshop on Concurrent Constraint Satisfaction, 1995.

    Google Scholar 

  12. Waltz, D. L. Understanding Line Drawings of Scenes with Shadows. in: the Psychology of Computer Vision, McGraw Hill, 1975 (first published in:Tech.Rep. AI271, MIT MA, 1972).

    Google Scholar 

  13. Yokoo, M.; Ishida, T. and Kuwabara, K. Distributed Constraint Satisfaction for DAI Problems. In the 10th International Workshop on Distributed Artificial Intelligence, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire URIASIS, Institut Supérieur de Gestion de Tunis, Tunisie

    Ahlem Ben Hassine & Khaled Ghédira

Authors
  1. Ahlem Ben Hassine
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Khaled Ghédira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information Science and Technology Department of Information and Communication Engineering, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-8656, Japan

    Mitsuru Ishizuka

  2. School of Information Technology Knowledge Representation and Reasoning Unit (KRRU) Faculty of Engineering and Information Technology, Griffith University, PMB 50 Gold Coast Mail Centre, Queensland, 9726, Australia

    Abdul Sattar

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ben Hassine, A., Ghédira, K. (2002). Distributed Reinforcement of Arc-Consistency. In: Ishizuka, M., Sattar, A. (eds) PRICAI 2002: Trends in Artificial Intelligence. PRICAI 2002. Lecture Notes in Computer Science(), vol 2417. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45683-X_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-45683-X_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44038-3

  • Online ISBN: 978-3-540-45683-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation