Epistemik Belirsizlik Altındaki Otonom Sistemler İçin Kısıt Tabanlı Dinamik Karar Verme, Güvenlik Kontrolü Ve Olay Kaydı Yöntemi (Özden-Rmm)

Epistemik Belirsizlik Altındaki Otonom Sistemler İçin Kısıt Tabanlı Dinamik Karar Verme, Güvenlik Kontrolü ve Olay Kaydı Yöntemi (ÖZDEN-RMM) Buluş, epistemik belirsizlik altındaki otonom sistemlerde güvenlik odaklı karar vermeyi kısıt tabanlı bir risk yönetim modülü ve olay kaydı altyapısı ile birleştiren bir yöntem ve sistemle ilgilidir. ÖZDEN-RMM modülü, algı katmanından gelen verileri kullanarak fiziksel olarak mümkün eylemler kümesini tanımlar ve her aday eylem için hedef profili indeksi T(u), risk şiddet indeksi R(u), algı güvenlik skoru P(u) ve güvenlik marjı katsayısı S(u) parametrelerini hesaplar. Bu parametrelerden türetilen normalize güvenlik skoru C(u) ile hard güvenlik kısıtları birlikte kullanılarak fiziksel eylemler kümesi U_fiziksel?den hard kısıtları ihlal etmeyen izinli eylemler kümesi U_izinli ve bu küme içinden güvenlik eşiği C_crit?i sağlayan güvenli eylemler kümesi U_güvenli elde edilir. U_güvenli kümesi boş değilken nihai eylem yalnızca bu küme içinden seçilir; U_güvenli kümesi boş ve U_izinli kümesi boş değilken, her eylem için tanımlanan beklenen hasar fonksiyonu D(u) kullanılarak U_izinli kümesi üzerinde minimum hasar değerine karşılık gelen eylem seçilir. Buluş ayrıca, sensör verilerini, araç veya platform dinamiği parametrelerini ve ÖZDEN-RMM?ye özgü risk alanı parametrelerini bir olay kaydı altyapısı üzerinden en az bir olay kaydedici bellek modülüne ve/veya haricî olay kaydedici sisteme dairesel tampon ve tetikleme kilidi yapısı ile zaman damgalı ve bütünlüğü doğrulanabilir şekilde aktaran bir yapı içerir. Algoritmik kararlar makine öğrenmesi bileşenleri ile desteklenebilmekte, ancak hard kısıt ve güvenlik eşiği katmanları ile deterministik olarak sınırlandırılmakta ve tüm karar süreci, tanımlı bir kayıt formatı ile denetlenebilir hâle getirilmektedir. Böylece otonom sistemlerin, kara aracı, insansız hava aracı, insansız deniz aracı ve endüstriyel robot gibi farklı uygulama alanlarında belirsiz ve riskli senaryolarda deterministik, denetlenebilir ve formel olarak doğrulanabilir bir güvenlik koridoru içinde işletilmesi ve kaçınılmaz kazalarda kullanılan teknik risk modeline göre en az hasarlı eylemin seçiminin objektif olarak incelenmesi mümkün olur. TR 2025 018363 A2