文献

J-GLOBAL ID：202002269070876344   整理番号：20A1117728

信念ベースを利用した認識論理のための決定手順【JST・京大機械翻訳】

Decision Procedures for Epistemic Logic Exploiting Belief Bases

著者 (2件)： Lorini Emiliano (IRIT-CNRS, Toulouse University, Toulouse, France) ,  Romero Fabian (IRIT, Toulouse University, Toulouse, France)
資料名： ACM Proceedings  (ACM Proceedings)
号： AAMAS ’19  ページ： 944-952  発行年： 2019年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 著者らは,信念ベースに関して定義された意味論を有するマルチエージェント認識論理のファミリーのために,テーブルベースのPSPACE充足可能性検査手順を提供した。このような論理はエージェントの明示的信念,すなわちエージェントの信念ベースに含まれるすべての事実,すなわちエージェントの信念ベースに含まれる全ての事実,すなわちエージェントの信念ベースからのすべての事実を区別する。エージェントにより実行される命題割当により,これらの論理の一つに対する簡単な動的拡張を与えた。命題割当は,環境だけでなくエージェントの信念も,それらの実行を共同的に知覚する方法に依存して変化する簡単な形式の行動を捉える。この動的拡張のためのPSPACE充足可能性検査手順を提供した後に,人間とロボットの両方が他の信念に関する高次信念を持ち,行動によって環境を修正することができる人間-ロボット相互作用においてどのように使用できるかを示した。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】

著者キーワード (3件)： 信念ベース ,  動的認識論理 ,  心の理論

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 信念 ,  論理 ,  決定手順