Datalog - 亜美と智也のAI論文解説 https://rag-lover.com 最新AI論文の知見を分かりやすく解説! Sat, 28 Feb 2026 17:47:35 +0000 ja hourly 1 https://wordpress.org/?v=7.1.4 https://rag-lover.com/wp-content/uploads/2024/03/cropped-1girl-young-woman-with-semi-long-caramel-brown-hair-wearing-a-bright-colored-o-s-1-32x32.png Datalog - 亜美と智也のAI論文解説 https://rag-lover.com 32 32 AIエージェントの「勝手な行動」を許さない!鉄壁のルール守護者PCAS https://rag-lover.com/2026/02/19/ai%e3%82%a8%e3%83%bc%e3%82%b8%e3%82%a7%e3%83%b3%e3%83%88%e3%81%ae%e3%80%8c%e5%8b%9d%e6%89%8b%e3%81%aa%e8%a1%8c%e5%8b%95%e3%80%8d%e3%82%92%e8%a8%b1%e3%81%95%e3%81%aa%e3%81%84%ef%bc%81%e9%89%84%e5%a3%81/?utm_source=rss&utm_medium=rss&utm_campaign=ai%25e3%2582%25a8%25e3%2583%25bc%25e3%2582%25b8%25e3%2582%25a7%25e3%2583%25b3%25e3%2583%2588%25e3%2581%25ae%25e3%2580%258c%25e5%258b%259d%25e6%2589%258b%25e3%2581%25aa%25e8%25a1%258c%25e5%258b%2595%25e3%2580%258d%25e3%2582%2592%25e8%25a8%25b1%25e3%2581%2595%25e3%2581%25aa%25e3%2581%2584%25ef%25bc%2581%25e9%2589%2584%25e5%25a3%2581 https://rag-lover.com/2026/02/19/ai%e3%82%a8%e3%83%bc%e3%82%b8%e3%82%a7%e3%83%b3%e3%83%88%e3%81%ae%e3%80%8c%e5%8b%9d%e6%89%8b%e3%81%aa%e8%a1%8c%e5%8b%95%e3%80%8d%e3%82%92%e8%a8%b1%e3%81%95%e3%81%aa%e3%81%84%ef%bc%81%e9%89%84%e5%a3%81/#respond Thu, 19 Feb 2026 02:37:31 +0000 https://rag-lover.com/2026/02/19/ai%e3%82%a8%e3%83%bc%e3%82%b8%e3%82%a7%e3%83%b3%e3%83%88%e3%81%ae%e3%80%8c%e5%8b%9d%e6%89%8b%e3%81%aa%e8%a1%8c%e5%8b%95%e3%80%8d%e3%82%92%e8%a8%b1%e3%81%95%e3%81%aa%e3%81%84%ef%bc%81%e9%89%84%e5%a3%81/ 解説 ねえねえ智也くん!この『Policy Compiler for …

The post AIエージェントの「勝手な行動」を許さない!鉄壁のルール守護者PCAS first appeared on 亜美と智也のAI論文解説.

]]>

解説

AMI HAPPY

ねえねえ智也くん!この『Policy Compiler for Secure Agentic Systems』っていう論文、タイトルが強そうだけど何のことなの?

TOMOYA NEUTRAL

ああ、それはAIエージェントに「絶対にルールを守らせる」ための仕組みについての研究だよ。最近はAIが勝手にメールを送ったり、データベースを操作したりするけど、それをどう制御するかが問題なんだ。

AMI SURPRISED

えっ、AIに「悪いことはしちゃダメだよ」ってプロンプトで言っておけばいいんじゃないの?

TOMOYA NEUTRAL

それが甘いんだ。プロンプトでの指示は、人間でいう「口約束」みたいなもので、AIが勘違いしたり、悪意のある入力で騙されたりすると簡単に破られちゃうんだよ。これをプロンプトインジェクションって言うんだけどね。

AMI HAPPY

口約束かぁ……。確かに、私も「明日からダイエットする」って言ってすぐお菓子食べちゃうもんね!

TOMOYA NEUTRAL

……君の意志の弱さと一緒にするのはどうかと思うけど、要するに「AIの善意」に頼るんじゃなくて、システム的に「物理的にできない」ようにしようっていうのがこの論文の趣旨なんだ。

AMI SURPRISED

なるほど!で、どうやって「物理的に」止めるの?

TOMOYA NEUTRAL

