Tujuan dari perhitungan lancar adalah untuk memecahkan masalah kerangka inferensial. Bagian representatif dari masalah kerangka mencantumkan semua tindakan yang tidak memiliki efek samping.
Bagian inferensial adalah masalah menentukan apa yang bukan efek ini. Yang terakhir berkaitan dengan setiap nilai umum yang diperlukan untuk membuktikan teorema dalam situasi selain dari yang diberikan atau yang terjadi karena suatu tindakan atau peristiwa. Setiap nilai fluida ini harus dibawa dari tempat pertama kali muncul, melalui setiap situasi perantara, ke tempat ia digunakan. Ini dilakukan dengan menggunakan berbagai contoh aksioma yang relevan.
Misalnya, ketika aksioma negara penerus digunakan di Perhitungan situasi, apakah penalaran dilakukan maju atau mundur, dan dalam perhitungan peristiwa, ketika kelangsungan hidup harus dibuktikan secara terpisah untuk setiap nilai fluida. Masalah kerangka inferensial meningkatkan kerja komputasi hanya jika semua nilai fluida diperlukan. Tapi solusi untuk masalah kerangka inferensial mungkin lebih berharga karena lebih banyak fasih harus tetap sama di banyak situasi atau peristiwa yang berbeda.
Tujuan
Berdasarkan pemrograman logika formalisme, kalkulus fluida memecahkan masalah kerangka inferensial dengan menggambarkan efek tindakan dalam hal bagaimana suatu tindakan mengubah keadaan. Penerapan aksioma pembaruan status tunggal selalu cukup untuk menentukan perubahan yang disebabkan oleh aktivitas yang bersangkutan. Metode aksiomatisasi kalkulus Fluent didasarkan pada fungsi yang disebut Negara, yang menghubungkan situasi “s” dengan bagaimana dunia berada dalam situasi itu. Negara-negara dunia ini adalah kelompok fasih yang direifikasi, atau diperlakukan sebagai istilah, untuk mencapai tujuan ini.
Dalam logika orde pertama, fasih dapat diwakili oleh predikat yang argumennya bergantung pada waktu. Ini adalah cara yang logis untuk berpikir tentang tindakan. Misalnya, kondisi “kotak ada di atas meja” tidak dapat direpresentasikan jika dapat berubah seiring waktu. Argumen ketiga untuk predikat diperlukan untuk mengetahui kapan kotak itu ada di atas meja: “kotak itu ada di atas meja sekaligus”. Dalam kalkulus situasi, cara berpikir tentang fasih ini dimodifikasi dengan menggunakan urutan tindakan dari masa lalu, bukan saat ini. Suatu fungsi juga dapat menampilkan fasih jika argumen waktu dihilangkan. Misalnya, bisa berarti kotak ada di atas meja, di mana itu adalah fungsi dan bukan predikat.
Kesimpulan
Tujuan komputasi lancar adalah untuk memecahkan masalah kerangka acuan inferensial. Dalam logika tingkat pertama, ini adalah cara formal untuk membicarakan domain yang berubah seiring waktu. Kalkulus lancar mirip dengan kalkulus situasi, tetapi perbedaan utamanya adalah bahwa situasi dianggap sebagai simbol keadaan. Oleh karena itu, fasih yang diwakili oleh fungsi disebut reifikasi. Saat menggunakan fasih reified, Anda memerlukan predikat terpisah untuk mengetahui apakah fluiditas itu benar. Misalnya, “ada di atas meja pada waktu tertentu” berarti kotak itu ada di atas meja pada saat itu. The “predikat” adalah bagian dari kalimat yang mengatakan ketika “adalah” benar.
Selanjutnya, di perhitungan kejadian, fasih direpresentasikan dengan cara ini. Beberapa fasih dapat direpresentasikan dengan cara yang berbeda sebagai fungsi. Misalnya, posisi sebuah kotak dapat ditunjukkan oleh fungsi yang nilainya adalah objek tempat kotak itu berada. Misalnya, fasih fungsional adalah istilah untuk kondisi yang dapat direpresentasikan dengan cara ini. Selain itu, dalam logika urutan pertama, Anda dapat membuat pernyataan tentang nilai fungsi ini.
“Ninja internet yang tak tersembuhkan. Ahli daging. Sangat introvert. Analis. Pakar musik. Pendukung zombie.”
