Ada koneksi yang sangat mendalam dan meresap antara logika dan ilmu komputer. Dalam memahami apa mereka mungkin, perlu diingat bahwa ilmu komputer juga disebut "teknologi informasi" atau "informatika", yang berarti bahwa sistem komputer menangkap, memproses dan mengirimkan informasi. Logika adalah hal yang serupa. Ini mempelajari bagaimana informasi ditangkap dalam kalimat dan bagaimana dimungkinkan untuk satu pernyataan menjadi konsekuensi dari yang lain, yaitu, bagaimana konten informasinya sudah ada dalam pernyataan lain (atau kumpulan pernyataan). Dalam pengertian itu, logika dan ilmu komputer pada dasarnya samadisiplin, fokus pada berbagai aspek. Ahli logika (Gereja, Kleene, Turing, Post dan siswa serta kolega mereka) menciptakan disiplin Ilmu Komputer, dan banyak ahli logika terus memberikan kontribusi pada Ilmu Komputer, terutama Jean-Yves Girard dan murid-muridnya.
Berikut adalah beberapa aplikasi logika standar dalam Ilmu Komputer:
Desain sirkuit digital sepenuhnya didasarkan pada logika proposal, sedemikian rupa sehingga para insinyurnya menyebutnya "desain logika" daripada "desain sirkuit". Bahkan menulis program komputer sering dianggap melibatkan merancang "logikanya". (Perhatikan bahwa "logika" dalam pengertian yang terakhir adalah ide informal daripada logika formal, digunakan untuk merujuk pada aliran informasi melalui program dan apakah itu sedang diproses dengan benar.)
Predikat logika dan sepupunya matematis, teori himpunan, digunakan dalam berbagai bahasa komputasi , misalnya, bahasa SQL untuk kueri basis data relasional. Ada juga bahasa pemrograman berdasarkan logika, yang disebut "bahasa pemrograman logika".
Representasi pengetahuan , yang telah Anda sebutkan, memiliki banyak formalisme berdasarkan logika. Bahkan jika menggunakan formalisme non-logis, banyak dari mereka masih memiliki makna logis , dan karenanya didasarkan pada logika.
Logika probabilistik, di mana pernyataan tidak hanya memiliki nilai benar / salah, tetapi tingkat kepastian / ketidakpastian, semakin fondasi untuk sistem pembelajaran mesin .
Jika Anda ingin secara resmi menyatakan apa yang dilakukan suatu program, yaitu, memberikan spesifikasi program , Anda pada akhirnya akan menggunakan beberapa bentuk bahasa logis. Memang, ada banyak bahasa spesifikasi program, seperti Z dan B, yang didasarkan pada logika predikat dan teori himpunan. Ada juga bahasa spesifikasi berdasarkan logika persamaan, seperti Larch. Ilmuwan Komputer sering menciptakan logika baru untuk mewakili kebutuhan ilmu komputer, misalnya, Logika Hoare dan Logika Pemisahan, atau mereka mengambil dan mengembangkan berbagai bentuk logika tradisional yang kurang digunakan, seperti logika temporal dan logika modal, dan mengembangkannya lebih lanjut.
Jika Anda ingin memverifikasi apakah suatu program melakukan apa yang seharusnya dilakukan, maka Anda akhirnya tidak hanya menggunakan bahasa logika, tetapi juga seluruh mesin logika: teori bukti, teori model, dan prosedur keputusan. Teknologi verifikasi sekarang berkembang pesat, dan saya berharap, dalam satu dekade atau lebih, mereka akan secara rutin digunakan untuk hampir semua pengembangan perangkat lunak.
Faktanya, hubungan antara logika dan ilmu komputer begitu dalam dan meresap sehingga saya akan mengatakan bahwa sulit untuk menjadi ilmuwan komputer yang baik tanpa pemahaman logika yang menyeluruh.
Alasan beberapa ilmuwan AI meremehkan logika pada saat ini adalah bahwa beberapa pengembang awal AI telah mengusulkan logika tidak masuk akal sebagai alat.bukannya sebuah yayasan. AI, pada dasarnya, berjanji untuk memberikan sihir. Kami tidak harus melakukan pekerjaan berat dari sistem pemrograman untuk memberikan hasil. Mereka akan dapat mengetahui sendiri bagaimana menghasilkan solusi karena mereka akan "cerdas". Logika tampaknya menunjukkan jalannya karena jika sistem komputer memahami logika dan tahu bagaimana memproses informasi menggunakan aturan logika, mereka akan dapat memberikan keajaiban. Iman semacam itu dalam logika, dalam retrospeksi, salah tempat. Pertama-tama, logika di luar rak terlalu kuat dan terlalu lemah pada saat bersamaan. Terlalu kuat dalam arti bahwa aturan logika terlalu umum untuk merancang prosedur yang efektif. Ini juga terlalu lemah karena itu adalah logika yang dirancang oleh matematikawan untuk kebutuhan matematika dan tidak tidak memiliki kosa kata yang diperlukan untuk berurusan dengan banyak jenis informasi dunia nyata yang harus ditangani oleh sistem AI (seperti ketidakpastian, informasi kontekstual seperti waktu, perubahan, pengetahuan, agensi, dan sebagainya). Jadi, AI saat ini sedang mengalami serangan balik terhadap logika. Tapi saya pikir, ketika mereka mengatasi reaksi itu, para ilmuwan AI akan menyadari bahwa semua metode yang lebih baru masih didasarkanlogika, ditafsirkan secara luas .