Depiandika, Lisa
STMIK BANI SALEH

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search
Journal : JOURNAL INFORMATICS, SCIENCE

RANCANG BANGUN SIMULASI LOGIKA PROPOSISI PADA MATAKULIAH KECERDASAN BUATAN Hartanti, Dian; Lubis, Hendarman; Depiandika, Lisa
JURNAL INFORMATIKA, SAINS & TEKNOLOGI Vol 9 No 2 (2019): Informatic Engineering and Science Journal
Publisher : STMIK BANI SALEH

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (401.791 KB)

Abstract

Artificial intelligence atau kecerdasan buatan didefinisikan sebagai kecerdasan entitas ilmiah. Kecerdasan diciptakan dan dimasukkan ke dalam suatu mesin (computer) agar dapat melakukan pekerjaan seperti yang dilakukan manusia. Banyak hal yang terlihat sulit diselesaikan oleh manusia, tetapi dapat diselesaikan dengan kecerdasan buatan, seperti mentransformasikan persamaan, menyelesaikan persoalan logika maupun persoalan matematika lainnya. Logika Proposisi merupakan salah satu materi dalam matakuliah kecerdasan buatan, yang sulit dipahami oleh mahasiswa. Salah satu materi logika propoposisi yaitu tentang resolusi logika proposisi, Resolusi logika proposisi digunakan untuk membuktikan valid atau tidaknya suatu proposisi dan mempunyai nilai kebenaran true atau false. Sehingga untuk dapat membuktikan valid atau tidaknya suatu proposisi, mahasiswa harus memahami bagaimana langkah-langkah resolusi logika proposisi. Untuk meningkatkan pemahaman mahasiswa terhadap materi logika proposisi, dibutuhkan sebuah aplikasi media pembelajaran logika proposisi untuk menunjang pengetahuan mengenai logika proposisi. Aplikasi ini menghasilkan pembuktian valid / tidak nya suatu proposisi melalui pohon resolusi, Aplikasi ini dibuat dengan menggunakan Visual Basic.Net 2008. Kata kunci : Kecerdasan buatan, logika proposisi, media pembelajaran, simulasi, logika