Sedikit tentang Beberapa Logika Kecerdasan Buatan
19 Jan 2026 by yoxx
Kemarin tangaal 14 Januari, kita memperingati hari logika sedunia
Hari Logika adalah momen untuk mengingat bahwa di balik setiap teknologi cerdas, ada fondasi berpikir yang terstruktur.
Dalam dunia kecerdasan buatan, logika bukan hanya soal benar atau salah, tetapi juga cara mesin menghadapi ketidakpastian, membuat keputusan, dan memahami dunia nyata. Dari logika klasik hingga logika kuantum, setiap jenis logika memberi warna pada perkembangan AI modern.
- Logika Klasik (Boolean, Predicate, Modal) menjadi dasar teori.
- Logika Non-klasik (Fuzzy, Probabilistik, Bayesian, Quantum) umum dipakai di AI modern.
- Logika Aksi & agen (Dynamic, Situation, Event, BDI) umum penting untuk robotika.
- Logika Pengetahuan (Description, Epistemic, Knowledge Graph) umum dipakai di Semantic Web & AI reasoning.
Ini ada beberapa logika yang sering dipakai dalam AI
1.Boolean (Biner): Logika klasik benar/salah. Algoritma pencarian dengan kondisi if-else.
2.Fuzzy Logic : Nilai kebenaran tidak mutlak antara 0–1, AC pintar menilai “cukup panas”, maka kipas medium jalan.
3. Multi-Valued Logic : Lebih dari dua nilai kebenaran. Lampu: mati, redup, terang.
4. Probabilistic Logic : Kesimpulan berbasis peluang, misalnya prediksi cuaca: hujan 70%
5. Bayesian Networks : Probabilistik dengan jaringan sebab-akibat. Diagnosis medis berbasis probabilitas
6. Paraconsistent Logic : Tetap berfungsi meski ada kontradiksi. Sistem hukum dengan aturan bertentangan.
7. Modal Logic : Menilai kemungkinan dan keharusan. : “Robot mungkin gagal.”
8. Intuitionistic Logic : Menekankan pembuktian konstruktif. Pembuktian konstruktif misal Pembuktian teorema dalam matematika.
9. First-Order Predicate Logic : Variabel & kuantor. “Semua x manusia → x fana.”
10. Higher-Order Logic: Kuantifikasi atas fungsi/predikat. Teori matematika tingkat lanjut.
11. Default Logic : Asumsi umum kecuali ada bukti lain. “Burung biasanya terbang.”
12. Non-monotonic Logic : Kesimpulan bisa berubah dengan info baru. Tambahan info: “Penguin tidak bisa terbang.”
13. Temporal Logic : Memperhatikan dimensi waktu. “Besok robot isi baterai.”
14. Deontic Logic : Logika kewajiban dan larangan. “Robot harus patuh hukum Asimov.”
15. Epistemic Logic : Tentang pengetahuan dan keyakinan.“Robot tahu pintu terkunci.”
16. Dynamic Logic: Logika untuk aksi dan program. Verifikasi software.
17. Description Logic : Representasi pengetahuan formal. Ontologi Semantic Web.
18. Situation Calculus : Representasi aksi & keadaan. Robot membuka pintu, maka ruangan terang.
19. Event Calculus : Perubahan keadaan akibat peristiwa. Sensor mendeteksi alarm.
20. Constraint Logic : Logika dengan batasan (constraint). Penjadwalan tugas dengan resource terbatas.
21. Linear Logic : Logika sumber daya sekali pakai. Token blockchain.
22. Game Logic : Logika interaksi strategis. AI dalam game catur.
23. Quantum Logic : Logika berbasis prinsip kuantum. Komputasi kuantum: superposisi & entanglement.
24. Circumscription : Membatasi asumsi dunia. Closed World Assumption dalam database.
25. Frame Logic : Representasi objek & relasi. Knowledge base untuk sistem pakar.
26. Preferential Logic : Memilih kesimpulan paling masuk akal. Sistem rekomendasi film.
27. Argumentation Logic : Logika debat otomatis. Chatbot diskusi.
28. Defeasible Logic : Kesimpulan bisa dibatalkan oleh bukti baru. “Burung terbang” → bukti baru: “Penguin tidak.”
29. Belief-Desire-Intention (BDI): Model agen cerdas dengan niat. Robot dengan tujuan & rencana
30. Hybrid Logic: Gabungan logika dengan sistem lain. Neural + simbolik reasoning.
31. Neural Logic: Integrasi logika dengan jaringan saraf. Deep learning + reasoning.
32. Probabilistic Temporal Logic: Gabungan probabilitas & waktu. Prediksi cuaca jangka panjang.
33. Knowledge Graph Logic : Logika berbasis graf pengetahuan. Google Knowledge Graph.
Ada yang mau menambahkan?
Tulisan terkait :
Posting Komentar