論文の概要: Metamorphic Debugging for Accountable Software
- arxiv url: http://arxiv.org/abs/2409.16140v2
- Date: Tue, 22 Oct 2024 16:14:05 GMT
- ステータス: 処理完了
- システム内更新日: 2024-11-06 17:52:35.677344
- Title: Metamorphic Debugging for Accountable Software
- Title（参考訳）: 会計ソフトのメタモルフィックデバッグ
- Authors: Saeid Tizpaz-Niari, Shiva Darian, Ashutosh Trivedi,
- Abstract要約: 法律書を正式な仕様に翻訳することは、一つの課題である。
クエリ(オラクル問題)に対する決定的な'真実'の欠如も問題である。
我々は,これらの課題に,関係仕様に焦点を合わせることで対処できることを提案する。
- 参考スコア（独自算出の注目度）: 8.001739956625483
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: As the laws have become more complicated and enormous, the role of software systems in navigating and understanding these intricacies has become more critical. Given their socio-economic and legally critical implications, ensuring software accountability -- encompassing qualities such as legal compliance, explainability, perceptions of procedural justice, fairness of outcomes, and confidentiality/privacy -- is of paramount social importance. Moreover, software that accurately interprets its requirements, complies with legal standards and upholds social fairness can serve as a surrogate for legal and social norms, enabling policymakers to inquire about the law as seamlessly as a software engineer conducts a test. However, ensuring software accountability faces three key challenges: i) Translating legalese into formal specifications, ii) Lack of a definitive 'truth' for queries (the oracle problem), and iii) Scarcity of trustworthy datasets due to privacy and legal concerns. Drawing from the experiences in debugging U.S. tax preparation software, we propose that these challenges can be tackled by focusing on relational specifications. While the exact output for a given input may be unknown, the relationship between the outputs of two related inputs may be easier to express. This observation resembles i) the legal doctrine of precedent, meaning that similar cases must yield similar rulings; and ii) metamorphic relation (MR) in software engineering that requires a specific relation between software inputs and outputs. We propose metamorphic debugging as the foundation for detecting, explaining, and repairing socio-legal software for these relations. We showcase recent results that leverage metamorphic debugging to detect and explain accountability bugs in tax prep and poverty management software systems.
- Abstract（参考訳）: 法律が複雑で巨大になるにつれて、これらの複雑さをナビゲートし理解するソフトウェアシステムの役割はますます重要になっている。
社会的・経済的・法的に重要な意味から、法的コンプライアンス、説明可能性、手続き的正義の認識、成果の公正性、機密性/プライバシーなどの品質を含むソフトウェア説明責任は、社会的な重要性を最重要視している。
さらに、その要件を正確に解釈し、法的基準を遵守し、社会的公正を尊重するソフトウェアは、法的および社会的規範の代理として機能し、ソフトウェアエンジニアが試験を行う限り、政策立案者は法律をシームレスに問うことができる。
しかし、ソフトウェア説明責任の確保には3つの課題がある。
一 法律書を正式な明細書に翻訳すること。
二 クエリ(オラクルの問題)に関する決定的な「真実」の欠如及び
三 プライバシー及び法的懸念による信用に値するデータセットの充実
米国の税制作成ソフトウェアをデバッグした経験から,これらの課題はリレーショナル仕様に焦点をあてることによって解決できる,と提案する。
与えられた入力の正確な出力は不明だが、関連する2つの入力の出力間の関係は容易に表現できる。
この観察は似ている
一 前例の法的原則、類似の事件が同様の判決を下さなければならないことをいう。
二 ソフトウェア工学におけるメタモルフィック関係(MR)であって、ソフトウェア入力と出力の特定の関係を必要とするもの。
本稿では,社会法的ソフトウェアの検出,説明,修復の基盤としてメタモルフィックデバッグを提案する。
本稿では, メタモルフィックデバッギングを利用して, 税収や貧困管理ソフトウェアシステムにおける説明責任バグを検出し, 説明する最近の成果を紹介する。
関連論文リスト
- Ethical and Scalable Automation: A Governance and Compliance Framework for Business Applications [0.0]
本稿では、AIが倫理的で、制御可能で、実行可能で、望ましいものであることを保証するフレームワークを紹介する。
異なるケーススタディは、学術と実践の両方の環境でAIを統合することで、このフレームワークを検証する。
論文 参考訳（メタデータ） (2024-09-25T12:39:28Z) - Towards Extracting Ethical Concerns-related Software Requirements from App Reviews [0.0]
本研究は、Uberモバイルアプリ(人気のタクシー/ライドアプリ)のアプリレビューを分析した。
アプリレビューからソフトウェア要件を抽出するために知識グラフ(KG)モデルを活用する新しいアプローチを提案する。
私たちのフレームワークは,関連するエンティティと関係を持ったオントロジーを開発すること,アプリレビューから重要なエンティティを抽出すること,それら間のコネクションを作成すること,という3つの主要コンポーネントで構成されています。
論文 参考訳（メタデータ） (2024-07-19T04:50:32Z) - Towards Responsible AI in Banking: Addressing Bias for Fair
Decision-Making [69.44075077934914]
責任AI(Responsible AI)は、企業文化の発展におけるバイアスに対処する重要な性質を強調している。
この論文は、バイアスを理解すること、バイアスを緩和すること、バイアスを説明することの3つの基本的な柱に基づいて構成されている。
オープンソースの原則に従って、アクセス可能なPythonパッケージとして、Bias On DemandとFairViewをリリースしました。
論文 参考訳（メタデータ） (2024-01-13T14:07:09Z) - Legal Requirements Analysis [2.3349787245442966]
法的な要件を解析し,その表現を例示する様々な手法について検討する。
機械分析可能な表現を規則から作成する代替案について述べる。
論文 参考訳（メタデータ） (2023-11-23T09:31:57Z) - SAILER: Structure-aware Pre-trained Language Model for Legal Case
Retrieval [75.05173891207214]
判例検索は知的法体系において中心的な役割を果たす。
既存の言語モデルの多くは、異なる構造間の長距離依存関係を理解するのが難しい。
本稿では, LEgal ケース検索のための構造対応プレトランザクショナル言語モデルを提案する。
論文 参考訳（メタデータ） (2023-04-22T10:47:01Z) - The right to audit and power asymmetries in algorithm auditing [68.8204255655161]
IC2S2 2021でSandvig氏が言及した課題と漸近について詳しく説明する。
また、Sandvigがカバーしていない非対称性の議論にも貢献する。
本稿では,これらの非対称性がアルゴリズム監査研究に与える影響について論じる。
論文 参考訳（メタデータ） (2023-02-16T13:57:41Z) - FAT Forensics: A Python Toolbox for Implementing and Deploying Fairness,
Accountability and Transparency Algorithms in Predictive Systems [69.24490096929709]
FAT ForensicsというオープンソースのPythonパッケージを開発しました。
予測アルゴリズムの重要な公平性、説明可能性、透明性を検査することができる。
私たちのツールボックスは、予測パイプラインのすべての要素を評価することができます。
論文 参考訳（メタデータ） (2022-09-08T13:25:02Z) - Adversarial Scrutiny of Evidentiary Statistical Software [32.962815960406196]
米国の刑事法体系はますます、人を有罪にし、投獄するためにソフトウェア出力に依存している。
本稿では,前向きな統計的ソフトウェアの有効性を検証するための監査フレームワークとして,頑健な敵検定を提案する。
論文 参考訳（メタデータ） (2022-06-19T02:08:42Z) - Metamorphic Testing and Debugging of Tax Preparation Software [2.185694185279913]
我々はケーススタディのためのオープンソース税作成ソフトウェアに焦点をあてる。
我々は,納税ソフトの正しさを体系的に検証するランダム化テストケース生成戦略を開発した。
論文 参考訳（メタデータ） (2022-05-10T16:10:10Z) - Transparency, Compliance, And Contestability When Code Is(n't) Law [91.85674537754346]
技術的なセキュリティ機構と法的なプロセスの両方が、一連の規範に従って誤った行動を扱うメカニズムとして機能する。
彼らは一般的な類似点を共有しているが、どう定義されているか、行動し、被験者に与える影響にも明確な違いがある。
本稿では,両機構の類似点と相違点を,誤動作の対処方法として考察する。
論文 参考訳（メタデータ） (2022-05-08T18:03:07Z) - Out of Context: A New Clue for Context Modeling of Aspect-based
Sentiment Analysis [54.735400754548635]
ABSAは、与えられた側面に関してレビューで表現された感情を予測することを目的としている。
与えられたアスペクトは、コンテキストモデリングプロセスにおけるコンテキストからの新たなヒントと見なされるべきである。
異なるバックボーンに基づいて複数のアスペクト認識コンテキストエンコーダを設計する。
論文 参考訳（メタデータ） (2021-06-21T02:26:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。