SPESIKASI 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 tujuan. 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 spesikasi dan verikasi dapat dilakukan dengan cara
yang sama berapapun jumlah agen yang ada di dalam sistem. Permasalahan yang
mungkin muncul dengan cara pandang ini adalah tidak semua SMA bersifat homogen,
tidak semua agen mempunyai kapabilitas yang sama. Pada penelitian ini diusulkan
sebuah solusi sederhana yaitu dengan menambahkan prekondisi pada aksi pada
spesikasi 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.
Penulis: Cecilia E Nugraheni
Kode Jurnal: jptindustridd110016
