Pertimbangan Lanjutan untuk Sistem Berbasis Aturan
Jawaban langsung
Sistem Berbasis Aturan adalah sistem keputusan yang menerapkan aturan jika-maka yang eksplisit pada masukan untuk menghasilkan suatu keluaran. Pertimbangan lanjutan kurang berfokus pada “kecerdasan” dan lebih pada ketergantungan: masukan yang Anda berikan, urutan dan resolusi konflik aturan, cara Anda menangani ketidakpastian (seperti nilai yang hilang atau bising), dan bagaimana biaya serta kendala eksekusi memengaruhi apa yang sebenarnya dilakukan sistem.
Mekanisme dan definisi
Sistem berbasis aturan biasanya terdiri dari tiga bagian:
- Aturan: kondisi yang dipasangkan dengan tindakan (misalnya, “jika kondisi A dan B benar, maka lakukan tindakan X”). Kondisi dapat bersifat boolean (benar/salah) atau dapat mencakup perbandingan yang harus terdefinisi dengan baik.
- Masukan (fakta): nilai yang dievaluasi oleh aturan. Dalam konteks keuangan, masukan ini mungkin berupa harga, indikator, atau fitur turunan; dalam sistem umum, masukan bisa berupa pembacaan sensor atau atribut pengguna.
- Strategi inferensi/keputusan: metode yang memutuskan apa yang terjadi ketika beberapa aturan cocok.
Desain lanjutan mensyaratkan pemisahan mekanika yang stabil dari kondisi yang bervariasi. Mekanika yang stabil mencakup bagaimana sistem mengevaluasi kondisi, pemetaan deterministik dari serangkaian masukan ke keputusan pemicuan aturan, dan bagaimana sistem mencatat atau menjelaskan apa yang dilakukannya. Kondisi yang bervariasi mencakup lingkungan yang menghasilkan masukan, perilaku penyedia yang berubah, dan kendala operasional yang dapat mengubah hasil.
Model sederhananya adalah: masukan → evaluasi aturan → kumpulan aturan yang terpicu → resolusi konflik → tindakan/keluaran.
Bukti atau contoh (dengan asumsi)
Pertimbangkan pengklasifikasi berbasis aturan generik yang menghasilkan salah satu dari tiga label: rendah, sedang, tinggi. Asumsikan sistem menggunakan aturan berikut:
- Aturan 1: jika fitur F < 10, label = rendah
- Aturan 2: jika 10 ≤ F ≤ 20, label = sedang
- Aturan 3: jika F > 20, label = tinggi
Jika F selalu berupa angka, pemetaannya deterministik dan mudah diverifikasi. Tantangan lanjutan muncul ketika asumsi rusak:
- Kasus tepi: nilai hilang. Jika F adalah null, tidak ada perbandingan yang mungkin terdefinisi dengan baik. Anda harus memutuskan apakah akan (a) memperlakukan null sebagai kasus terpisah, (b) mengisi nilai (imputasi), atau (c) menolak masukan. Setiap pilihan mengubah perilaku.
- Kasus tepi: ambiguitas batas. Misalkan Anda mendefinisikan Aturan 1 sebagai F ≤ 10 dan Aturan 2 sebagai 10 < F ≤ 20. Jika logika perbandingan Anda diimplementasikan secara berbeda (atau menggunakan float dengan pembulatan), nilai yang mendekati 10 dapat berpindah antar aturan.
- Kasus tepi: aturan yang tumpang tindih. Jika Anda menambahkan aturan sedang kedua berdasarkan fitur lain, Anda mungkin mendapatkan dua aturan sedang yang terpicu. Jika tindakannya sedikit berbeda, resolusi konflik menjadi material.
- Contoh ketergantungan pada biaya/kendala eksekusi. Bahkan ketika “keputusan” sudah benar menurut aturan, sistem mungkin tetap berperilaku berbeda dalam praktik jika ada latensi, batas throughput, atau langkah pemrosesan tambahan yang dapat menolak atau menunda tindakan.
Contoh-contoh ini menunjukkan mengapa pertimbangan lanjutan mensyaratkan asumsi yang eksplisit: jenis masukan apa yang diizinkan, bagaimana perbandingan memperlakukan batas, apa yang terjadi dengan nilai yang hilang, dan bagaimana sistem memilih di antara kecocokan yang saling bertentangan.
Keterbatasan dan risiko
Setidaknya satu keterbatasan material umum terjadi di semua sistem berbasis aturan: sistem hanya seandal spesifikasi dan representasi masukannya.
Risiko utama meliputi:
- Aturan yang saling bertentangan atau tumpang tindih: Jika dua aturan cocok dengan masukan yang sama tetapi menentukan tindakan yang berbeda, hasilnya bergantung pada strategi keputusan (urutan prioritas, kecocokan pertama, agregasi semua kecocokan, dll.). Tanpa strategi yang jelas, hasil bisa menjadi tidak konsisten.
- Kegagalan diam-diam saat masukan tidak terdefinisi: Masukan yang hilang, di luar rentang, atau bertipe salah dapat menyebabkan kondisi dievaluasi dengan cara yang tidak diinginkan.
- Overfitting pada pola masa lalu: Aturan dapat menyandikan hubungan yang hanya berlaku dalam kondisi historis tertentu. Hubungan historis tidak menjamin hasil masa depan karena distribusi masukan dan lingkungan dapat berubah.
- Sensitivitas terhadap ambang batas dan diskritisasi: Perubahan kecil pada ambang batas, aturan pembulatan, atau konstruksi fitur dapat mengubah aturan mana yang terpicu.
- Asumsi status dan waktu: Banyak sistem memerlukan gagasan tentang status (apa yang terjadi sebelumnya) atau jendela waktu (periode yang diwakili oleh masukan). Jika ini ditangani secara tidak konsisten, sistem dapat menghasilkan keluaran yang terlihat benar tetapi sebenarnya salah.
Singkatnya: bahkan ketika mekanikanya deterministik, perilaku sistem secara keseluruhan dapat bervariasi karena ketergantungannya (masukan, strategi keputusan, dan kendala operasional) bervariasi.
Verifikasi dan pertanyaan berikutnya
Verifikasi independen terutama tentang ketertelusuran dan desain pengujian. Pendekatan verifikasi praktis untuk sistem berbasis aturan meliputi:
- Bangun kumpulan uji masukan yang mencakup kasus normal dan kasus batas (nilai minimum/maksimum, ambang batas yang tepat, dan nilai yang mendekati ambang batas).
- Dokumentasikan asumsi untuk setiap perbandingan dan untuk bagaimana masukan yang hilang atau tidak valid ditangani.
- Telusuri setiap keluaran kembali ke aturan yang terpicu. Sistem harus mampu menjelaskan kondisi mana yang benar dan mengapa tindakan tertentu dipilih.
- Evaluasi dengan model biaya dan kendala yang sama seperti saat penerapan, karena kendala eksekusi dan langkah pemrosesan dapat mengubah hasil nyata bahkan ketika logika aturan sesuai dengan spesifikasi.
Pertanyaan berikutnya yang berguna untuk diajukan adalah: “Apa strategi keputusan yang tepat ketika beberapa aturan cocok, dan bagaimana sistem berperilaku dengan masukan yang hilang atau ambigu?” Menjawab pertanyaan itu memperjelas sebagian besar mode kegagalan lanjutan.