文献

J-GLOBAL ID：202002223899673883   整理番号：20A1928029

ループと雑音を有する計画について【JST・京大機械翻訳】

On Plans With Loops and Noise

著者 (1件)： Belle Vaishak (University of Edinburgh & Alan Turing Institute, Edinburgh, United Kingdom)
資料名： ACM Proceedings  (ACM Proceedings)
号： AAMAS ’18  ページ： 1310-1317  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 影響力のある論文において,Levesqueは,条件付き計画,反復計画,および知識ベースの計画のようなプログラムのような計画の正しさを分析するために,形式的仕様を提案した。彼はバイナリセンシング行動を含む状況計算の中で論理的特性化を動機づけた。特性化は実際には実用的アルゴリズムをもたらさないが,仕様は,合理的で扱いやすいフラグメントのためのプログラム様計画の合成を探索するための一般的スケルトンとして機能する。古典的計画構造はロボット応用のような確率的環境に適用される。これは,Levesqueの考慮が,センシングが正確で,行動が決定論的であるという仮定を作るので,正しさの仕様がどう見えるべきかという疑問を提起する。信念とノイズの度合に関する推論のための状況計算理論に基づいて,著者らは一般化計画の実行意味論を再検討した。次に仕様を用いて例計画の正当性を分析した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *雑音 ,  意味論 ,  ロボット ,  計算理論 ,  キャラクタリゼーション ,  知識ベース ,  形式的仕様
準シソーラス用語： 状況計算 ,  決定論 , 【Automatic Indexing@JST】

著者キーワード (5件)： 一般化計画 ,  雑音のある作用およびセンシング ,  非決定性 ,  プログラム様計画 ,  知識と信念に関する推論

分類 (1件)： ロボットの運動・制御  (IC04012J)

タイトルに関連する用語 (3件)： ループ ,  雑音 ,  計画