基于一阶理论的个性化定制需求可满足性研究

产品个性化定制在服装等产品生产中广泛使用，但是个性化定制需求的多样性等特点导致在判断生产商是否具备加工能力时存在困难。文中采用基于一阶逻辑描述生产线加工能力以及个性化定制产品需求的方式，基于该模型提出判断生产线能否满足个性化定制需求的方法，将个性化定制需求表示为逻辑公式，生产线的生产要素表示为一阶理论，通过检查需求公式是否是该理论的语义属性判断需求在某个生产线的可满足性。该方法可以在用户明确需求之后，根据生产商资源判断个性化定制需求的可满足性。