AIと記号論理の出会いAIと記号論理の出会い予測を。論理と機械学習を組み合わせて、もっと良い人工知能記号論理と機械学習をつなぐことAIシステムに時間論理を統合する新しい方法。2025-08-08T02:53:12+00:00 ― 1 分で読む
CPS要件マイニング技術CPS要件マイニング技術。データ駆動の要件抽出で安全性を向上させる機械学習サイバーフィジカルシステムのマイニング要件システムの動作データから安全要件を導き出す方法。2025-08-08T01:57:54+00:00 ― 1 分で読む