约束传播-智能科学与人工智能.PPTVIP

* 史忠植 约束推理 * ILOG Schedule 1.0 Resources ? ? CtResource ? CtDiscreteResource ? CtUnaryResource ? CtDiscreteEnergy CtStateResource * 史忠植 约束推理 * ILOG Schedule 1.0 Activities ? CtActivity class ? CtIntervalActivity ? ? An activity is defined by its start time, end time and duration ? Activities require, provide, consume and produce resources * 史忠植 约束推理 * Scheduling Problem Prices paid as tasks begin $1000 per day Availability: Day 0:$20000, Day 15: +$9000 * 史忠植 约束推理 * Con