在进行常识推理时,人们从外界获得的新信念往往会与原信念集中的一些信念产生矛盾。面对不一致信念,如何对信念集进行协调性维护,......

约束满足问题(Constraint Satisfaction Problem,简称CSP)由一个变量集合和一个约束集合组成,通过为一组变量赋值来满足一组给定的......