Spesifikasi Sistem Multi Agen Berparameter Secara Formal dengan TLA+

Abstract

Sebuah Sistem Multi Agen (SMA) adalah kumpulan agen cerdas yang berinteraksi satu dengan yang lain dan bekerja secara bersama-sama untuk mencapai suatu tu- juan. Pada penelitian SMA dipandang sebagai suatu sistem berparameter yaitu sistem yang terdiri atas beberapa proses sejenis yang banyaknya ditentukan oleh parameter masukan. Motivasi dari penelitian ini adalah dengan memandang SMA sebagai suatu sistem berparameter, maka proses spesi kasi dan veri kasi dapat di- lakukan dengan cara yang sama berapapun jumlah agen yang ada di dalam sistem. Permasalahan yang mungkin muncul dengan cara pandang ini adalah tidak se- mua SMA bersifat homogen, tidak semua agen mempunyai kapabilitas yang sama. Pada penelitian ini diusulkan sebuah solusi sederhana yaitu dengan menambahkan prekondisi pada aksi pada spesi kasi SMA yang berbasis Temporal Logic of Actions (TLA). Hal ini untuk menjamin hanya agen tertentu yang dapat mengaktifkan aksi tertentu. Pendekatan ini telah berhasil diterapkan pada SMA homogen maupun non-homogen.