History of predicate of calculus in computer logic
1. Pada Tahun ( 1879-1970 )
Tahun 1879 merupakan tahun kelahiran
Albert Einstein. Tapi di tahun itu. sesuatu yang lain lahir, yaitu, predikat
kalkulus, seperti yang kita miliki sekarang. Frege memanggil sistemnya.
Begriffsschrift, sebuah kata yang anda temukan juga. sesuatu seperti
"notasi untuk konsep". Saya pikir sejarah notasi sistematis ini. sisa
masa lalu yang jauh adalah. dasar tentang perkembangan dalam satu baris
tertentu dari notasi itu. ditangkap secara sistematis. ada waktu yang lama,
sekitar tiga puluh lima tahun, setelah pengenalan. dari Begriffssehrift sebelum
sesuatu yang benar-benar signifikan terjadi. Whitehead dan Russell - Prineipia
Mathematica. Frege percaya, begitu pula Whitehead dan Russell, bahwa. yang dari
L6wenheim pada tahun 1915. penemuan yang berpuncak pada sekitar tahun 1930.
tesis tahun 1929 dan tahun 1930, waktu itu 21 tahun, A. Godel, Herbrand dan
Skolem muncul di. cara yang berbeda bahwa hal ini terjadi. memang komputer baru
muncul di awal tahun 1950-an. Pada tahap ini saya sendiri terlibat dalam upaya
ini. sekitar tahun 1961 saya mulai. mungkin digunakan untuk meningkatkan
kinerja komputasi dari algoritma dasar.
Pemograman logika. logika yang tepat,
tetapi tentu saja itu termasuk dalam cerita logika logika. formalisme
pemrograman yang mereka sebut ABSYS (untuk ABerdeen SYStem). Itu adalah
komputasi. programmer diyakini benar. mereka akan dimasukkan ke dalam memori.
seperti yang sekarang kita sebut, telah diserahkan ke sistem. pemograman
logika. seefisien yang diharapkan. dasar dari sistem pemrograman logika. sistem
penjawab. cukup benar, Itulah yang sebenarnya pemrograman logika. karyanya
cukup menarik perhatian, ada yang baik, ada yang buruk. bagian yang baik adalah
bahwa akhirnya di sini ada rencana sistematis untuk sistem komputasi jawaban
pertanyaan. berlaku untuk berbagai masalah. Bagian yang buruk adalah yang
khusus itu. batasi aplikasi sistem untuk masalah yang cukup kecil. Pada masalah
yang lebih besar, sistem Green akan kembali mengalami ledakan kombinatorial. ini
dulu. dan bahwa cara yang tepat untuk melanjutkan adalah dengan cara yang
berbeda. Itu adalah jalur pengembangan lain yang saya pikir sekarang bergabung
lagi ke arus utama. setiap klausa yang akan terletak di cabang utama dan akan.
Ini terjadi di Edinburgh di Skotlandia. mempercepat proses penyelesaian.
2. Pada Tahun ( 1971 – 1980 )
Mereka bersama-sama ke dalam sistem homegeneons. PROLOG lahir di Marseille pada tahun 1971. sederhananya, itu terdiri dari sistem resolusi linier di mana klausa yang terlibat dalam masalah itu. setiap langkah adalah prosedur pemanggilan yang kemudian. semua gagasan itu adalah. sistem. Inilah logika logika sebagai sebuah konsep muncul. Kowalski-lah yang melihat semua ini di PROLOG. PROLOG ada! rakyat. sangat cepat melihatnya dan mulai menggunakannya. PROLOG khususnya. dialah yang pertama kali memicu pertumbuhan minat yang cepat. untuk mengambil logika logika sebagai aktivitas utama mereka. dan menerapkan gagasan. dan satu yang direncanakan untuk Musim Panas 1983 di Portugal. dan Mellis, dan saya harus mendapatkan buku Clark dan T~.rnlund. Seseorang tidak dapat cukup memuji pengaruh David melalui itu. sistem di LISP di Syracuse. kami menyebut sistem kami LOGLISP. LISP adalah kasus-kasus yang paling terkenal, tetapi sekarang ada yang lebih murni dan lebih elegan. fungsi sistem pemrograman sub. Dalam pemrograman logika, kalimat-kalimat yang ditegaskan itu kebetulan bersyarat. benar-benar hanya perbedaan yang dangkal.
Mewujudkan kedua gaya pemrograman dalam satu kerangka kerja. tentu saja saya tidak perlu menunjukkan kepada audiens ini bahwa ini adalah tema yang sangat banyak di proyek generasi kelima sendiri. awal dari Proyek Generasi Kelima adalah peristiwa besar yang menandai akhir dari masa lalu yang dekat. Tiba-tiba kami di Barat mengalami hal yang menyenangkan ini kejutan. kami menemukan bahwa di sini di Jepang anda diam-diam mempelajari ide ini, tidak diketahui oleh kami, dan telah melihatnya untuk apa itu, yaitu, cantik, kuat teknik yang dapat dieksploitasi dengan cara yang anda lihat.
3. Pada Tahun ( 1980 – 1991 )
Sebagai saya ingin menawarkan beberapa pengamatan tentang di mana kita. saya pikir ada beberapa tren yang harus kita khawatirkan. aspek yang menjadi PROLOG. Akan lebih baik jika detailnya tidak terlihat. karena semakin banyak implementasi PROLOG paralel, anda tidak akan melakukan backtracking secara internal, anda. akan melakukan pengembangan pohon secara holistik dan paralel. berubah dan pindah ke tingkat yang lebih tinggi. tidak dapat mendeteksi sampai waktu berjalan. programmer dengan beberapa cara untuk mempengaruhi efisiensi pengembangan pohon. namun, jangan dengan merugikan program!. tidak ada urutan tertentu. memberi mereka perintah berarti menempatkan sesuatu yang lain pada. dalam sebuah klausa, kita tidak perlu khawatir tentang urutannya. dikelola oleh programmer melalui kontrol input.
Diidentifikasi dengan PROLOG, khususnya. hubungannya adalah bahwa PROLOG adalah. implementasi, realisasi dari gagasan pemrograman logika. diidentifikasi dengan pemrograman resolusi klausa Horn. Itu terjadi lagi pada. adalah logika orde tinggi; berbagai rasa logika modal, dan sebagainya. sistem pemrograman dengan lingkungan pemrograman yang lengkap. PROLOG yang saya temui aneh. mencoba untuk membuktikannya, entah bagaimana ke samping, peristiwa yang terjadi. menjadi sangat konseptual. yang tersedia untuk mengatakan demikian dan untuk mewujudkannya. peran yang dimainkan oleh hubungan dalam pemrograman asertif. Itu terjadi lagi pada. adalah logika orde tinggi, berbagai rasa logika modal, dan sebagainya. sistem pemrograman dengan lingkungan pemrograman yang lengkap.
PROLOG yang saya temui aneh. mencoba untuk membuktikannya, entah bagaimana ke samping, peristiwa yang terjadi. menjadi sangat konseptual. yang tersedia untuk mengatakan demikian dan untuk mewujudkannya. peran yang dimainkan oleh hubungan dalam pemrograman asertif. Itu terjadi lagi pada. adalah logika orde tinggi, berbagai rasa logika modal, dan sebagainya. sistem pemrograman dengan lingkungan pemrograman yang lengkap. PROLOG yang saya temui aneh. mencoba untuk membuktikannya, entah bagaimana ke samping, peristiwa yang terjadi. menjadi sangat konseptual. yang tersedia untuk mengatakan demikian dan untuk mewujudkannya. peran yang dimainkan oleh hubungan dalam pemrograman asertif.
nama; akhirnya akan ada sel dengan jawaban seseorang di dalamnya. sesuatu yang sebenarnya tidak ingin kita lakukan. Saya tidak berpikir bahwa ungkapan itu sendiri tidak logis--ini adalah istilah,. tapi anda bisa melakukannya, dan anda juga bisa mengamati dengan setara. Jadi, anda berpikir untuk suatu relasional dengan cara yang sama seperti. anda berpikir untuk fungsi lainnya. Ini hanya domain target yang berbeda. alat kami yang paling luar biasa, yaitu formalisme pemrograman logika. saya memiliki lebih banyak kecemasan. kami telah memiliki pengalaman dengan, telah kecil. apa yang saya maksud dengan itu? terutama. Jadi kita harus menghadapi masalahnya. mengakses asumsi, yang sedikit mengkhawatirkan. sistem pemrograman sering berada di urutan ke empat. Jika kita pergi pada tahun 1990. bagi saya bahwa jika kita dapat tetap berada di dalam memori utama. mesin, kita bisa dengan senang hati merencanakan percepatan itu.
Dengan pergi ke paralel. bekerja, kita mungkin bisa mendapatkan faktor seratus seratus. kita mungkin mendapatkan faktor lain dari seratus. lakukan dalam memori cepat. tapi jika kita harus mendapatkan. punya masalah untuk pergi secepat itu. menjadikan pemrograman logika sebagai tema sentral dalam Proyek Generasi Kelima anda. ada beberapa risiko yang terlibat, seperti yang anda ketahui, dalam menempatkan ide ini di tengah. Saya pikir sangat mungkin bahwa eksperimen itu. tapi ada beberapa bahaya. 1 akan mengatakan lebih banyak tentang ini. berbagai cara dengan motif yang berbeda. saya memiliki kecemasan bahwa mungkin tidak selalu menjadi yang terbaik. Itu mungkin yang tidak perlu. sepenuhnya oleh sesuatu seperti PROLOG. Seperti yang saya katakan sebelumnya, yang tepat. Jadi, saya ingin LISP bertahan--tidak harus. Itu indah. paradigma pemrograman logika. perform apa yang dilakukan Peter Landin di awal. 60-an dengan LISP.
Dia berangkat untuk menunjukkan apa yang cukup mengejutkan McCarthy, di dia menjelaskan ini dengan mesin abstrak yang sangat elegan. mesin SECD. karya Landin ini berpikir sangat penting dan. di sana, yang saya pribadi bereaksi sangat positif. pergi untuk melihat keindahan dalam pencarian teknik matematika ini. Kami tidak ingin pemrograman bahasa memunculkan kludges. itu akan menjadi. sangat sayang. mari kita coba untuk menghindarinya. contoh peluang untuk peluang yang lebih besar adalah penyatuan. baik, sangat sederhana, dan benar. saya pikir itu mekanisme yang untuk semua. tapi itu tidak pernah benar-benar dicoba, sejauh yang saya tahu, di. konteks pemrograman fungsi. dengan parameter sebenarnya.
4. Pada Tahun ( 1991 – 2000 )
Pada tahun 1990-an kita akan mengalami hasil dari Generasi Kelima proyek.kami mungkin berharap bahwa dampak utama dari Generasi Kelima adalah apa yang ingin dicapai, yaitu, membuka semua jenis aplikasi baru cara komputasi baru ini.saya pikir kita dapat mengharapkan sistem pakar digunakan secara umum. Kita harus mengharapkan bahwa "literasi pemrograman logika" akan menjadi tersebar luas.
sistem pakar dalam
waktu dekat ini hanya akan menjadi manusia super; itu hanya akan menjadi
perwujudan dari keahlian yang ada seperti saat ini tersimpan di dalam diri
manusia. tentu saja, prospek yang menarik adalah kemungkinan untuk meningkatkan
kecepatan dan ukuran masalah, seperti yang bisa dilakukan manusia mengatasi,
tetapi berada di luar kapasitas komputasi data manusia instrumen pengolahan.
Robinson di cakrawala, dan kemudian mencadangkan nilai-nilai itu dengan cara minimax. itu bukan ide yang sangat mendalam, tetapi kebetulan skala yang digunakannya sedemikian rupa sehingga sudah cukup untuk memberikan waktu yang sulit untuk beberapa yang terbaik pemain catur manusia. ada contoh rekaman grand internasional master merasa sulit untuk menghindari kekalahan di beberapa permainan akhir khusus situasi dalam catur, ketika mesin hanya bermain dengan cara yang terbuka dan mudah dipahami ini, tetapi dalam skala besar dan dengan kecepatan luar biasa.
5. Pada Tahun ( 2001 - ? )
Jenis
ini. dari 1 untuk berspekulasi. Idenya adalah bahwa kita juga dapat
mengeksploitasi pengkodean dan penggunaan genetik. sebagai media pemrograman
dan merakit struktur dalam skala itu. teknologi alam itu sendiri. dari sistem
neuro-fisiologis. pemenang hadiah Nobel tahun lalu, Hubel dan Wiesel, telah
menunjukkan kepada kita. perangkat prostetik tambahan untuk meningkatkan apa
yang sudah kita miliki. dan seterusnya. dari protesa mekanik. kami mulai bisa
berpikir untuk merancang. keduanya) dan yang sekarang tidak bisa kita lakukan
banyak. Jelas, jangka panjang dari Proyek Generasi Kelima mendukung. ini. saya
pikir kita masing-masing dapat menguraikan sendiri spekulasi tentang apa. mungkin
kita tidak membutuhkan penerjemah otomatis seburuk beberapa.
Semantik
Komposisi Berbasis Ketergantungan (DCS) adalah kerangka kerja alami semantik
bahasa dengan proses yang mudah makalah ini, kami melengkapi kerangka kerja DCS
dengan inferensi logis, dengan mendefinisikan denotasi abstrak sebagai
abstraksi dari untuk mencapai inferensi pada denotasi abstrak. inferensi,
dengan menggabungkan kerangka kerja kami (DCS) menyediakan cara intuitif untuk
memodelkan semantik pertanyaan, dengan menggunakan sederhana seperti
ketergantungan untuk mewakili pertanyaan bahasa alami yang kompleks di database
relasional, namun cukup sederhana untuk menjadi makalah ini, kami melengkapi
DCS dengan inferensi logis, “Buku apa yang dibaca oleh siswa?”, harus selalu
menjadi bagian dari jawaban untuk “Buku apa itu Jadi, langkah pertama kita adalah
memperbaiki notasi yang mengabstraksikan proses perhitungan pohon DCS,
sehingga: untuk memperjelas artinya tanpa bantuan database yang ada. di DCS dan
tentukan denotasi abstrak, yaitu sebuah abstraksi dari perhitungan denotasi
tidak terpengaruh; misalnya, perhitungan semantik kami untuk pohon DCS sejajar
dengan perhitungan denotasi di DCS asli. pada denotasi abstrak. kurangnya
pengetahuan latar belakang dalam inferensi praktis, kami menggabungkan kerangka
kerja kami dengan ide dampak dari on-the-fly kami yang dihasilkan secara
otomatis pengetahuan dalam mencapai daya ingat tinggi untuk sistem RTE berbasis
logika; dan (iii) hasil yang mengungguli sistem RTE mutakhir pada data RTE5.
Seluruh sistem kami dirilis untuk umum.
Dalam
bidang teori inferensi dalam logika bernilai banyak, menyajikan keadaan
penelitian dalam disiplin logis ini sehubungan dengan yang lain. berikut bahwa
hasil disertasi dapat memiliki aplikasi penting. sejak penciptaan mereka,
banyak logika bernilai memiliki semantik yang jelas. mudah untuk menemukan
interpretasi untuk logika bernilai banyak, dan karena ada banyak aplikasi
teknik, dan juga dapat diterapkan pada pemrograman tugas di berbagai bidang
ilmu komputer. berdasarkan logika bernilai banyak, dan untuk membuat
implementasi industri mereka. dibayar untuk hasil pada logika Lukasiewicz
bernilai tak terbatas.
Sumber :
Internet
Kata Kunci : History of predicate of calculus in
computer logic
Link Jurnal : 1. https://www.cs.tufts.edu/~nr/cs257/archive/john-robinson/logic-programming.pdf
2. https://www.aclweb.org/anthology/P14-1008.pdf