Titel: Distributed configuration as Distributed Dynamic Constraint Satisfaction
Kurzfassung: Dynamic constraint satisfaction problem (DCSP) solving is one of the most important methods for solving various kinds of synthesis tasks, such as configuration.Todays configurators are standalone systems not supporting distributed configuration problem solving functionality. However, supply chain integration of configurable products requires the integration of configuration systems. As a consequence, we have to develop problem solving methods that enable the computation of configurations by distributed configuration agents. Therefore, it is necessary to extend dynamic constraint satisfaction to distributed dynamic constraint satisfaction (DDCSP). In this paper we will contribute to this challenge by formalizing DDCSP and by presenting a complete and sound algorithm for solving distributed dynamic constraint satisfaction problems. This algorithm is based on asynchronous backtracking and enables strategies for exploiting conflicting requirements and design assumptions (i.e. learning additional constraints during search). The exploitation of these additional constraints is of particular interest for configuration because the generation and the exchange of conflicting design assumptions based on nogoods can be easily integrated in existing configuration systems
Publikationstyp: Beitrag in Sammelwerk (Autorenschaft)
Art der Veröffentlichung Printversion
Erschienen in: 14h European Conference on Artificial Intelligence (ECAI'2000) - configuration workshop
14h European Conference on Artificial Intelligence (ECAI'2000) - configuration workshop
zur Publikation
 ( M. Stumptner )
Erscheinungsdatum: 2000
Titel der Serie: -
Bandnummer: -
Erstveröffentlichung: Ja
Seite: S. 35 - 40


DOI: -
AC-Nummer: -
Open Access
  • Kein Open-Access


Organisation Adresse
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt


Sachgebiete Kein Sachgebiet ausgewählt
Forschungscluster Kein Forschungscluster ausgewählt
Peer Reviewed
  • Ja
  • Science to Science (Qualitätsindikator: n.a.)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen Keine Arbeitsgruppe ausgewählt


Keine Partnerorganisation ausgewählt

Beiträge der Publikation

Keine verknüpften Publikationen vorhanden