Description
Goal specification is an important aspect of designing autonomous agents. A goal does not only refer to the set of states for the agent to reach. A goal also defines restrictions on the paths the agent should follow. Temporal logics are widely used in goal specification.
Copyright Statement
Download count: 0
Details
Contributors
- Zhao, Jicheng (Author)
- Baral, Chitta (Thesis advisor)
- Kambhampati, Subbarao (Committee member)
- Lee, Joohyung (Committee member)
- Lifschitz, Vladimir (Committee member)
- Liu, Huan (Committee member)
- Arizona State University (Publisher)
Date Created
The date the item was original created (prior to any relationship with the ASU Digital Repositories.)
2010
Subjects
Resource Type
Collections this item is in
Note
- Partial requirement for: Ph.D., Arizona State University, 2010Note typethesis
- Includes bibliographical references (p. 177-189)Note typebibliography
- Field of study: Computer science
Citation and reuse
Statement of Responsibility
by Jicheng Zhao