國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Automated planningtheory and practice /

Ghallab, Malik.

Automated planningtheory and practice /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Automated planningGhallab Malik, Dana Nau, Paolo Traverso.
其他題名:	theory and practice /
作者:	Ghallab, Malik.
其他作者:	Traverso, Paolo.
出版者:	Amsterdam ;Elsevier/Morgan Kaufmann,c2004.
面頁冊數:	xxviii, 635 p. :ill. ;25 cm.
標題:	Production planningData processing.
電子資源:	An electronic book accessible through the World Wide Web; click for information
電子資源:	http://www.engineeringvillage.com/controller/servlet/OpenURL?genre=book&isbn=9781558608566
電子資源:	http://www.loc.gov/catdir/toc/els051/2003064381.html
電子資源:	http://www.loc.gov/catdir/description/els051/2003064381.html
ISBN:	9781558608566

Automated planningtheory and practice /
Ghallab, Malik.

Automated planningtheory and practice /[electronic resource] :Ghallab Malik, Dana Nau, Paolo Traverso. - Amsterdam ;Elsevier/Morgan Kaufmann,c2004. - xxviii, 635 p. :ill. ;25 cm.

Includes bibliographical references (p. 573-607) and index.

1 Introduction and Overview -- I Classical Planning -- 2 Representations for Classical Planning*3 Complexity of Classical Planning*4 State-Space Planning*5 Plan-Space Planning -- II Neoclassical Planning -- 6 Planning-Graph Techniques*7 Propositional Satisfiability Techniques*8 Constraint Satisfaction Techniques -- III Heuristics and Control Strategies -- 9 Heuristics in Planning*10 Control Rules in Planning*11 Hierarchical Task Network Planning*12 Control Strategies in Deductive Planning -- IV Planning with Time and Resources -- 13 Time for Planning*14 Temporal Planning*15 Planning and Resource Scheduling -- V Planning under Uncertainty -- 16 Planning based on Markov Decision Processes*17 Planning based on Model Checking*18 Uncertainty with Neo-Classical Techniques -- VI Case Studies and Applications -- 19 Space Applications*20 Planning in Robotics*21 Planning for Manufacturability Analysis*22 Emergency Evacuation Planning *23 Planning in the Game of Bridge -- VII Conclusion -- 24 Conclusion and Other Topics -- VIII Appendices -- A Search Procedures and Computational Complexity*B First Order Logic*C Model Checking.

Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications. Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking. The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students. *Comprehensively explains paradigms for automated planning. *Provides a thorough understanding of theory and planning practice, and how they relate to each other. *Presents case studies of applications in space, robotics, CAD/CAM, process control, emergency operations, and games. *Provides a thorough understanding of AI planning theory and practice, and how they relate to each other. *Covers all the contemporary topics of planning, as well as important practical applications of planning, such as model checking and game playing. *Presents case studies and applications in planning engineering, space, robotics, CAD/CAM, process control, emergency operations, and games. *Provides lecture notes, examples of programming assignments, pointers to downloadable planning systems and related information online.

Electronic reproduction.
Amsterdam :
Elsevier Science & Technology,
2007.

Mode of access: World Wide Web.

ISBN: 9781558608566

Source: 97254:97254Elsevier Science & Technologyhttp://www.sciencedirect.comSubjects--Topical Terms:

454122
Production planning
--Data processing.Index Terms--Genre/Form:

214472
Electronic books.

LC Class. No.: TS183.3 / .M35 2004eb

Dewey Class. No.: 658.5

