Selama beberapa dekad, IBM adalah peneraju industri pengkomputeran yang tidak dapat dipertikaikan. Malah pada hari ini, walaupun ia tidak menduduki peranan utama yang pernah dilakukannya, karyanya terus relevan. Walau bagaimanapun, dalam kes Kepintaran Buatan, kemasukan dan keluar IBM agak pantas walaupun sangat penting.
Pada tahun lima puluhan, penyelidikan dalam disiplin ini dianggap sebagai sebahagian daripada pengetahuan yang diperlukan untuk membina komputer yang lebih baik. Jadi IBM memutuskan untuk memberi lampu hijau kepada pembangunan program yang akan menyelesaikan teorem.
Masuk dan keluar IBM
kami telah melihat dalam artikel sebelumnya bahawa Simon dan pasukannya berjaya dengan program yang membuktikan teorem matematik. Untuk ini, mereka terpaksa mencipta bahasa pengaturcaraan baharu.
Cabaran yang dihadapi oleh IBM mempunyai masalah tambahan. Untuk membolehkan komputer membuktikan teorem geometri, ia perlu melihat angka tersebut. Kamera web dan perisian yang mampu memproses imej belum lagi dicipta.
Pasukan yang dipilih untuk tugas itu Ia adalah IBM 704. Dianggap sebagai salah satu superkomputer pertama di dunia fIa adalah yang pertama menggabungkan titik terapung perkakasan.
Operasi titik terapung termasuk penambahan, penolakan, pembahagian, pendaraban, dan pengiraan punca kuasa dua dengan nombor yang sangat besar atau sangat kecil.
Ia juga mempunyai memori teras magnetik yang lebih pantas daripada sistem dram magnet yang digunakan dalam model sebelumnya dan mampu melaksanakan empat puluh ribu arahan sesaat yang dinyatakan dalam arahan 36-bit.
Perisian itu mengambil masa tiga tahun untuk disiapkan sebagai pengurusnya, seorang doktor fizik bernama Herbert Gellenter, tDia terpaksa mencipta bahasa pengaturcaraan baru yang boleh memanipulasi simbol seperti IPL tetapi mempunyai kemudahan pengaturcaraan Fortran, pembangunan oleh IBM sendiri untuk penciptaan aplikasi untuk pengiraan saintifik.
Program ini menerima maklumat tentang angka geometri yang ia perlu bekerja dalam bentuk satu siri koordinat yang dimasukkan dalam bentuk kad tebuk dan dia membuat kesimpulan hasil perantaraan daripada data yang diketahui.
Perisian ini dikenali sebagai Geometry Theorem Prover (Geometry Problem Prover) dan berdasarkan sifat-sifat yang boleh disahkan dalam lukisan. dia berjaya menyelesaikan teorem dua langkah kepada dua puluh lima kemungkinan berbeza apabila, melakukannya secara membuta tuli, dia perlu menganalisis sejuta.
Penguji masalah geometri adalah yang pertama menggunakan teknik yang dikenali sebagai rujukan model.. Melainkan anda mendarat di atas piring terbang 5 minit yang lalu, pasti anda pernah mendengar tentang salah satu keputusan terkini penggunaan teknik ini: ChatGPT.
Dalam bidang kecerdasan buatan Model ialah perwakilan proses kompleks yang boleh dibuat inferens. Dalam kes penguji, model itu ialah koordinat bagi angka geometri, dalam kes ChatGPT model yang mampu memproses bahasa manusia.
Komputer IBM lain melakukan perkara yang kurang serius seperti belajar dam atau catur. Dalam kes pertama, objektifnya adalah untuk melihat sama ada mesin mampu mempelajari cara lawannya bermain. Dia akhirnya berjaya mengalahkannya sehingga kelihatan seperti dia melakukannya.
Kejayaan awal IBM juga menjadi punca pengabaian bidang ini. Komputer yang didedikasikan untuk bermain catur dan dam sangat berjaya dengan akhbar, tetapi tidak begitu banyak di kalangan pemegang saham syarikat yang menganggapnya sebagai pembaziran wang.
Untuk ini kita mesti menambah bahawa jabatan pemasaran syarikat Dia menyedari bahawa dalam kalangan bakal pelanggannya, ketidakpercayaan terhadap komputer semakin meningkat. Terdapat ketakutan di kalangan mereka yang bertanggungjawab untuk mendapatkannya bahawa pembelian mereka akhirnya akan menggantikannya.
Penyelidikan dalam Kepintaran Buatan telah ditinggalkan dan strategi pemasaran baharu adalah untuk mencirikan komputer sebagai pemproses data yang hanya melakukan apa yang disuruh.
Adakah perkara yang sama akan berlaku dengan alatan baharu yang kini sedang popular? Adakah mereka akan diharamkan daripada syarikat kerana bimbang mereka akan menduduki jawatan tertinggi?
Kami perlu menunggu untuk melihatnya.