PCASっていうシステムを使うんだ。特徴は、エージェントの行動を「依存関係グラフ」として記録すること。誰がどの情報を見て、誰の許可を得てその行動をしようとしているのか、っていう因果関係を全部グラフにするんだよ。

AMI SURPRISED

グラフ?折れ線グラフとか?

TOMOYA NEUTRAL

いや、点と線でつながったネットワーク図みたいなものだね。例えば「上司の承認を得てから送金する」というルールがある場合、単に「承認」という言葉が履歴にあるかじゃなくて、その承認が「今回の送金依頼」に対して正しく行われたものかをグラフで辿って確認するんだ。

AMI NEUTRAL

へぇー、履歴をただ見るだけじゃダメなの?

TOMOYA NEUTRAL

ダメなんだ。複数のエージェントがバラバラに動くシステムだと、履歴が混ざって因果関係がわからなくなるからね。PCASは「Datalog」っていう論理プログラミング言語を使って、そのグラフをチェックするルールを書くんだよ。

AMI NEUTRAL

データログ……?なんか難しそうだけど、それが「リファレンスモニタ」っていう見張り番になるの?

TOMOYA NEUTRAL

その通り。エージェントが何かアクションを起こそうとするたびに、リファレンスモニタが「その行動はルール違反じゃないか?」をグラフと照らし合わせて判定する。違反なら実行前に強制終了させるんだ。AIの考えとは無関係にね。

AMI HAPPY

すごい!それってどれくらい効果があるの?

TOMOYA NEUTRAL

実験では、カスタマーサービスのタスクでポリシー遵守率が48%から93%まで上がったらしい。しかも、PCASを導入した状態でルール違反が起きたケースはゼロだったんだって。

AMI SURPRISED

93%!ほぼ完璧じゃん!残りの7%は何なの?

TOMOYA NEUTRAL

それは、リファレンスモニタが違反を止めた結果、タスク自体が完了できなかったケースだね。でも、間違ったことをさせるよりは、止める方が安全だっていう考え方なんだ。

AMI HAPPY

確かに、勝手に変なことされるよりは「できません!」って言われたほうが安心だね。これがあれば、AIに何でも任せられるようになるのかな?

TOMOYA NEUTRAL

将来性は高いよ。特に医療や金融みたいに、絶対にミスが許されない分野でマルチエージェントシステムを使うには必須の技術になるだろうね。ただ、課題もあるんだ。

AMI SURPRISED

課題?あんなにすごいのに?

TOMOYA NEUTRAL

まず、ポリシーをDatalogで書くのが人間にとって少し難しいこと。それから、グラフが巨大になるとチェックに時間がかかる可能性がある。今後はもっと効率的に、かつ簡単にルールを書けるようにするのが研究の方向性だね。

AMI HAPPY

なるほどねー。じゃあ、私の「お菓子禁止ポリシー」もPCASで管理してもらおうかな!冷蔵庫を開けようとしたら、智也くんがリファレンスモニタとしてタックルして止めてね!

TOMOYA ANGRY

なんで僕が物理的に止めなきゃいけないんだよ。自分で自分をコンパイルしてルール守れよ。

要点

  • LLMエージェントにプロンプトで指示を与えるだけでは、ポリシー(規則)を確実に守らせることは難しい。
  • PCAS(Policy Compiler for Agentic Systems)は、エージェントの行動を「依存関係グラフ」としてモデル化し、因果関係を正確に追跡する。
  • Datalogをベースにした宣言型言語でポリシーを記述し、実行前に「リファレンスモニタ」が違反を検知して強制的にブロックする。
  • 既存のエージェントシステムを大幅に改造することなく導入でき、カスタマーサービス等のタスクでポリシー遵守率を48%から93%に向上させた。
  • プロンプトインジェクション攻撃に対しても、モデルの推論に依存しない決定論的な防御を可能にする。

The post AIエージェントの「勝手な行動」を許さない!鉄壁のルール守護者PCAS first appeared on 亜美と智也のAI論文解説.

]]>
https://rag-lover.com/2026/02/19/ai%e3%82%a8%e3%83%bc%e3%82%b8%e3%82%a7%e3%83%b3%e3%83%88%e3%81%ae%e3%80%8c%e5%8b%9d%e6%89%8b%e3%81%aa%e8%a1%8c%e5%8b%95%e3%80%8d%e3%82%92%e8%a8%b1%e3%81%95%e3%81%aa%e3%81%84%ef%bc%81%e9%89%84%e5%a3%81/feed/ 0