論文の概要: A Manifesto for Applicable Formal Methods
- arxiv url: http://arxiv.org/abs/2112.12758v2
- Date: Tue, 22 Aug 2023 09:38:02 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-24 15:49:30.948871
- Title: A Manifesto for Applicable Formal Methods
- Title（参考訳）: 適用可能な形式的手法の宣言
- Authors: Mario Gleirscher and Jaco van de Pol and Jim Woodcock
- Abstract要約: 我々の仮説では、形式的手法は依然として、意図した用途に十分、あるいは準備ができていないように思われる。
このマニフェストは、最大限の利益を得るためにフォーマルメソッドの使用の増加を促進するために努力している。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Formal methods were frequently shown to be effective and, perhaps because of
that, practitioners are interested in using them more often. Still, these
methods are far less applied than expected, particularly, in critical domains
where they are strongly recommended and where they have the greatest potential.
Our hypothesis is that formal methods still seem not to be applicable enough or
ready for their intended use. In critical software engineering, what do we mean
when we speak of a formal method? And what does it mean for such a method to be
applicable both from a scientific and practical viewpoint? Based on what the
literature tells about the first question, with this manifesto, we lay out a
set of principles that when followed by a formal method give rise to its mature
applicability in a given scope. Rather than exercising criticism of past
developments, this manifesto strives to foster an increased use of formal
methods to the maximum benefit.
- Abstract（参考訳）: 形式的な方法はしばしば効果的であることが示され、おそらくそのため、実践者はより頻繁にそれを使うことに興味を持っている。
しかし、これらの手法は、特に、強く推奨され、最も可能性の高い重要な領域において、予想よりもはるかに少ない適用である。
我々の仮説では、形式的手法は依然として、意図した用途に十分、あるいは準備ができていないように思われる。
クリティカルなソフトウェアエンジニアリングでは、フォーマルなメソッドについて言えば、何を意味するのでしょう?
科学と実践の両方の観点から、このような手法が適用できるということは何ですか?
文献が最初の質問について何を述べているかに基づいて、このマニフェストでは、形式的な方法に従えば、所定の範囲で成熟した適用性を生み出す一連の原則を定めています。
過去の発展に対する批判を行使するよりも、このマニフェストは、最大限の利益のために形式的な方法の使用を増やすことに努めている。
関連論文リスト
- On The Expressivity of Objective-Specification Formalisms in
Reinforcement Learning [4.998202587873575]
強化学習における客観的特化形式の比較を行った。
形式主義は、支配的な表現力と、現在の技法で最適化するための単純さの両方を持たない。
結果は、報奨学習を多種多様なフォーマリズムに適応させる将来の研究の必要性を強調している。
論文 参考訳（メタデータ） (2023-10-18T09:46:01Z) - Understanding prompt engineering may not require rethinking
generalization [56.38207873589642]
言語モデルによって与えられるPAC-Bayesと組み合わさったプロンプトの離散的性質は、文献の標準によって非常に厳密な一般化境界をもたらすことを示す。
この研究は、プロンプトエンジニアリングの広範な実践を正当化する可能性がある。
論文 参考訳（メタデータ） (2023-10-06T00:52:48Z) - Provable Benefits of Policy Learning from Human Preferences in
Contextual Bandit Problems [82.92678837778358]
嗜好に基づく手法は、InstructGPTのような経験的応用でかなりの成功を収めている。
フィードバックモデリングにおける人間のバイアスと不確実性がこれらのアプローチの理論的保証にどのように影響するかを示す。
論文 参考訳（メタデータ） (2023-07-24T17:50:24Z) - Ablation Path Saliency [0.0]
ブラックボックス分類を説明するために, 様々な方法が提案されている。
しかしながら、これらの手法のいくつかは、単一のより一般的な手順のエッジケースと見なすことができる。
さらに, アブレーションパスは, 独自の技術として直接利用できることを示す。
論文 参考訳（メタデータ） (2022-09-26T07:00:40Z) - Transductive Learning for Unsupervised Text Style Transfer [60.65782243927698]
教師なしスタイル転送モデルは、主に帰納的学習アプローチに基づいている。
本稿では,検索に基づく文脈認識スタイルの表現に基づく新しいトランスダクティブ学習手法を提案する。
論文 参考訳（メタデータ） (2021-09-16T08:57:20Z) - Individual Explanations in Machine Learning Models: A Case Study on
Poverty Estimation [63.18666008322476]
機械学習の手法は、敏感な社会的文脈でますます適用されつつある。
本研究の主な目的は2つある。
まず、これらの課題を公開し、関連性のある新しい説明方法の使用にどのように影響するか。
次に、関連するアプリケーションドメインで説明メソッドを実装する際に直面するような課題を軽減する一連の戦略を提示します。
論文 参考訳（メタデータ） (2021-04-09T01:54:58Z) - Explainable Machine Learning for Public Policy: Use Cases, Gaps, and
Research Directions [6.68777133358979]
公共政策問題における説明可能性利用事例の分類法を開発する。
我々は、説明のエンドユーザーを定義し、説明可能性の具体的目標を満たさなければならない。
既存の作業をこれらのユースケースにマッピングし、ギャップを特定し、それらのギャップを埋めるための研究の方向性を提案します。
論文 参考訳（メタデータ） (2020-10-27T15:37:00Z) - Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks [57.17673320237597]
継続タスクにおいて、平均回帰強化学習は、より一般的な割引報酬の定式化よりも適切な問題定式化である可能性がある。
本稿では,平均回帰学習のための最初の報酬形成フレームワークを提案する。
これは、標準的な仮定の下では、元の報酬関数の下での最適ポリシーを復元できることを証明している。
論文 参考訳（メタデータ） (2020-07-03T05:06:57Z) - Formal Methods: From Academia to Industrial Practice. A Travel Guide [46.04829474801786]
産業ソフトウェア開発の本当の変化は起こっていないようだ。
フォーマルなメソッドが達成できることと、日々のソフトウェア開発プラクティスのギャップは、小さくなっているようには見えません。
論文 参考訳（メタデータ） (2020-02-17T22:09:02Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。