Komputasi semantik adalah disiplin yang relatif baru yang menggabungkan wawasan dari formal semantics, computational linguistics, and automated reasoning. semantik, linguistik komputasi, dan penalaran otomatis. Tujuan dari komputasi semantics adalah untuk menemukan teknik untuk secara otomatis membangun representasi semantik untuk ungkapan bahasa manusia, representasi yang dapat digunakan untuk melakukan inferensi.
Tapi sebelum beralih ke rincian, pertanyaan yang lebih umum harus ditangani: mengapa repot-repot, dengan semantik komputasi? Setidaknya ada dua alasan. Pertama, komputasi semantik 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 semantik komputasi beberapa varian dari orde pertama logika umumnya lebih disukai. Pilihan ini adalah masuk akal untuk sedikitnya dua alasan. Pertama, seperti yang akan kita bahas orde pertama teorema prover (dan pada tingkat lebih rendah, orde pertama pembangun model) sekarang menawarkan tingkat kinerja, yang membuat mereka benar-benar berguna untuk tugas-tugas penalaran tertentu. Kedua, seperti yang kita akan menunjukkan di bagian, 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.
Kadang-kadang berpendapat bahwa orde pertama logika terlalu ketat untuk model semantik manusia bahasa dengan cara yang menarik. Klaim tersebut tidak tahan cermat, yang pasti, baik diketahui 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 kita akan melihat, 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 kami.
Post by : Hans Sinaga (Gunadarma University)
Tidak ada komentar:
Posting Komentar