计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
6期
226-230
,共5页
智能规划%强表达时态规划%动态约束满足问题%算法
智能規劃%彊錶達時態規劃%動態約束滿足問題%算法
지능규화%강표체시태규화%동태약속만족문제%산법
智能规划已经成为人工智能领域最热门的研究主题之一.近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战.以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明；最后以一个规划实例演示了算法的运行过程.
智能規劃已經成為人工智能領域最熱門的研究主題之一.近年來,智能規劃在現實領域的應用越來越廣汎,這對規劃器的處理能力和效率提齣瞭很大的挑戰.以一類彊錶達時態規劃——基于約束區間規劃為研究對象,基于動態約束滿足框架設計和實現瞭一箇基于約束區間的規劃算法LP-TPOP;對算法的可靠性和完備性進行瞭證明；最後以一箇規劃實例縯示瞭算法的運行過程.
지능규화이경성위인공지능영역최열문적연구주제지일.근년래,지능규화재현실영역적응용월래월엄범,저대규화기적처리능력화효솔제출료흔대적도전.이일류강표체시태규화——기우약속구간규화위연구대상,기우동태약속만족광가설계화실현료일개기우약속구간적규화산법LP-TPOP;대산법적가고성화완비성진행료증명；최후이일개규화실례연시료산법적운행과정.
