約束推理ppt課件(參考版)
2025-05-15 12:47本頁(yè)面
【正文】 } } 2022/5/30 史忠植 高級(jí)人工智能 65 Optimal Solution to the Scheduling Problem 。 while (act !=0) { actsetStartTime(actgetStartMin())。 return bestActivity。amp。 CtActivity* newActivity。 } 2022/5/30 史忠植 高級(jí)人工智能 63 Algorithm Program CtActivity* SelectActivity(CtSchedule* schedule){ // Returns the unscheduled activity with the smallest latest // statrt time. Returns 0 if all activities are scheduled. CtActivity* bestActivity = 0。 else if (act1getStartMax() act2getStartMax()) return CtTrue。 else return CtTrue。 // To state that an activity act consumes c units of res. actconsumes(res, c)。 2022/5/30 史忠植 高級(jí)人工智能 60 Constraints //To create a total budget of limited capacity (here 29000). CtDiscreteResource* res = new CtDiscreteResource(schedule, CtRequiredResource, capacity)。 // To create an activity with the given duration. CtIntervalActivity* act = new CtIntervalActivity(schedule, duration)。 CtOr(Constraint(x == a), CtAnd(Constraint(x != a), CtInstantiate(x)))。 CtIfThen (x 100, x = x+1)。 10 interprete objectattribute pair: 11 case function call: 2022/5/30 史忠植 高級(jí)人工智能 51 COPS 12 interprete function call: 13 case method call: 14 interprete method call: 15 case CASE expression: 16 interprete CASE expression: 17 ... 18 default: 20 report error 21 } 2022/5/30 史忠植 高級(jí)人工智能 52 ILOG SOLVER Combines object oriented programming with constraint logic programming, containing logic variables, incremental constraint satisfaction and backtracking. variables : C++ object integer variable CtIntVar floating variable CtFloatVar boolean variable CtBoolVar Memory Management new: delete: 2022/5/30 史忠植 高級(jí)人工智能 53 ILOG SOLVER Constraints CtTell(x == (y + z))。 ... } 2022/5/30 史忠植 高級(jí)人工智能 47 COPS Implementation Program written by COPS consists of classes and rules. COPS constraint programming language is a declarative language, providing classes, methods which are exist in object oriented language. It is similar with C++ . COPS has the features: constraint object oriented logic programming production system 2022/5/30 史忠植 高級(jí)人工智能 48 COPS COPS_Compiler 1 { 2 Call yacc to parse the program and 3 to generate internal structures. 4 Initializatiion 5 Create Cops Constant trueNode。 ... //function definition function_name。 } z = x * y 2022/5/30 史忠植 高級(jí)人工智能 46 COPS CLASS [class_name][:superclass_name] { // attributes definition date type: attribute_name。 boolean expression_m: constraint_m。 constraint_n。 8 end AC3 ? ? ? ?? ?V V G i ji j, ,? ? a r c s 2022/5/30 史忠植 高級(jí)人工智能 39 Backjumping BackjumpingTop(P) 1 f := the null assignment 2 answer, conflictset := Backjumping(f,P) 3 return answer 2022/5/30 史忠植 高級(jí)人工智能 40 Backjumping Backjumping(f,P) 1 if f is a total assignment of the variables in P 2 answer := f,? 3 else 4
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1