Kuliah Inteligensi Buatan - Definisi AI dari Sudut Pandang Thinking Rationally

Pengenalan

• Pembicara: Ulfa
• Topik: Definisi AI dari sudut pandang Thinking Rationally
• Video ketiga dari empat video tentang definisi AI

Definisi AI

1. Charniak dan McDermott (1985)
   • AI sebagai ilmu yang mempelajari kemampuan mental dengan model komputasional.
2. Winston (1992)
   • AI sebagai studi pada persoalan komputasi yang memungkinkan untuk menangkap informasi dari lingkungan, melakukan penalaran, dan beraksi.

Ciri-Ciri Sistem AI

• Mengkodekan proses "right thinking" sesuai dengan aturan berpikir rasional.
• Dasar dari ilmu logika.

Contoh Aturan Logika: Silogisme

• Contoh:
  • Semua manusia akan mati.
  • Socrates adalah manusia.
  • Kesimpulan: Socrates akan mati.

Aplikasi AI dengan Pendekatan Thinking Rationally

1. Lean3
   • Aplikasi open source untuk membuktikan teorema.
   • Menggunakan metode logika dan komputasional untuk inferensi.
2. Vampire
   • Aplikasi pembuktian teorema yang telah memenangkan kompetisi automatic theorem prover dari 1999-2019.
   • Digunakan dalam desain dan verifikasi integrated circuit (IC).

Kesulitan dalam Pendekatan Thinking Rationally

• Tantangan dalam merepresentasikan pengetahuan informal ke dalam bentuk formal.
• Kesulitan menentukan urutan penalaran yang tepat dalam proses inferensi.

Penutup

• Video berikutnya: Definisi AI dari pendekatan Acting Rationally.
• Selamat belajar!