抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
著者らは,マルチエージェント信念ベースの概念に基づく明示的および暗黙的信念の論理のファミリーに対する新しい意味論を導入した。可能性のある世界とdoxastic的/認識的代替案の概念が基本的ではないが,信念ベースの概念から計算される意味論において,標準的意味論とは異なり,それらの意味論において,それらは非原始的であるが,これらの意味論においてはそれらは計算されていない。著者らは完全な公理化を提供し,有限モデル議論により論理に対する決定可能性を証明した。さらに,一般的な認識のFaginとHalpernの論理への論理の多項式埋め込みを提供し,埋め込みによる複雑さの結果を確立した。また,明示的および/または暗黙的信念に対する異なる形式の認識を組み込んだ論理の変種を提示し,これらの変種のいくつかに対する複雑性結果を提供した。最後に,公共と民間の両タイプの情報的行動による静的フレームワークの多くの動的拡張を提示した。これらは,公共発表,信念ベース拡張,忘却を含んでいる。著者らは,会話エージェントの領域から取られた具体的な例の助けを借りて,論理的フレームワークの応用可能性を例示した。Copyright 2020 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】
