Abstract:

Color is an essential element in ethnic costume， and different color combinations reflect different imagery and ethnic characteristics. To standardize the expression of requirements for color combinations in color reconstruction methods， a formalized color combination reconstruction method based on model theory was proposed. Taking Jia-Rong Tibetan costume as an example， firstly， the costume pattern information was abstracted into an undirected graph. Secondly， the undirected graph and color information were modeled by using structure， and formal language was used to express the requirements or constraints for color combinations， thereby representing the basic characteristics of the ethnic style. Thirdly， Answer Set Programming （ASP） was used to generate and optimize a set of solutions for color combinations. Finally， the obtained color combination scheme solution set was subjected to beauty screening and sorting to obtain color combination schemes that meet the requirements. Experimental results show that in color reconstruction， model theory and ASP can not only analyze the computational complexity theoretically， but also limit the computational complexity within Polynomial time （P） complexity. Moreover， the evaluation results of the reconstruction scheme based on the principle of color harmony by Moon and Spencer indicate that the method is effective.

Key words: model theory, Answer Set Programming (ASP), formalized modeling, color reconstruction

摘要：

色彩是民族服饰的重要元素，不同的色彩搭配可以体现不同的意象和民族特色。为了规范化表达色彩重构方法中的配色需求，提出一种基于模型论的形式化配色重构方法。以嘉绒藏族服饰为例，首先，将服饰纹样信息抽象化为无向图；其次，通过结构建模无向图和色彩信息，并通过形式化语言表示配色的要求或约束，从而表达该民族风格的基本特征；再次，使用回答集程序（ASP）生成配色方案的解集，并优化解集；最后，对获得的配色方案解集进行美度筛选排序，从而得到符合要求的色彩搭配方案。实验结果表明：模型论与ASP在色彩重构中不仅能从理论上分析计算的复杂度，还可以将计算的复杂度限制在多项式（P）复杂度内；并且，根据孟斯宾瑟色彩调和原理对重构方案的评估结果表明该方法是有效的。

关键词: 模型论, 回答集程序, 形式化建模, 色彩重构