Computational bisa diartikan sebagai cara untuk menemukan pemecahan masalah dari data input dengan menggunakan suatu algoritma. Secara umum iIlmu komputasi adalah bidang ilmu yang mempunyai perhatian pada penyusunan model matematika dan teknik penyelesaian numerik serta penggunaan komputer untuk menganalisis dan memecahkan masalah-masalah ilmu. Dalam penggunaan praktis, biasanya berupa penerapan simulasi komputer atau berbagai bentuk komputasi lainnya untuk menyelesaikan masalah-masalah dalam berbagai bidang keilmuan, tetapi dalam perkembangannya digunakan juga untuk menemukan prinsip-prinsip baru yang mendasar dalam ilmu.
Semantik (dalam Bahasa Yunani: semantikos, memberikan tanda, penting, dari kata sema, tanda) adalah cabang linguistik yang mempelajari makna yang terkandung pada suatu bahasa, kode, atau jenis representasi lain. Dengan kata lain, Semantik adalah pembelajaran tentang makna. Semantik biasanya dikaitkan dengan dua aspek lain: sintaksis, pembentukan simbol kompleks dari simbol yang lebih sederhana, serta pragmatika, penggunaan praktis simbol oleh komunitas pada konteks tertentu.
Computational Semantic adalah penggabungkan wawasan dari formal semantics, computational linguistics, and automated reasoning semantik, linguistik komputasi, dan penalaran otomatis. Computational Semantic ini memiliki tujuan yaitu untuk menemukan teknik untuk secara otomatis membangun representasi semantik untuk ungkapan bahasa manusia, representasi yang dapat digunakan untuk melakukan inferensi. Kelebihan computational semantic yang saya tangkap, antara lain: berpotensi berguna dalam aplikasi seperti pencarian informasi, informasi transaksi, dialog sistem, menjawab pertanyaan, bahasa terkontrol menafsirkan, system pakar, dan sebagainya
Tradisional analisis semantik formal dengan high-ekspresif daya (misalnya, tingkat tinggi logika ditambah dengan modalitas) tetapi dalam computational semantic beberapa varian dari orde pertama logika umumnya lebih diminati, penyebabnya seperti pada pembahasan selanjutnya bahwa orde pertama teorema prover (dan pada tingkat lebih rendah, orde pertama pembangun model) sekarang menawarkan tingkat kinerja, yang benar-benar berguna untuk tugas-tugas penalaran tertentu, dan orde pertama logika mampu menangani (setidaknya untuk pendekatan yang baik) dengan berbagai fenomena menarik. Singkatnya, orde pertama logika menawarkan kompromi tarik menarik antara, yang bertentangan tuntutan ekspresivitas dan efektivitas inferensial.
Hasil seperti Teorema Kekompakan dan Lowenheim-Skolem teorema acara bahwa logika orde pertama memiliki keterbatasan-tapi expressivity keterbatasan mereka mengungkapkan (seperti ketidakmampuan untuk membedakan kardinalitas tak terbatas) biasanya tangensial terhadap masalah sentral komputasi semantik. Seperti sekarang, jenis orde pertama logika menawarkan membuka jalan untuk cukup halus analisis semantik fenomena-jika kita siap untuk fleksibel tentang jenis-jenis entitas yang menghuni model.
Tidak ada komentar:
Posting Komentar