Abstract
Over the past several months, we have been engaged in the definition and implementation of automated planning capabilities for supporting NASA operations personnel in planning and executing operations on the International Space Station (ISS). For this activity, we have chosen to use the Action Notation Modeling Language (ANML). In this process, we have exercised much of ANML’s considerable flexibility, including exploring several different means of specifying goal decomposition, rather than the task decomposition directly supported in ANML. We have also encountered unexpected semantic ambiguities in the language, for example related to the use of functional fluents with non-numeric ranges. In this paper, we briefly describe the domain, then discuss the modeling challenges arising in this domain and how we have used ANML to address those challenges, and some lessons learned about ANML in the process.