Computasional Semantic

Computasional Semantic

Pengertian Semantik

Semantik dalam bahasa Indonesia berasal dari bahasa Yunani ‘sema’ (kata benda) yang berarti ‘tanda’ atau ‘lambang’. Kata kerjanya adalah‘semaino’ yang berarti ‘menandai’atau‘melambangkan’. Yang dimaksud tanda atau lambang disini adalah tanda-tanda linguistik (Perancis :signé linguistique).

Menurut Ferdinan de Saussure (1966), tanda lingustik terdiri dari :

1)Komponen yang menggantikan, yang berwujud bunyi bahasa.

2)Komponen yang diartikan atau makna dari komponen pertama.

1. Pertama-Order Representasi

Tradisional analisis semantik formal bahasa manusia biasanya mengandaikan formalisms 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 dalam Bagian 4, 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.

2. Interpreting Pertama-Order Representasi

Pertama-order formula diinterpretasikan dalam model (ini dapat dilihat sebagai realisasi abstrak situasi) dengan bantuan dari fungsi variabel tugas (ini dapat dilihat sebagai memasok tambahan informasi kontekstual). Apa yang terlihat seperti model? Dalam set-teori istilah, M model sebuah pasangan (D, F) yang terdiri dari D domain dan F fungsi interpretasi menentukan semantik nilai dalam D.

3 Pertama-order semantik representasi

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 yang ketidakmampuan untuk membedakan kardinalitas tak terbatas) biasanya tangensial terhadap masalah sentral komputasi semantik. Seperti sekarang kita akan melihat, jenis expressivity 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.