Fundamental Properties of Networks of Constraints: A New Formulation
作者： Ugo Montanari , Francesca Rossi
DOI: 10.1007/978-1-4613-8788-6_12
关键词:
摘要: Networks of constraints are a simple knowledge representation model, useful for describing large classes problems in picture recognition and scene analysis, the physical systems specification software systems. Nodes network represent variables to be assigned, while arcs satisfied by adjacent variables; simply seen as relation specifying acceptable tuples values variables. Solutions variable assignments which simultaneously satisfy all constraints.
springer.com
springerlink.com
core.ac.uk 参考文章(25)
Raimund Seidel, A new method for solving constraint satisfaction problems international joint conference on artificial intelligence. pp. 338- 342 ,(1981)
Ugo Montanari, Francesca Rossi, An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints international workshop on graph grammars and their application to computer science. pp. 440- 457 ,(1986) , 10.1007/3-540-18771-5_69
David L. Waltz, Generating Semantic Descriptions From Drawings of Scenes With Shadows Generating Semantic Descriptions From Drawings of Scenes With Shadows. ,(1972)
D. Waltz, Understanding Line drawings of Scenes with Shadows The Psychology of Computer Vision, P. Winston, ed., McGraw-Hill Book Company, New York. ,(1975)
Eugene C. Freuder, Michael J. Quinn, Taking advantage of stable sets of variables in constraint satisfaction problems international joint conference on artificial intelligence. pp. 1076- 1078 ,(1985)
Azriel Rosenfeld, Robert A. Hummel, Steven W. Zucker, Scene Labeling by Relaxation Operations IEEE Transactions on Systems, Man, and Cybernetics. ,vol. SMC-6, pp. 420- 433 ,(1976) , 10.1109/TSMC.1976.4309519
Daniel G. Bobrow, Qualitative reasoning about physical systems: An introduction Artificial Intelligence. ,vol. 24, pp. 1- 5 ,(1984) , 10.1016/0004-3702(84)90036-5
Johan De Kleer, How circuits work Artificial Intelligence. ,vol. 24, pp. 205- 280 ,(1984) , 10.1016/0004-3702(84)90040-7
Eugene C. Freuder, A Sufficient Condition for Backtrack-Free Search Journal of the ACM. ,vol. 29, pp. 24- 32 ,(1982) , 10.1145/322290.322292
Johan De Kleer, John Seely Brown, A qualitative physics based on confluences Artificial Intelligence. ,vol. 24, pp. 7- 83 ,(1984) , 10.1016/0004-3702(84)90037-7