語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Production planning- Data processing." ]
切換:
標籤
|
MARC模式
|
ISBD
Automated planning = theory and prac...
~
Nau, Dana S.
FindBook
Google Book
Amazon
博客來
Automated planning = theory and practice /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Automated planning/ Ghallab Malik, Dana Nau, Paolo Traverso.
其他題名:
theory and practice /
作者:
Ghallab, Malik.
其他作者:
Nau, Dana S.
出版者:
Amsterdam ;Elsevier/Morgan Kaufmann, : c2004.,
面頁冊數:
xxviii, 635 p. :ill. ;25 cm.
內容註:
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.
標題:
Production planning - Data processing. -
電子資源:
http://www.engineeringvillage.com/controller/servlet/OpenURL?genre=book&isbn=9781558608566An electronic book accessible through the World Wide Web; click for information
電子資源:
http://www.sciencedirect.com/science/book/9781558608566An electronic book accessible through the World Wide Web; click for information
電子資源:
http://www.loc.gov/catdir/toc/els051/2003064381.html
電子資源:
http://www.loc.gov/catdir/description/els051/2003064381.html
ISBN:
1558608567
Automated planning = theory and practice /
Ghallab, Malik.
Automated planning
theory 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: 1558608567
Source: 97254:97254Elsevier Science & Technologyhttp://www.sciencedirect.comSubjects--Topical Terms:
695888
Production planning
--Data processing.Index Terms--Genre/Form:
542853
Electronic books.
LC Class. No.: TS183.3 / .M35 2004eb
Dewey Class. No.: 658.5
Automated planning = theory and practice /
LDR
:04652cam 2200349 a 45
001
892834
003
OCoLC
005
20101126
006
m d
007
cr cn|||||||||
008
101126s2004 maua ob 001 0 eng d
020
$a
1558608567
020
$a
9781558608566
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
1008560
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 :
$c
c2004.
$b
Elsevier/Morgan Kaufmann,
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
695888
655
7
$a
Electronic books.
$2
lcsh
$3
542853
700
1
$a
Nau, Dana S.
$3
1068026
700
1
$a
Traverso, Paolo.
$3
908167
710
2
$a
ScienceDirect (Online service)
$3
848416
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 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 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
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9084915
電子資源
11.線上閱覽_V
電子書
EB W9084915
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入