| タイトル | A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft |
| 本文（外部サイト） | http://hdl.handle.net/2060/20020060783 |
| 著者（英） | Gamble, Edward B.; Williams, Brian C.; Kurien, James; Gat, Erann; Plaunt, Christian; Lau, Sonie; Millar, William; Nayak, P. Pandurang; Pell, Barney; Kessing, Ron |
| 著者所属（英） | NASA Ames Research Center |
| 発行日 | 1998-01-01 |
| 言語 | eng |
| 内容記述 | The New Millennium Remote Agent (NMRA) will be the first AI system to control an actual spacecraft. The spacecraft domain places a strong premium on autonomy and requires dynamic recoveries and robust concurrent execution, all in the presence of tight real-time deadlines, changing goals, scarce resource constraints, and a wide variety of possible failures. To achieve this level of execution robustness, we have integrated a procedural executive based on generic procedures with a deductive model-based executive. A procedural executive provides sophisticated control constructs such as loops, parallel activity, locks, and synchronization which are used for robust schedule execution, hierarchical task decomposition, and routine configuration management. A deductive executive provides algorithms for sophisticated state inference and optimal failure recover), planning. The integrated executive enables designers to code knowledge via a combination of procedures and declarative models, yielding a rich modeling capability suitable to the challenges of real spacecraft control. The interface between the two executives ensures both that recovery sequences are smoothly merged into high-level schedule execution and that a high degree of reactivity is retained to effectively handle additional failures during recovery. |
| NASA分類 | Cybernetics, Artificial Intelligence and Robotics |
| レポートNO | Rept-632-30 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/91417 |
|
