2 分で読了
1 views

責任意識を組み込んだ自動運転の安全アーキテクチャの形式モデル化

(Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement)

さらに深い洞察を得る

AI戦略の専門知識を身につけ、競争優位性を構築しませんか?

AIBR プレミアム
年間たったの9,800円で
“AIに詳しい人”として
一目置かれる存在に!

プレミア会員になって、山ほどあるAI論文の中から効率よく大事な情報を手に入れ、まわりと圧倒的な差をつけませんか?

詳細を見る
【実践型】
生成AI活用キャンプ
【文部科学省認可】
満足度100%の生成AI講座
3ヶ月後には、
あなたも生成AIマスター!

「学ぶ」だけではなく「使える」ように。
経営者からも圧倒的な人気を誇るBBT大学の講座では、3ヶ月間質問し放題!誰1人置いていかずに寄り添います。

詳細を見る

田中専務

拓海先生、お忙しいところすみません。最近、部下から自動運転の安全について論文を読めと言われまして、正直何から手を付ければよいか分かりません。特にAIの黒箱制御が混ざると現場に落とし込めるのか不安でして、投資対効果の観点で判断したいのです。

AIメンター拓海

素晴らしい着眼点ですね!大丈夫、投資対効果と現場導入の不安は多くの経営者が抱く重要な疑問です。手短に要点を三つで整理しますと、まずは安全ルールの定義、次にそれを扱う設計手法、最後に黒箱AIを安全に使うためのアーキテクチャです。順に、噛み砕いてお話ししますよ。

田中専務

なるほど、まずは安全ルールということですね。具体的にはどんなルールを作るのですか。うちの工場でいうと安全手順書のようなものでしょうか。

AIメンター拓海

素晴らしい着眼点ですね!ここでのルールはResponsibility-Sensitive Safety (RSS)(Responsibility-Sensitive Safety、責任に配慮した安全)という考え方に近いです。RSSは交通参加者が守るべき最低限の振る舞いを定義し、衝突を避けるための線引きを行うものです。工場の手順書でいう『最低限守るべき安全距離や手順』を道路に当てはめたものと考えれば分かりやすいですよ。

田中専務

ふむ、要するに『守るべき最低ライン』を決めるということですね。で、それをどうやってAIが守るのかが問題なのではないですか。AIは学習で動くと聞くと現場では怖いのです。

AIメンター拓海

本当に良い質問ですよ!その不安を和らげるために設計されたのがSimplex architecture(Simplex architecture、保険的安全アーキテクチャ)です。Simplexは高性能だが保証が難しい黒箱制御と、証明可能で確実な保守的制御を組み合わせる方式です。イメージは高性能エンジンの前に安全のためのブレーキシステムを置くようなもので、両方の長所を活かすことができますよ。

田中専務

なるほど、保険的な部分で安全を担保するのですね。では設計段階で安全性を『証明』するという話が出てきますが、これはどうやって実現するのですか。うちのIT部門では形式手法という言葉が出てくると反応が鈍くなります。

AIメンター拓海

素晴らしい着眼点です!形式手法の一つにEvent-B(Event-B、形式手法)という方法があります。Event-Bはシステムの仕様を段階的に詳細化していく

監修者

阪上雅昭(SAKAGAMI Masa-aki)
京都大学 人間・環境学研究科 名誉教授

論文研究シリーズ
前の記事
医療分野の汎用AIアバター
(A General-purpose AI Avatar in Healthcare)
次の記事
PSO-RDVを用いたANN予測の改善
(Improved Forecasting Using a PSO-RDV Framework to Enhance Artificial Neural Network)
関連記事
低メモリ・小モデルで実用的なサリエンシー検出
(Light-weighted Saliency Detection with Distinctively Lower Memory Cost and Model Size)
表現型可塑性とボールドウィン効果が進化速度に与える影響
(Phenotypic Plasticity, the Baldwin Effect, and the Speeding up of Evolution)
再電離時代における銀河光度関数
(The Galaxy Luminosity Function during the Reionization Epoch)
拡散モデルによるデータ拡張でAIの公平性を高める
(Data Augmentation via Diffusion Model to Enhance AI Fairness)
BA-Net: Dense Bundle Adjustment を用いた密なカメラ姿勢と深度復元
(BA-NET: DENSE BUNDLE ADJUSTMENT NETWORKS)
シミュレーションと拡散モデルの閉ループによるマルチタスクキャラクター制御
(CLOSD: CLOSING THE LOOP BETWEEN SIMULATION AND DIFFUSION FOR MULTI-TASK CHARACTER CONTROL)
この記事をシェア

有益な情報を同僚や仲間と共有しませんか?

AI技術革新 - 人気記事
ブラックホールと量子機械学習の対応
(Black hole/quantum machine learning correspondence)
生成AI検索における敏感なユーザークエリの分類と分析
(Taxonomy and Analysis of Sensitive User Queries in Generative AI Search System)
DiReDi:AIoTアプリケーションのための蒸留と逆蒸留
(DiReDi: Distillation and Reverse Distillation for AIoT Applications)

PCも苦手だった私が

“AIに詳しい人“
として一目置かれる存在に!
  • AIBRプレミアム
  • 実践型生成AI活用キャンプ
あなたにオススメのカテゴリ
論文研究
さらに深い洞察を得る

AI戦略の専門知識を身につけ、競争優位性を構築しませんか?

AIBR プレミアム
年間たったの9,800円で
“AIに詳しい人”として一目置かれる存在に!

プレミア会員になって、山ほどあるAI論文の中から効率よく大事な情報を手に入れ、まわりと圧倒的な差をつけませんか?

詳細を見る
【実践型】
生成AI活用キャンプ
【文部科学省認可】
満足度100%の生成AI講座
3ヶ月後には、あなたも生成AIマスター!

「学ぶ」だけではなく「使える」ように。
経営者からも圧倒的な人気を誇るBBT大学の講座では、3ヶ月間質問し放題!誰1人置いていかずに寄り添います。

詳細を見る

AI Benchmark Researchをもっと見る

今すぐ購読し、続きを読んで、すべてのアーカイブにアクセスしましょう。

続きを読む