アクション言語Aを表現するオートマトンモデル

• Item type: SIG Technical Reports(1)
• 公開日: 1996-05-14
• タイトル: アクション言語Aを表現するオートマトンモデル
• タイトル / 言語: en
• タイトル: Automaton model for action language A
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 豊橋技術科学大学情報工学系
• 著者所属: 豊橋技術科学大学情報工学系
• 著者所属(英): en
• 著者所属(英): Department of Information and Computer Sciences Toyohashi University of Technology
• 著者所属(英): en
• 著者所属(英): Department of Information and Computer Sciences Toyohashi University of Technology
• 著者名: 鍋島, 英知; 井上, 克巳
• 著者名(英): Hidetomo, Nabeshima; Katsumi, Inoue
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では，高級レベルのアクション言語Aと有限オートマトンの関係について議論する．最も重要な関係はこれらの等価性である．すなわち，Aによる任意の領域記述が決定性有限オートマトンに変換でき，逆に任意の有限オートマトンがAによる記述に変換できる．このことから，あるアクション列が計画を遂行できるかどうかの判定が，対応するオートマトンがそのアクション列を受理するかどうかの問題に帰着され，さらにプランニング問題に対する最良の解も正規表現を用いて表現することができる．ここに，状態変化を伴う推論とオートマトン理論が深く関連付けられ，アクション言語に対する今後の見通しがよくなった．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We investigate the relationship between the high-level action language A and finite automata (FA). We show A and FA are equivalent, that is, any domain description in A can be transformed to an FA, and conversely, any FA can be transformed to a description in A. With these results, planning problems can be characterized by regular expressions, and vice versa. Here, reasoning about action meets the automata theory.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1996, 号 36(1996-ICS-104), p. 41-48, 発行日 1996-05-14
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会