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.

Pengertian Cloud Computing

Cloud Computing

Cloud computing adalah komputasi berbasis internet, dimana server yang dibagi bersama menyediakan sumber daya, perangkat lunak, dan informasi untuk komputer dan perangkat lain sesuai permintaan. Cloud computing merupakan evolusi alami dari luas adopsi virtualisasi, arsitektur berorientasi layanan dan komputasi utilitas. Cloud computing menggambarkan suplemen baru, konsumsi, dan model pengiriman untuk layanan berbasis IT di Internet, dan biasanya melibatkan over-the internet penyediaan sumber daya secara dinamis scalable dan sering virtualisasi. Penyedia cloud computing memberikan aplikasi bisnis yang umum online yang diakses dari yang lain layanan Web atau perangkat lunak seperti browser Web, sedangkan perangkat lunak dan data disimpan di server.

Karakteristik Cloud Computing

1. On-Demand Self-Services

Sebuah layanan cloud computing harus dapat dimanfaatkan oleh pengguna melalui mekanisme swalayan dan langsung tersedia pada saat dibutuhkan.
2. Broad Network Access

Sebuah layanan cloud computing harus dapat diakses dari mana saja, kapan saja, dengan alat apa pun, asalkan kita terhubung ke jaringan layanan. Contoh HP, Tablet.
3. Resource Pooling

Sebuah layanan cloud computing harus tersedia secara terpusat dan dapat membagi sumber daya secara efisien.

4. Rapid Elasticity

Sebuah layanan cloud computing harus dapat menaikkan (atau menurunkan) kapasitas sesuai kebutuhan.

5. Measured Service

Sebuah layanan cloud computing harus disediakan secara terukur, karena akan digunakan dalam proses pembayaran.