Constraints and AI planning

被引：28

作者：

Nareyek, A

Freuder, EC

Fourer, R

Giunchiglia, E

Goldman, RP

Kautz, H

Rintanen, J

Tate, A

机构：

[1] Natl Univ Ireland Univ Coll Cork, Cork Constraint Computat Ctr, Cork, Ireland

[2] Northwestern Univ, Dept Ind Engn & Management Sci, Evanston, IL 60208 USA

[3] NW Argonne Optimization Technol Ctr, Argonne, IL USA

[4] Univ Genoa, DIST, Dept Commun Comp & Syst Sci, I-16145 Genoa, Italy

[5] Smart Informat Flow Technol LLC, Minneapolis, MN 55401 USA

[6] Univ Washington, Dept Comp Sci & Engn, Seattle, WA 98195 USA

[7] Univ Freiburg, Inst Informat, AG KI, D-79110 Freiburg, Germany

[8] Univ Edinburgh, AIAI, Edinburgh EH8 9LE, Midlothian, Scotland

来源：

IEEE INTELLIGENT SYSTEMS | 2005年 / 20卷 / 02期

关键词：

D O I：

10.1109/MIS.2005.25

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The interplay of constraint and planning, and the differences between propositional satisfiability (SAT), integer programming (IP) and constraint programming (CP) are discussed. Constraint optimization requires an additional function that assigns a quality value to a solution and tries to find a solution that maximizes this value. The hierarchical task network planning (HTN) exhibits the capability to stipulate global constraints on plans, meshing well with the needs of systems that combine planning and constraint satisfaction. The expressive powers of HTN planning makes it easy to specify global constraints and make them available to constraint solvers.

引用

页码：62 / 72

页数：11

共 68 条

[51] Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem
Sadeh, N
Fox, MS
[J]. ARTIFICIAL INTELLIGENCE, 1996, 86 (01) : 1 - 41
[52] Schuurmans D, 2000, SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), P297
[53] SELMAN B, 1992, AAAI-92 PROCEEDINGS : TENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, P440
[54] Sqalli MH, 1996, PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, P318
[55] PLANNING WITH CONSTRAINTS - MOLGEN .1.
STEFIK, M
[J]. ARTIFICIAL INTELLIGENCE, 1981, 16 (02) : 111 - 139
[56] Tate A., 2000, Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling, P379
[57] TATE A, 1994, INTELLIGENT SCHEDULI, P213
[58] Tate A., 1977, P 5 INT JOINT C ARTI, V2, P888
[59] van Beek P, 1999, SIXTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-99)/ELEVENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE (IAAI-99), P585
[60] VANHENTERYCK P, 1999, OPL OPTIMIZATION PRO

← 1 2 3 4 5 6 7 →