Abstract:
To express the complex form of product configuration knowledge,this paper proposes an extended weight constraint logic programming language,which is based on the weight constraint logic program,extending the head of the rule to the form of disjunctive constrain,and its stable model semanteme is also obtained.The new logic program has more powerful expressiveness and reasoning ability;however,it does not increase the computational complexity.Finally,an example of computer configuration is used to discuss the extended weight constraint logic programm in the application of product configuration.