Automated planningtheory and practice /
LDR:04756cmm 2200361Ia 4500 001 256654
003 OCoLC
005 20100729101520.0
006 m d
007 cr cn|||||||||
008 100818s2004 maua ob 001 0 eng d
020 $a 9781558608566
020 $a 1558608567
029 1 $a NZ1 $b 12435578
035 $a (OCoLC)162596486
035 $a ocn162596486
037 $a 97254:97254 $b Elsevier Science & Technology $n http://www.sciencedirect.com
040 $a OPELS $c OPELS
049 $a TEFA
050 1 4 $a TS183.3 $b .M35 2004eb
082 0 4 $a 658.5 $2 22
100 1 $a Ghallab, Malik. $3 353602
245 1 0 $a Automated planning $h [electronic resource] : $b theory and practice / $c Ghallab Malik, Dana Nau, Paolo Traverso.
260 $a Amsterdam ; $a Boston : $b Elsevier/Morgan Kaufmann, $c c2004.
300 $a xxviii, 635 p. : $b ill. ; $c 25 cm.
504 $a Includes bibliographical references (p. 573-607) and index.
505 0 $a 1 Introduction and Overview -- I Classical Planning -- 2 Representations for Classical Planning*3 Complexity of Classical Planning*4 State-Space Planning*5 Plan-Space Planning -- II Neoclassical Planning -- 6 Planning-Graph Techniques*7 Propositional Satisfiability Techniques*8 Constraint Satisfaction Techniques -- III Heuristics and Control Strategies -- 9 Heuristics in Planning*10 Control Rules in Planning*11 Hierarchical Task Network Planning*12 Control Strategies in Deductive Planning -- IV Planning with Time and Resources -- 13 Time for Planning*14 Temporal Planning*15 Planning and Resource Scheduling -- V Planning under Uncertainty -- 16 Planning based on Markov Decision Processes*17 Planning based on Model Checking*18 Uncertainty with Neo-Classical Techniques -- VI Case Studies and Applications -- 19 Space Applications*20 Planning in Robotics*21 Planning for Manufacturability Analysis*22 Emergency Evacuation Planning *23 Planning in the Game of Bridge -- VII Conclusion -- 24 Conclusion and Other Topics -- VIII Appendices -- A Search Procedures and Computational Complexity*B First Order Logic*C Model Checking.
520 $a Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications. Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking. The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students. *Comprehensively explains paradigms for automated planning. *Provides a thorough understanding of theory and planning practice, and how they relate to each other. *Presents case studies of applications in space, robotics, CAD/CAM, process control, emergency operations, and games. *Provides a thorough understanding of AI planning theory and practice, and how they relate to each other. *Covers all the contemporary topics of planning, as well as important practical applications of planning, such as model checking and game playing. *Presents case studies and applications in planning engineering, space, robotics, CAD/CAM, process control, emergency operations, and games. *Provides lecture notes, examples of programming assignments, pointers to downloadable planning systems and related information online.
533 $a Electronic reproduction. $b Amsterdam : $c Elsevier Science & Technology, $d 2007. $n Mode of access: World Wide Web. $n System requirements: Web browser. $n Title from title screen (viewed on Aug. 2, 2007). $n Access may be restricted to users at subscribing institutions.
650 0 $a Production planning $x Data processing. $3 454122
655 7 $a Electronic books. $2 local. $3 214472
700 1 $a Traverso, Paolo. $3 286495
700 1 $a Nau, Dana S. $3 454121
710 2 $a ScienceDirect (Online service) $3 307425
776 1 $c Original $z 1558608567 $z 9781558608566 $w (DLC) 2003064381 $w (OCoLC)54544203
856 4 0 $3 ScienceDirect $u http://www.sciencedirect.com/science/book/9781558608566 $z An electronic book accessible through the World Wide Web; click for information
856 4 0 $3 Referex $u http://www.engineeringvillage.com/controller/servlet/OpenURL?genre=book&isbn=9781558608566 $z An electronic book accessible through the World Wide Web; click for information
856 4 1 $3 Table of contents $u http://www.loc.gov/catdir/toc/els051/2003064381.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/description/els051/2003064381.html
994 $a C0 $b TEF

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

附件

000000039738

電子館藏

1圖書

電子書

EB TS183.3 .M35 2004eb 2004

一般使用(Normal)

在架

1 筆 • 頁數 1 •
1

多媒體

多媒體檔案
http://www.sciencedirect.com/science/book/9781558608566
http://www.engineeringvillage.com/controller/servlet/OpenURL?genre=book&isbn=9781558608566
http://www.loc.gov/catdir/toc/els051/2003064381.html
http://www.loc.gov/catdir/description/els051/2003064381.html

評論

新增評論分享你的心得

Export

取書館別