Sistem Penalaran

Nama : Fat’hiyyah Nuswantari

NPM : 12118579

Kelas : 3KA21

Sistem penalaran adalah sistem perangkat lunak yang menghasilkan kesimpulan dari pengetahuan yang tersedia dengan menggunakan teknik logis seperti deduksi dan induksi. Sistem penalaran memainkan peran penting dalam implementasi kecerdasan buatan dan sistem berbasis pengetahuan

Semua sistem komputer adalah sistem penalaran di mana mereka semua mengotomatiskan beberapa jenis logika atau keputusan. Namun, dalam penggunaan tipikal di bidang Teknologi Informasi , frasa tersebut biasanya digunakan untuk sistem yang melakukan jenis penalaran yang lebih kompleks. Misalnya, bukan untuk sistem yang melakukan jenis penalaran yang cukup langsung seperti menghitung pajak penjualan atau diskon pelanggan, tetapi membuat kesimpulan logis tentang diagnosis medis atau teorema matematika. Sistem penalaran hadir dalam dua mode: interaktif dan pemrosesan batch. Antarmuka sistem interaktif dengan pengguna untuk mengajukan pertanyaan klarifikasi atau memungkinkan pengguna untuk memandu proses penalaran.

Penggunaan logika

Istilah sistem penalaran dapat digunakan untuk diterapkan pada hampir semua jenis sistem pendukung keputusan yang canggih seperti yang diilustrasikan oleh area spesifik yang dijelaskan di bawah ini. Namun, penggunaan istilah sistem penalaran yang paling umum menyiratkan representasi komputer dari logika. Berbagai implementasi menunjukkan variasi yang signifikan dalam hal sistem logika dan formalitas. Kebanyakan sistem penalaran menerapkan variasi logika proposisional dan simbolik.

Banyak sistem penalaran menggunakan penalaran deduktif untuk menarik kesimpulan dari pengetahuan yang tersedia. Mesin inferensi ini mendukung penalaran maju atau penalaran mundur untuk menyimpulkan kesimpulan melalui modus ponens . Metode penalaran rekursif yang mereka gunakan masing-masing disebut ' rantai maju ' dan ' rantai mundur '. Meskipun sistem penalaran secara luas mendukung inferensi deduktif, beberapa sistem menggunakan jenis penalaran abduktif , induktif , defeasible dan lainnya. Heuristik juga dapat digunakan untuk menentukan solusi yang dapat diterima untuk masalah yang sulit diselesaikan.

Jenis sistem penalaran:

• Pemecah kendala

Pemecah kendala memecahkan masalah kepuasan kendala (CSP). Mereka mendukung pemrograman kendala . Batasan adalah yang harus dipenuhi oleh solusi yang valid untuk suatu masalah . Batasan didefinisikan secara deklaratif dan diterapkan ke variabel dalam domain tertentu. Pemecah kendala menggunakan teknik penelusuran , penelusuran mundur , dan perambatan kendala untuk menemukan solusi dan menentukan solusi optimal. Mereka mungkin menggunakan bentuk pemrograman linier dan nonlinier.

• Pembuktian teorema

Penguji teorema menggunakan teknik penalaran otomatis untuk menentukan bukti teorema matematika. Mereka juga dapat digunakan untuk memverifikasi bukti yang ada. Selain penggunaan akademis, aplikasi tipikal provers teorema termasuk verifikasi kebenaran sirkuit terintegrasi, program perangkat lunak, desain teknik, dll.

• Program logika

Program logika (LP) adalah program perangkat lunak yang ditulis menggunakan bahasa pemrograman yang primitif dan ekspresi memberikan representasi langsung dari konstruksi yang diambil dari logika matematika. Contoh dari bahasa pemrograman logika tujuan umum adalah Prolog . LP mewakili aplikasi langsung dari logika pemrograman untuk memecahkan masalah. Pemrograman logika dicirikan oleh pendekatan yang sangat deklaratif berdasarkan logika formal, dan memiliki aplikasi luas di banyak disiplin ilmu.

• Mesin aturan

Mesin aturan merepresentasikan logika kondisional sebagai aturan diskrit. Kumpulan aturan dapat dikelola dan diterapkan secara terpisah ke fungsionalitas lain. Mereka memiliki penerapan yang luas di banyak domain. Banyak mesin aturan menerapkan kemampuan penalaran. Pendekatan yang umum adalah mengimplementasikan sistem produksi untuk mendukung rangkaian maju atau mundur. Setiap aturan ('produksi') mengikat hubungan klausa predikat ke daftar tindakan yang dapat dijalankan.

• Pengklasifikasi deduktif

Pengklasifikasi deduktif muncul sedikit lebih lambat dari sistem berbasis aturan dan merupakan komponen dari alat representasi pengetahuan kecerdasan buatan jenis baru yang dikenal sebagai bahasa bingkai . Bahasa bingkai menggambarkan domain masalah sebagai sekumpulan kelas, subkelas, dan hubungan antar kelas. Ini mirip dengan model berorientasi objek . Tidak seperti model berorientasi objek, bahasa bingkai memiliki semantik formal berdasarkan logika orde pertama. Mereka memanfaatkan semantik ini untuk memberikan masukan kepada pengklasifikasi deduktif

• Sistem pembelajaran mesin

Sistem pembelajaran mesin mengembangkan perilakunya dari waktu ke waktu berdasarkan pengalaman . Ini mungkin melibatkan penalaran atas peristiwa yang diamati atau contoh data yang diberikan untuk tujuan pelatihan. Misalnya, sistem pembelajaran mesin dapat menggunakan penalaran induktif untuk menghasilkan hipotesis untuk fakta yang diamati. Sistem pembelajaran mencari aturan atau fungsi umum yang menghasilkan hasil yang sejalan dengan pengamatan dan kemudian menggunakan generalisasi ini untuk mengontrol perilaku di masa depan.

• Sistem Penalaran Berbasis Kasus

Sistem penalaran berbasis kasus (CBR) memberikan solusi untuk masalah dengan menganalisis kemiripan dengan masalah lain yang solusi yang diketahui sudah ada. Mereka menggunakan penalaran analogis untuk menyimpulkan solusi berdasarkan sejarah kasus. Sistem CBR biasanya digunakan dalam skenario dukungan pelanggan / teknis dan pusat panggilan dan memiliki aplikasi dalam industri manufaktur , pertanian , kedokteran , hukum , dan banyak bidang lainnya.

• Sistem penalaran procedural

Sistem penalaran prosedural (PRS) menggunakan teknik penalaran untuk memilih rencana dari basis pengetahuan prosedural . Setiap rencana mewakili tindakan untuk pencapaian tujuan tertentu. PRS mengimplementasikan model keyakinan-keinginan-niat dengan mempertimbangkan fakta ('keyakinan') untuk memilih rencana yang sesuai (' niat ') untuk tujuan tertentu ('keinginan'). Aplikasi umum PRS mencakup sistem manajemen, pemantauan, dan deteksi kesalahan .