論文の概要: Do What You Know: Coupling Knowledge with Action in Discrete-Event
Systems
- arxiv url: http://arxiv.org/abs/2108.02000v1
- Date: Sun, 25 Jul 2021 20:19:30 GMT
- ステータス: 処理完了
- システム内更新日: 2021-08-08 11:04:00.127292
- Title: Do What You Know: Coupling Knowledge with Action in Discrete-Event
Systems
- Title(参考訳): 知っておくべきこと - 離散イベントシステムにおける知識と行動の結合
- Authors: Richard Ean (1), Karen Rudie (1) ((1) Queen's University, Kingston,
Canada)
- Abstract要約: このフレームワークは、条件制御決定に関する作業と、離散イベントシステムにおける知識に関する正式な推論に関する作業を組み合わせる。
提示されたモデルの新規性は、問題解決可能性に必要な十分な条件が、監督官が取るべきアクションをカプセル化しているということである。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: An epistemic model for decentralized discrete-event systems with non-binary
control is presented. This framework combines existing work on conditional
control decisions with existing work on formal reasoning about knowledge in
discrete-event systems. The novelty in the model presented is that the
necessary and sufficient conditions for problem solvability encapsulate the
actions that supervisors must take. This direct coupling between knowledge and
action -- in a formalism that mimics natural language -- makes it easier, when
the problem conditions fail, to determine how the problem requirements should
be revised.
- Abstract(参考訳): 非バイナリ制御を伴う分散離散イベントシステムの疫学モデルを示す。
このフレームワークは、条件制御決定に関する既存の作業と、離散イベントシステムにおける知識に関する正式な推論に関する既存の作業を組み合わせる。
提示されたモデルの新規性は、問題解決可能性に必要な必要十分条件が、監督者が取るべき行動をカプセル化することである。
この知識と行動の直接的な結合 -- 自然言語を模倣した形式的構造 -- により、問題条件が失敗した場合、問題要件の修正方法を決定するのが容易になります。
関連論文リスト
- Disentangling Memory and Reasoning Ability in Large Language Models [97.26827060106581]
本稿では、複雑な推論プロセスを2つの異なる明確なアクションに分解する新しい推論パラダイムを提案する。
実験の結果, この分解によりモデル性能が向上し, 推論プロセスの解釈可能性も向上することがわかった。
論文 参考訳(メタデータ) (2024-11-20T17:55:38Z) - Towards Exploratory Reformulation of Constraint Models [0.44658835512168177]
本稿では,初期モデルからの再構成プロセスを通じてモデル空間を探索するシステムを提案する。
我々は,ユーザが制約仕様を記述した場合に,このシステムを洗練されたアプローチで構築する計画である。
論文 参考訳(メタデータ) (2023-11-20T16:04:56Z) - Formal Methods for Autonomous Systems [21.989467515686858]
形式的手法は安全クリティカルシステムの正当性を確立する上で重要な役割を果たしてきた。
形式的なメソッドの主なビルディングブロックはモデルと仕様です。
様々な定式化の下で, 正しい構成合成を考察する。
論文 参考訳(メタデータ) (2023-11-02T14:18:43Z) - Hierarchical Framework for Interpretable and Probabilistic Model-Based
Safe Reinforcement Learning [1.3678669691302048]
本稿では,安全クリティカルシステムにおける深層強化学習の新たなアプローチを提案する。
確率論的モデリングと強化学習の利点と、解釈可能性の利点を兼ね備えている。
論文 参考訳(メタデータ) (2023-10-28T20:30:57Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳(メタデータ) (2023-07-28T11:26:26Z) - Safe Multi-agent Learning via Trapping Regions [89.24858306636816]
我々は、動的システムの定性理論から知られているトラップ領域の概念を適用し、分散学習のための共同戦略空間に安全セットを作成する。
本稿では,既知の学習力学を持つシステムにおいて,候補がトラップ領域を形成することを検証するための二分分割アルゴリズムと,学習力学が未知のシナリオに対するサンプリングアルゴリズムを提案する。
論文 参考訳(メタデータ) (2023-02-27T14:47:52Z) - elBERto: Self-supervised Commonsense Learning for Question Answering [131.51059870970616]
本稿では、市販QAモデルアーキテクチャと互換性のあるコモンセンスフレームワークの自己教師型双方向表現学習を提案する。
このフレームワークは5つの自己教師型タスクから構成されており、リッチコモンセンスを含むコンテキストから追加のトレーニング信号を完全に活用するようモデルに強制する。
elBERtoは、単純な語彙的類似性比較が役に立たないような、アウト・オブ・パラグラフや非エフェクトな問題に対して、大幅に改善されている。
論文 参考訳(メタデータ) (2022-03-17T16:23:45Z) - Learning-Driven Decision Mechanisms in Physical Layer: Facts,
Challenges, and Remedies [23.446736654473753]
本稿では, 物理層に共通する仮定を, 実用システムとの相違点を強調するために紹介する。
解決策として,実装手順と課題を考慮して学習アルゴリズムを検討する。
論文 参考訳(メタデータ) (2021-02-14T22:26:44Z) - COSMO: Conditional SEQ2SEQ-based Mixture Model for Zero-Shot Commonsense
Question Answering [50.65816570279115]
社会的文脈の暗黙的な原因と影響の特定は、機械が常識的推論を実行できるようにする駆動能力である。
この領域における現在のアプローチには、目に見えない状況に直面して常識推論を行う能力がない。
本稿では,動的かつ多様なコンテンツ生成機能を備えた条件付きSEQ2SEQベースの混合モデル(COSMO)を提案する。
論文 参考訳(メタデータ) (2020-11-02T07:08:19Z) - Joint Constrained Learning for Event-Event Relation Extraction [94.3499255880101]
本稿では,イベント・イベント関係をモデル化するための制約付き協調学習フレームワークを提案する。
具体的には、このフレームワークは、複数の時間的および部分的関係内の論理的制約を強制する。
我々は,共同学習手法が,共同ラベル付きデータの欠如を効果的に補うことを示す。
論文 参考訳(メタデータ) (2020-10-13T22:45:28Z) - Towards a Collaborative Approach to Decision Making Based on Ontology
and Multi-Agent System Application to crisis management [0.0]
非セキュリティイベントにおいては、解決は、実施すべき手順の一般的な枠組みと遵守すべき指示を定義する計画を参照すべきである。
本稿では,道路事故などの危機状況の文脈における協調的意思決定手法の検証について述べる。
論文 参考訳(メタデータ) (2020-03-16T10:17:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。