Computing explanations and implications in preference-based configurators

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2627, Issue , 2003, Pages 76-92

  Freuder, Eugene C ^a   Likitvivatanavong, Chavalit ^a   Moretti, Manuela ^b   Rossi, Francesca ^b   Wallace, Richard J ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

^b UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATION THEORY; COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; AUTOMATION; COMPUTATIONAL COMPLEXITY; DATA PROCESSING; LOGIC PROGRAMMING;

CONSTRAINT PROPAGATION; HARD CONSTRAINTS; N-QUEENS PROBLEMS; PREFERENCE-BASED;

LOGIC PROGRAMMING; CONSTRAINT THEORY;

CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT PROPAGATION; HARD CONSTRAINTS; N-QUEENS PROBLEM;

EID: 7044231003     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36607-5_6     Document Type: Conference Paper

References (17)

1. J. Amilhastre, H. Fargier, P. Marquis. Consistency restoration and explanations in dynamic CSPs – application to configuration. Artificial Intelligence 135 (1–2): 199–234, 2000.
2. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of the ACM, 44(2):201–236, March 1997.
3. J. Bowen. Using dependency records to generate design coordination advice in a constraint-based approach to concurrent engineering. Computers in Industry, 33:191–199, 1997.
4. D. Dubois, H. Fargier, and H. Prade. The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction. In Proc. IEEE International Conference on Fuzzy Systems, pages 1131–1136. IEEE, 1993.
5. E. C. Freuder, C. Likitvivatanavong, R. J. Wallace. Explanation and implication for configuration problems. IJCAI 2001 workshop on configuration, pages 31–37, 2001.
6. F. Frayman. User-interaction requirements and its implications for efficient implementations of interactive constraint satisfaction systems. In Proc. CP 2001 workshop on user-interaction in constraint satisfaction, Paphos, Cyprus, 2001.
7. N. Jussien, V. Barichard. The palm system: explanation-based constraint programming. In Proc. CP 2000 workshop on techniques for implementing constraint programming systems, 2000.
8. S. Mittal, F. Frayman. Towards a generic model of configuration tasks. Proc. 11th IJCAI, 1989.
9. D. Sabin, E. C. Freuder. Configuration as Composite Constraint Satisfaction. Proceedings of the (1st) Artificial Intelligence and Manufacturing Research Planning Workshop, AAAI Press, 1996.
10. D. Sabin, R. Weigel. Product configuration frameworks – a survey. IEEE Intelligent Systems and their Applications. Special issue on configuration, pages 42–49, 1998.
11. T. Schiex. Possibilistic constraint satisfaction problems, or “how to handle soft constraints?”. In Proc. 8th Conf. of Uncertainty in AI, pages 269–275, 1992.
12. T. Soininen, E. Gelle. Dynamic Constraint Satisfaction in Configuration. Configuration Papers from the AAAI Workshop, pp. 95–100, AAAI Technical Report WS-99-05, AAAI Press, 1999.
13. T. Soininen, J. Tiihonen, T. Mannisto, R. Sulonen. Towards a general ontology of configuration. Artificial Intelligence for Engineering, Design and Manifacturing, 12:357–372, 1998.
14. M. Stumptner. An overview of knowledge-based configuration. AI Communication, 10 (2), 1997.
15. G. Suthers. Preferences for Model Selection in explanation. In Proc. of IJCAI95, Vol. 2, 1993
16. Edward P. K. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.
17. R. J. Wallace, E. C. Freuder. Explanations for whom? In Proc. CP 2001 Workshop on User-Interaction in Constraint Satisfaction, 2001.