ISO/IEC 24029-2:2023 人工知能 (AI) — ニューラル ネットワークの堅牢性の評価 — Part 2: 形式的手法を使用するための方法論

ISO/IEC 24029-2:2023の概要

ISO/IEC24029-2:2023の規格概要

閲覧 情報

Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods

このドキュメントでは、ニューラル ネットワークの堅牢性特性を評価するための形式的手法の使用方法を提供します。

この文書は、堅牢性特性を証明するための形式的手法を選択、適用、および管理する方法に焦点を当てています。

※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。

ISO/IEC24029-2:2023 国際規格 情報

ISO 国際規格番号
ISO/IEC 24029-2:2023
ISO 国際規格名称
Artificial intelligence (AI) — Assessment of the robustness of neural networks — Part 2: Methodology for the use of formal methods
ISO 規格名称 日本語訳
人工知能 (AI) — ニューラル ネットワークの堅牢性の評価 — Part 2: 形式的手法を使用するための方法論
発行日 (Publication date)
2023-08
更新日:確認日 (Update date,Date confirmed)
2023-08-01
状態 (Status)
公開中,公開済み (Published)
改訂 (Edition)
1
PDF ページ数 (Number of pages)
23
TC(専門委員会):Technical Committee
ISO/IEC JTC 1/SC 42 (Artificial intelligence)
ICS:International Classification for Standards(国際規格分類)
35.020:情報技術(IT)一般 (Information technology (IT) in general)
ISO 対応 JIS 規格
ICS 対応 JIS 規格
ICS > 35 > 35.020

ISO/IEC 24029-2:2023 関連規格 履歴一覧

ISO/IEC24029-2:2023 対応 JIS 規格一覧

ISO/IEC24029-2:2023 ICS 対応 JIS 規格

ICS > 35:情報技術.事務機械  > 35.020:情報技術(IT)一般

正誤表/修正 一覧 (Corrigenda/Amendments)

改訂 一覧 (Revised)

SDGs 情報

この規格は、以下の持続可能な開発目標 (Sustainable Development Goal)に貢献します。