論文の概要: Specification, Validation and Verification of Social, Legal, Ethical,
Empathetic and Cultural Requirements for Autonomous Agents
- arxiv url: http://arxiv.org/abs/2307.03697v1
- Date: Fri, 7 Jul 2023 16:13:43 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-23 18:04:23.663793
- Title: Specification, Validation and Verification of Social, Legal, Ethical,
Empathetic and Cultural Requirements for Autonomous Agents
- Title（参考訳）: 自律エージェントの社会的・法的・倫理的・共感的・文化的要件の特定・検証・検証
- Authors: Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson,
Pedro Ribeiro, and Beverley Townsend
- Abstract要約: 我々は、自律エージェントのための社会的、法的、倫理的、共感的、文化的ルールの正式な仕様、検証、検証のための枠組みを導入する。
本稿では,消防士UAVと補助装具ロボットの2つの自律型エージェントの枠組みの適用性を示す。
- 参考スコア（独自算出の注目度）: 4.673587416936401
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Autonomous agents are increasingly being proposed for use in healthcare,
assistive care, education, and other applications governed by complex
human-centric norms. To ensure compliance with these norms, the rules they
induce need to be unambiguously defined, checked for consistency, and used to
verify the agent. In this paper, we introduce a framework for formal
specification, validation and verification of social, legal, ethical,
empathetic and cultural (SLEEC) rules for autonomous agents. Our framework
comprises: (i) a language for specifying SLEEC rules and rule defeaters (that
is, circumstances in which a rule does not apply or an alternative form of the
rule is required); (ii) a formal semantics (defined in the process algebra
tock-CSP) for the language; and (iii) methods for detecting conflicts and
redundancy within a set of rules, and for verifying the compliance of an
autonomous agent with such rules. We show the applicability of our framework
for two autonomous agents from different domains: a firefighter UAV, and an
assistive-dressing robot.
- Abstract（参考訳）: 自律エージェントは、医療、補助医療、教育、および複雑な人間中心の規範によって制御される他のアプリケーションでの使用のためにますます提案されている。
これらの規範に準拠することを保証するためには、それらのルールを曖昧に定義し、一貫性を確認し、エージェントを検証する必要がある。
本稿では,自律エージェントのための社会的,法的,倫理的,共感的,文化的(sleec)ルールの形式的仕様,検証,検証の枠組みを提案する。
私たちのフレームワークは
i) SLEEC規則及びルール敗者(すなわち規則が適用されない状況又は規則の代替形態が要求される状況)を指定するための言語
(ii)言語に対する形式的意味論(プロセス代数 tock-CSP で定義される)
三 一連の規則の範囲内で紛争及び冗長性を検知し、かつ、これらの規則による自律エージェントの遵守を検証する方法。
本稿では,消防士UAVと補助装具ロボットの2つの自律型エージェントの枠組みの適用性を示す。
関連論文リスト
- RegNLP in Action: Facilitating Compliance Through Automated Information Retrieval and Answer Generation [51.998738311700095]
その長さ、複雑さ、頻繁な更新を特徴とする規制文書は解釈が難しい。
RegNLPは、規制規則と義務のアクセスと解釈を簡素化することを目的とした、多分野のサブフィールドである。
ObliQAデータセットには、Abu Dhabi Global Markets (ADGM) からの27,869の質問が含まれている。
論文 参考訳（メタデータ） (2024-09-09T14:44:19Z) - The Artificial Intelligence Act: critical overview [0.0]
この記事では、最近承認された人工知能法を概観する。
これはまず、2024/1689年のEU(Regulation)の主要な構造、目的、アプローチを示すことから始まる。
テキストは、全体的なフレームワークが適切かつバランスが取れたとしても、アプローチは非常に複雑であり、それ自体の目的を損なうリスクがある、と結論付けている。
論文 参考訳（メタデータ） (2024-08-30T21:38:02Z) - An Open Knowledge Graph-Based Approach for Mapping Concepts and Requirements between the EU AI Act and International Standards [1.9142148274342772]
EUのAI法は、規制の遵守に関する技術的要件に従って、そのような組織の焦点をシフトする。
本稿では、規則や標準における規範文に関連する用語と要件をマッピングするための、シンプルで繰り返し可能なメカニズムを提供する。
論文 参考訳（メタデータ） (2024-08-21T18:21:09Z) - Normative Requirements Operationalization with Large Language Models [3.456725053685842]
規範的な非機能要件は、社会的、法的、倫理的、共感的、文化的規範の違反を避けるために、システムが観察しなければならない制約を規定する。
近年の研究では、規範的要件を特定するためにドメイン固有言語を使用してこの問題に対処している。
本稿では,システム機能の抽象表現間の意味的関係を抽出するために,大規模言語モデルを用いた補完的アプローチを提案する。
論文 参考訳（メタデータ） (2024-04-18T17:01:34Z) - SoFA: Shielded On-the-fly Alignment via Priority Rule Following [90.32819418613407]
本稿では,各ダイアログにおけるルールを主制御機構として定義する,新たなアライメントパラダイムである優先ルールを提案する。
そこで本研究では,厳密な規則統合と固着性を確保するために,シミュレーションから優先信号に従う半自動蒸留手法であるプライオリティディスティルを提案する。
論文 参考訳（メタデータ） (2024-02-27T09:52:27Z) - Towards an Enforceable GDPR Specification [49.1574468325115]
プライバシ・バイ・デザイン(PbD)は、EUなどの現代的なプライバシー規制によって規定されている。
PbDを実現する1つの新しい技術は強制(RE)である
法律規定の正式な仕様を作成するための一連の要件と反復的な方法論を提示する。
論文 参考訳（メタデータ） (2024-02-27T09:38:51Z) - Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version) [8.425874385897831]
SLEEC(社会的、法的、倫理的、共感的、文化的)ルールは、AIベースの自律システムが従うべき規則の定式化、検証、実施を促進することを目的としている。
AIシステムで効果的な使用を可能にするためには、これらのルールを自動推論をサポートする形式言語に体系的に翻訳する必要がある。
本研究ではまず,SLEEC規則の古典論理への翻訳を正当化するSLEEC規則パターンの言語学的解析を行う。
論文 参考訳（メタデータ） (2023-12-15T11:23:49Z) - NormSAGE: Multi-Lingual Multi-Cultural Norm Discovery from Conversations
On-the-Fly [61.77957329364812]
本稿では,対話型多言語・多文化規範発見の新たな課題に対処する枠組みを提案する。
NormSAGEはノルム発見タスクと会話コンテキストを表す有向質問を通じてノルムに関する知識を導き出す。
さらに、発見される規範が正しいことを保証する自己検証メカニズムにより、言語モデル幻覚のリスクに対処する。
論文 参考訳（メタデータ） (2022-10-16T18:30:05Z) - Bridging between LegalRuleML and TPTP for Automated Normative Reasoning
(extended version) [77.34726150561087]
LegalRuleMLは、標準ルールのモデリングと交換のためのXMLベースの表現フレームワークである。
TPTP入力および出力フォーマットは、自動推論システムとのインタラクションのための汎用標準である。
本稿では,TPTP形式に基づく論理的論理的規範的推論言語を定義することにより,この2つのコミュニティ間の橋渡しを行う。
論文 参考訳（メタデータ） (2022-09-12T08:42:34Z) - Transparency, Compliance, And Contestability When Code Is(n't) Law [91.85674537754346]
技術的なセキュリティ機構と法的なプロセスの両方が、一連の規範に従って誤った行動を扱うメカニズムとして機能する。
彼らは一般的な類似点を共有しているが、どう定義されているか、行動し、被験者に与える影響にも明確な違いがある。
本稿では,両機構の類似点と相違点を,誤動作の対処方法として考察する。
論文 参考訳（メタデータ） (2022-05-08T18:03:07Z) - Norm Identification through Plan Recognition [22.387008072671005]
社会的なルールは、マルチエージェント社会に行動的安定性の度合いを提供することを目的としている。
規範的システムの多くの実装は、以下の仮定の様々な組み合わせを仮定する。
解析に基づく計画認識と階層型タスクネットワーク(HTN)計画機構を組み合わせたノルム識別機構を開発する。
論文 参考訳（メタデータ） (2020-10-06T11:18:52Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。