論文の概要: State Definition for Conflict Analysis with Four-valued Logic
- arxiv url: http://arxiv.org/abs/2207.11733v1
- Date: Sun, 24 Jul 2022 12:50:46 GMT
- ステータス: 処理完了
- システム内更新日: 2022-07-27 13:11:19.798979
- Title: State Definition for Conflict Analysis with Four-valued Logic
- Title（参考訳）: 4値論理を用いた衝突解析のための状態定義
- Authors: Yukiko Kato
- Abstract要約: 紛争解決の意思決定モデルは、ある状態の説明が戦略の組み合わせの結果、あるいは意思決定者による選択肢選択の結果であると仮定する。
本研究では,ベルナップの4値論理に基づく状態構成による安定性解析を提案する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We examined a four-valued logic method for state settings in conflict
resolution models. Decision-making models of conflict resolution, such as game
theory and graph model for conflict resolution (GMCR), assume the description
of a state to be the outcome of a combination of strategies or the consequence
of option selection by the decision-makers. However, for a framework to
function as a decision-making system, unless a clear definition of the task of
placing information out of an infinite world exists, logical consistency cannot
be ensured, and thus, the function may be incomputable. The introduction of
paraconsistent four-valued logic can prevent incorrect state setting and
analysis with insufficient information and provide logical validity to
analytical methods that vary the analysis resolution depending on the degree of
coarseness of the available information. This study proposes a GMCR stability
analysis with state configuration based on Belnap's four-valued logic.
- Abstract（参考訳）: コンフリクト解決モデルにおける状態設定のための4値論理法について検討した。
紛争解決のためのゲーム理論やグラフモデル(GMCR)のような紛争解決の意思決定モデルでは、状態の説明は戦略の組み合わせの結果、あるいは意思決定者による選択肢選択の結果であると仮定する。
しかし、フレームワークが意思決定システムとして機能するならば、無限世界から情報を取り出すタスクを明確に定義しない限り、論理的一貫性は保証されず、したがって関数は計算不能となる可能性がある。
パラ一貫性4値論理の導入は、情報不足による誤った状態設定と解析を防止し、利用可能な情報の粗さの度合いに応じて解析の解像度が変化する分析手法に論理的妥当性を提供する。
本研究では,Belnapの4値論理に基づく状態構成を用いたGMCR安定性解析を提案する。
関連論文リスト
- Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations [80.86128012438834]
モデルシフトに対する反ファクトの堅牢性を計算することはNP完全であることを示す。
本稿では,頑健性の厳密な推定を高い保証で実現する新しい確率論的手法を提案する。
論文 参考訳（メタデータ） (2024-07-10T09:13:11Z) - A Decision Theoretic Framework for Measuring AI Reliance [23.353778024330165]
人間はしばしば人工知能(AI)システムの助けを借りて意思決定をする。
研究者は、補完的なパフォーマンスを達成する上で重要な要素として、人間がAIに適切に依存していることを確認する。
本稿では, 統計的決定理論に基づく信頼の形式的定義を提案し, 意思決定者がAIの推奨に従う確率として信頼の概念を分離する。
論文 参考訳（メタデータ） (2024-01-27T09:13:09Z) - Make Your Decision Convincing! A Unified Two-Stage Framework:
Self-Attribution and Decision-Making [24.906886146275127]
自己貢献・意思決定(SADM)として知られる統合された2段階の枠組みを提案する。
我々のフレームワークは、生成した合理性とモデル決定とのより信頼性の高いリンクを確立するだけでなく、タスク性能と合理性の品質の競争結果も達成している。
論文 参考訳（メタデータ） (2023-10-20T15:59:57Z) - On solving decision and risk management problems subject to uncertainty [91.3755431537592]
不確実性は意思決定とリスク管理において広範囲にわたる課題である。
本稿では,このような戦略を体系的に理解し,その適用範囲を判断し,それらをうまく活用するための枠組みを開発する。
論文 参考訳（メタデータ） (2023-01-18T19:16:23Z) - Causal Fairness Analysis [68.12191782657437]
意思決定設定における公平性の問題を理解し、モデル化し、潜在的に解決するためのフレームワークを導入します。
我々のアプローチの主な洞察は、観測データに存在する格差の定量化と、基礎となる、しばしば観測されていない、因果的なメカニズムの収集を結びつけることである。
本研究は,文献中の異なる基準間の関係を整理し,説明するための最初の体系的試みであるフェアネスマップにおいて,本研究の成果を左右するものである。
論文 参考訳（メタデータ） (2022-07-23T01:06:34Z) - Gamifying optimization: a Wasserstein distance-based analysis of human
search [0.0]
本稿では,不確実性の下での人間の意思決定戦略を特徴づける理論的枠組みを概説する。
本稿では,人間の学習者の行動パターンを離散確率分布として表現する。
論文 参考訳（メタデータ） (2021-12-12T18:23:46Z) - AR-LSAT: Investigating Analytical Reasoning of Text [57.1542673852013]
テキストの分析的推論の課題を研究し、1991年から2016年までのロースクール入学試験からの質問からなる新しいデータセットを紹介します。
我々は,この課題をうまくこなすために必要な知識理解と推論能力を分析する。
論文 参考訳（メタデータ） (2021-04-14T02:53:32Z) - Identification of Unexpected Decisions in Partially Observable
Monte-Carlo Planning: a Rule-Based Approach [78.05638156687343]
本稿では,POMCPポリシーをトレースを検査して分析する手法を提案する。
提案手法は, 政策行動の局所的特性を探索し, 予期せぬ決定を識別する。
我々は,POMDPの標準ベンチマークであるTigerに対するアプローチと,移動ロボットナビゲーションに関する現実の問題を評価した。
論文 参考訳（メタデータ） (2020-12-23T15:09:28Z) - Stein Variational Model Predictive Control [130.60527864489168]
不確実性の下での意思決定は、現実の自律システムにとって極めて重要である。
モデル予測制御 (MPC) 法は, 複雑な分布を扱う場合, 適用範囲が限られている。
この枠組みが、挑戦的で非最適な制御問題における計画の成功に繋がることを示す。
論文 参考訳（メタデータ） (2020-11-15T22:36:59Z) - Structural Estimation of Partially Observable Markov Decision Processes [3.1614382994158956]
プロセスの観測可能な履歴に基づいて,POMDPモデルのプリミティブの構造的推定を考察する。
本稿では, 最適機器交換への適用例として, 推定手法について述べる。
論文 参考訳（メタデータ） (2020-08-02T15:04:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。