論文の概要: Intention as Commitment toward Time
- arxiv url: http://arxiv.org/abs/2004.08144v1
- Date: Fri, 17 Apr 2020 09:47:39 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-12 13:34:08.791439
- Title: Intention as Commitment toward Time
- Title(参考訳): 時間へのコミットメントとしての意図
- Authors: Marc van Zee, Dragan Doder, Leendert van der Torre, Mehdi Dastani,
Thomas Icard, Eric Pacuit
- Abstract要約: 動的環境に対する意図、時間、信念の相互作用に対処する。
我々は,信念意図データベースの反復修正のためのAGMベースの仮定を開発した。
- 参考スコア(独自算出の注目度): 6.965927946288768
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In this paper we address the interplay among intention, time, and belief in
dynamic environments. The first contribution is a logic for reasoning about
intention, time and belief, in which assumptions of intentions are represented
by preconditions of intended actions. Intentions and beliefs are coherent as
long as these assumptions are not violated, i.e. as long as intended actions
can be performed such that their preconditions hold as well. The second
contribution is the formalization of what-if scenarios: what happens with
intentions and beliefs if a new (possibly conflicting) intention is adopted, or
a new fact is learned? An agent is committed to its intended actions as long as
its belief-intention database is coherent. We conceptualize intention as
commitment toward time and we develop AGM-based postulates for the iterated
revision of belief-intention databases, and we prove a Katsuno-Mendelzon-style
representation theorem.
- Abstract(参考訳): 本稿では,動的環境における意図,時間,信念の相互作用について述べる。
第一の貢献は意図、時間、信念を推論するための論理であり、意図の仮定は意図された行動の前提条件によって表される。
意図と信念は、これらの仮定が違反しない限り一貫性があり、すなわち、意図された行動が実施できる限り、その前提条件が守られる。
新たな(おそらく矛盾する)意図が採用された場合や、新しい事実が学習された場合、意図と信念はどうなるのか?
エージェントは、信念意図データベースがコヒーレントである限り、その意図した行動にコミットする。
我々は、意図を時間へのコミットメントとして概念化し、信念意図データベースの反復的修正のためのAGMに基づく仮定を開発し、かつの-メンデルゾン式表現定理を証明した。
関連論文リスト
- Are language models rational? The case of coherence norms and belief revision [63.78798769882708]
我々は、論理的コヒーレンス規範と、言語モデルにおける信念の強さに結びついたコヒーレンス規範を考察する。
コヒーレンスに結びついた有理ノルムはいくつかの言語モデルに適用できるが、他のモデルには適用されない。
論文 参考訳(メタデータ) (2024-06-05T16:36:21Z) - Longitudinal Counterfactuals: Constraints and Opportunities [59.11233767208572]
本稿では,反ファクトの妥当性を評価・改善するために,縦断データを用いた手法を提案する。
本研究では, 縦差と反実差を比較する指標を開発し, 先行観測した変化と反実差の類似性を評価する。
論文 参考訳(メタデータ) (2024-02-29T20:17:08Z) - Grounding Language about Belief in a Bayesian Theory-of-Mind [5.058204320571824]
我々は、ベイズ理論における信念文の意味論を基礎づけて、答えに向かって一歩進む。
人類が共同で目標、信念、計画の集合をどう推測するかをモデル化することによって、我々の枠組みは信念に対する概念的な役割のセマンティクスを提供する。
我々は、エージェントがドア・アンド・キーズ・グリッドワールドパズルを解くのを見ながら、人間が目標や信念をどう評価するかを研究することで、この枠組みを評価する。
論文 参考訳(メタデータ) (2024-02-16T02:47:09Z) - The Reasons that Agents Act: Intention and Instrumental Goals [24.607124467778036]
AIエージェントに適用可能な、普遍的に受け入れられる意図の理論は存在しない。
我々は,エージェントが決定を下す理由に関して,エージェントが行動する意図を運用する。
我々の定義は、意図という直感的な概念を捉え、過去の作業によって設定されたデシダラタを満足させる。
論文 参考訳(メタデータ) (2024-02-11T14:39:40Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳(メタデータ) (2023-07-28T11:26:26Z) - Aggregating Credences into Beliefs: Agenda Conditions for Impossibility
Results [0.0]
その結果,経路接続性と偶発性はオリガルキ結果の正確なアジェンダ条件であることがわかった。
本稿では,これらの新たな知見を,判断集約と信念のバイナライゼーションにおける既存のアジェンダ理論的評価定理と比較する。
論文 参考訳(メタデータ) (2023-07-11T07:15:11Z) - Habits and goals in synergy: a variational Bayesian framework for
behavior [22.461524318820672]
効果的かつ柔軟に振る舞う方法は、生物学的エージェントを理解し、インテリジェントなエンボディAIを作成するための中心的な問題である。
行動は2つのタイプに分類されることが知られている:報酬を最大化する習慣的行動。
我々は、変分ベイズ理論の原理に基づいて、2つの挙動のギャップを埋めることを提案する。
論文 参考訳(メタデータ) (2023-04-11T06:28:14Z) - Leveraging Self-Supervised Training for Unintentional Action Recognition [82.19777933440143]
我々は、アクションが意図的なものから意図しないものへと移行するビデオのポイントを特定したい。
本研究では,動き速度,動き方向,意図しない動作を認識するために,固有バイアスを利用する多段階フレームワークを提案する。
論文 参考訳(メタデータ) (2022-09-23T21:36:36Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳(メタデータ) (2022-05-25T03:40:59Z) - Extending counterfactual accounts of intent to include oblique intent [6.85316573653194]
Intentionを定義するアプローチのひとつは、Causalityを定義するために開発された反ファクトツールを使用することだ。
本論文は, 航空機所有者の正統的な例を用いて, 自機に爆弾を仕掛けて保険を回収し, 航空機の乗客と乗員の殺害が直接意図されていると結論づけない2つの事実を述べる。
論文 参考訳(メタデータ) (2021-06-07T15:00:20Z) - Aligning Faithful Interpretations with their Social Attribution [58.13152510843004]
モデル解釈が忠実であることの要件はあいまいで不完全であることに気付く。
因果的帰属(因果的帰属)と解釈(社会的帰属)に対する人間の行動の帰属(因果的帰属)の相違が問題であると認識する。
論文 参考訳(メタデータ) (2020-06-01T16:45:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。