Synthesizing constraint expressions
Tóm tắt
A constraint network representation is presented for a combinatorial search problem: finding values for a set of variables subject to a set of constraints. A theory of consistency levels in such networks is formulated, which is related to problems of backtrack tree search efficiency. An algorithm is developed that can achieve any level of consistency desired, in order to preprocess the problem for subsequent backtrack search, or to function as an alternative to backtrack search by explicitly determining all solutions.
Từ khóa
Tài liệu tham khảo
Barrow , H.G. , and Tenenbaum , J.M . MSYS: A system for reasoning about scenes. Tech. Note 121, A.I. Ctr., Stanford Research Inst., Menlo Park , Calif. , April 1976 . Barrow, H.G., and Tenenbaum, J.M. MSYS: A system for reasoning about scenes. Tech. Note 121, A.I. Ctr., Stanford Research Inst., Menlo Park, Calif., April 1976.
Freuder , E.C. Synthesizing constraint expressions , A.I. Memo 370, A.I. Lab., M.I.T. , Cambridge , Mass ., 1976 . Freuder, E.C. Synthesizing constraint expressions, A.I. Memo 370, A.I. Lab., M.I.T., Cambridge, Mass., 1976.
Grossman , R.W. Some data base applications of constraint expressions. TR 158 , Lab. for Computer Science, M.I.T. , Cambridge , Mass ., 1976 . Grossman, R.W. Some data base applications of constraint expressions. TR 158, Lab. for Computer Science, M.I.T., Cambridge, Mass., 1976.
HoIn , B.K.P . Determining lightness from an image . Comptr. Graphics and Image Processing 3 , 4(Dec. 1974), 277 - 299 . HoIn, B.K.P. Determining lightness from an image. Comptr. Graphics and Image Processing 3, 4(Dec. 1974), 277-299.
Huffman , D.A. Impossible objects as nonsense sentences . In Machine Intelligence 6 , B. Meltzer and D. Michie, Eds., Edinburgh U. Press , Edinburgh , 1971 , pp. 295 - 323 . Huffman, D.A. Impossible objects as nonsense sentences. In Machine Intelligence 6, B. Meltzer and D. Michie, Eds., Edinburgh U. Press, Edinburgh, 1971, pp. 295-323.
Marr , D. , and Poggio , T . Cooperative computation of stereo disparity. A.I. Memo 364 , A.I. Lab., M.I.T. , Cambridge , Mass ., 1976 . Marr, D., and Poggio, T. Cooperative computation of stereo disparity. A.I. Memo 364, A.I. Lab., M.I.T., Cambridge, Mass., 1976.
Minsky , M. , and Papert , S . Perceptrons . M.I.T. Press , Cambridge, Mass ., 1968 . Minsky, M., and Papert, S. Perceptrons. M.I.T. Press, Cambridge, Mass., 1968.
Sussman , G.J. , and McDermott , D.V. From PLANNER to CONNIVER--a genetic approach . Proc. AFIPS 1972 FJCC , Vol. 41 , AFIPS Press, Montvale, N.J. , pp. 1171 - 1179 . Sussman, G.J., and McDermott, D.V. From PLANNER to CONNIVER--a genetic approach. Proc. AFIPS 1972 FJCC, Vol. 41, AFIPS Press, Montvale, N.J., pp. 1171-1179.
Sussman , G.J. , and Stallman , R.M . Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. A.I. Memo 380 , A.I. Lab., M.I.T. , Cambridge , Mass ., 1976 . Sussman, G.J., and Stallman, R.M. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. A.I. Memo 380, A.I. Lab., M.I.T., Cambridge, Mass., 1976.
Tenenbaum , J.M. , and Barrow , H.G . IGS: A paradigm for integrating image segmentation and interpretation . In Pattern Recognition and Artificial Intelligence, C. H. Chen, Ed., Academic Press , New York , 1976 , pp. 472 - 507 . Tenenbaum, J.M., and Barrow, H.G. IGS: A paradigm for integrating image segmentation and interpretation. In Pattern Recognition and Artificial Intelligence, C. H. Chen, Ed., Academic Press, New York, 1976, pp. 472-507.
Ullman , J. R. Pattern Recognition Techniques . Crane Russak , New York , 1973 . Ullman, J. R. Pattern Recognition Techniques. Crane Russak, New York, 1973.
Waltz , D.L. Generating semantic descriptions from drawings of scenes with shadows. AI-TR-271 , A.I. Lab., M.I.T. , Cambridge , Mass ., 1972 . Waltz, D.L. Generating semantic descriptions from drawings of scenes with shadows. AI-TR-271, A.I. Lab., M.I.T., Cambridge, Mass., 1972.
Zucker , S.W. Relaxation labelling, local ambiguity, and low-level vision . In Pattern Recognition and Artificial Intelligence, C. H. Chen, Ed., Academic Press , New York , 1976 , pp. 593 - 616 . Zucker, S.W. Relaxation labelling, local ambiguity, and low-level vision. In Pattern Recognition and Artificial Intelligence, C. H. Chen, Ed., Academic Press, New York, 1976, pp. 593-616.