Asal-usul dan Simbolisme Kepintaran Buatan

Selain teori logik dan penyelesai masalah umum, simbolisme juga telah menyumbang kepada kami siri teknologi cemerlang seperti sistem pakar, pangkalan pengetahuan dan graf pengetahuan. Ia telah banyak berkembang dan mempengaruhi pembangunan banyak bidang.

Dengan populariti ChatGPT, kecerdasan buatan telah mencetuskan satu lagi gelombang kegilaan dalam industri. Hari ini kita akan bercakap tentang proses pembangunan kecerdasan buatan.

Kecerdasan buatan, seperti yang difikirkan secara umum, berasal dari persidangan DARTMOUTH pada tahun 1956, di mana penyelidik mencadangkan konsep kecerdasan buatan (Kecerdasan Buatan). Tetapi sebenarnya, kecerdasan buatan telah pun mula berkembang sebelum itu. Pada tahun 1955, Persidangan Persekutuan Komputer Amerika Syarikat Barat telah diadakan di Los Angeles, yang termasuk Session on Learning Machine (Session on Learning Machine).

Pada mesyuarat itu, Allen Newell, wakil sekolah simbolisme kecerdasan buatan, mengambil bahagian dalam perbincangan.

Allen Newell (19 Mac 1927 - 19 Julai 1992)

Symbolism and Connectionism, Behaviorism (Actionism) ialah tiga aliran arus perdana kecerdasan buatan .

Simbolisme juga dikenali sebagai Logik, Psikologi atau Komputerisme.

Secara khusus, perlambangan percaya bahawa unit asas pemikiran manusia ialah simbol, dan satu siri operasi berdasarkan simbol membentuk proses kognitif, jadi kedua-dua manusia dan komputer boleh dianggap sebagai mampu membuat penaakulan logik. dengan kata lain, komputer boleh mensimulasikan "kecerdasan" manusia melalui pelbagai operasi simbolik.

Pada penghujung tahun 1955, Newell dan Simon telah membangunkan program yang dipanggil LOGIC THEORIST. Program ini dianggap oleh ramai sebagai program AI yang pertama. Ia mewakili setiap masalah sebagai model pokok, dan kemudian memilih cawangan yang berkemungkinan besar mendapat kesimpulan yang betul untuk menyelesaikan masalah tersebut. Program ini boleh membuktikan 38 teorem matematik dalam Principia Mathematica (kemudian membuktikan kesemua 52 teorem), dan beberapa penyelesaian adalah lebih bijak daripada yang disediakan oleh ahli matematik manusia.

Pada tahun 1957, Herbert Simon, J.C. Shaw, Allen Newell dan lain-lain memperkenalkan seni bina penaakulan General Problem Solver (GPS) dan idea carian heuristik Idea ini mempunyai pengaruh yang meluas kepada AlphaGO, yang sangat popular pada tahun ini dan mengalahkan Ke Jie, meminjam idea ini.

Penyelesaikan masalah universal boleh menyelesaikan banyak masalah akal. Dua tahun selepas program itu dilancarkan, IBM menubuhkan kumpulan penyelidikan AI untuk mengkaji masalah yang sama.

GPS ialah program pertama di dunia yang cuba menyelesaikan semua masalah umum Ia direka untuk menyelesaikan semua masalah yang boleh diterangkan menggunakan algoritma asas. Untuk tujuan ini, penyelidik juga mencipta bahasa pengaturcaraan Bahasa Pemprosesan Maklumat (IPL) khusus untuknya. Prasyarat untuk menggunakan prosedur ini ialah masalah itu boleh dinyatakan dalam satu set formula biasa. Formula ini boleh menjadi sebahagian daripada graf terarah dengan berbilang sumber dan sink. Sumber mewakili nod permulaan dan sinki mewakili nod penamat. Dalam GPS, sumber mewakili aksiom dan sink mewakili kesimpulan.

Walaupun bercita-cita besar pembangun, sebenarnya GPS hanya boleh digunakan untuk menyelesaikan masalah yang jelas, seperti masalah matematik, masalah geometri atau permainan papan. Kerana masalah ini boleh diformalkan ke tahap yang boleh diterima. Di dunia nyata, kemungkinan telah meletup, dan dengan cepat merentasi semua kemungkinan telah menjadi masalah yang melebihi kuasa pengkomputeran.

Langkah-langkah menggunakan GPS untuk menyelesaikan masalah umum adalah seperti berikut:

1. Tentukan matlamat, seperti pergi ke kedai untuk membeli sekotak susu.

2. Tentukan prasyarat ini harus berkaitan dengan matlamat Contohnya, jika anda ingin membeli susu, anda perlu mempunyai laluan ke kedai, dan kedai juga perlu menjual susu.

3. Atas dasar ini, kita boleh menentukan proses operasi. Sebagai contoh, jika kita perlu memandu ke kedai dan kereta kehabisan minyak, maka kita perlu memastikan bahawa kita mempunyai wang untuk mengisi minyak, dan kita masih mempunyai wang untuk membeli susu selepas mengisi minyak

An proses operasi boleh mengendalikan semua situasi berdasarkan keadaan. Ia terdiri daripada tingkah laku, prasyarat, dan perubahan yang terhasil daripada tingkah laku. Dalam contoh sebelumnya, tingkah laku itu terdiri daripada membayar wang ke kedai, dan prasyarat untuk membayar ialah mempunyai wang di tangan. Tindakan membayar menukar status wang dan memperoleh susu.

GPS boleh menyelesaikan semua masalah yang serupa, tetapi kerana ia mencapai matlamat ini dengan merentasi semua proses yang mungkin, dalam dunia nyata, kerumitan masalah selalunya melebihi kuasa pengkomputeran.

Selain teori logik dan penyelesai masalah umum, simbolisme juga telah menyumbang kepada kami beberapa siri teknologi cemerlang seperti sistem pakar, pangkalan pengetahuan dan graf pengetahuan. Ia telah banyak berkembang dan mempengaruhi pembangunan banyak bidang.

Atas ialah kandungan terperinci Asal-usul dan Simbolisme Kepintaran Buatan. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!