理学 约束满足问题 释 constraint propagation 约束传递 求解约束满足问题的一种推理技术。一般地讲，约束传递是使用约束来减小变量的合法取值范围的一种技术，任何推理都可以用于约束传递，只要这个推理是基于为了不破坏某个或某些约束，必须禁止某个变量的一些取值或者禁止某些变量的取值组合。又译约束传播。
人工智能 自动推理 释文 constraint propagation 约束传播
- Kivu Crisis
- Kivu Lake
- kiwifruit
- kiwifruit root knot nematode disease
- Kiyose Yasuji
- Kiyoshi Kurosawa
- Kiyoshi Yabuuchi
- Kiyosi
- Kizil Caves
- Kizil Gaha caves
- Kizil Grottoes
- Kizil Shiku
- Kizil Shuiku
- Kizilsu Kirgiz Zizhizhou
- Kizirgaha grottoes
- Kizito Muchemwa
- K. J. Arrow
- K. J. Arrow (1921—2017)
- K. Jayatilaka
- Kjeld Abell
- Kjeldahl flask
- Kjeldahl method
- kjeldahl method
- Kjell Westö
- k-jet