Pencocokan semantik adalah teknik yang digunakan dalam ilmu komputer untuk mengidentifikasi informasi yang terkait secara semantik.Dengan adanya dua struktur seperti grafik,misalnya klasifikasi,taksonomi database atau skema XML dan ontologi,pencocokan adalah operator yang mengidentifikasi simpul-simpul itu dalam dua struktur yang secara semantis berhubungan satu sama lain.
Kecerdasan buatan atau AI adalah kecerdasan yang ditunjukkan oleh mesin,berbeda dengan kecerdasan alami yang ditampilkan oleh manusia dan hewan lainnya.Dalam ilmu komputer, penelitian AI didefinisikan sebagai studi tentang agen cerdas yaitu setiap perangkat yang merasakan lingkungannya dan mengambil tindakan yang memaksimalkan peluangnya untuk berhasil mencapai tujuannya.Bahasa sehari-hari,istilah kecerdasan buatan diterapkan ketika mesin meniru fungsi kognitif yang dikaitkan manusia dengan pikiran manusia lainnya seperti belajar dan pemecahan masalah.
KIRIK adalah proyek infrastruktur ambisius yang bertujuan untuk membawa revolusi ke bidang blockchain dan kontrak pintar.
-Kontrak Semantic Smart yang inovatif yang orang biasa dapat
dengan mudah membaca dan membangun dan yang bebas dari kekurangan kontrak klasik Ethereum yang cerdas
-Meta-protokol untuk transfer aset cross-blockchain, yang mampu membuat semua blockchains dapat dioperasikan
-Memungkinkan membangun sistem AI yang dapat dikontrol dan transparan berinteraksi satu sama lain.
Kontrak cerdas adalah protokol komputer yang ditujukan secara digital memfasilitasi,memverifikasi atau menegakkan negosiasi atau kinerja kontrak.Kontrak pintar memungkinkan kinerja transaksi yang kredibel tanpa pihak ketiga.Transaksi ini dapat dilacak dantidak dapat diubah dengan menghasilkan layanan yang Otomatis,lebih aman,menurunkan biaya transaksi.
Konsep KIRIK tidak didasarkan pada Blockchain sebagai buku besar yang didistribusikan,tetapi pada kontrak pintar semantik yang tidak terkait dengan blockchain platform tertentu.Kontrak cerdas semantik memungkinkan untuk menentukan protokol yang dapat mengikat operasi dan transaksi yang dibuat dalam platform Blockchain berbeda dan sistem eksternal lainnya,seperti bank atau bursa,menjadi satu transaksi terdistribusi.Dari titik pandang hitungan formal yang logis Logic tentang kontrak cerdas semantik mewakili teori formal yang memiliki sifat konstruktivisme yang berarti bahwa ekspresi apa pun dalam bentuk formula dapat diverifikasi apakah itu benar atau salah dalam model konstruktif tertentu dari teori itu,https://kirik.io/
Whitepaper : https://drive.google.com/file/d/1hy2Et9NCd2qaZM7ijFAISY_FGpOJzXrQ/view
Facebook : https://www.facebook.com/kirik.metaprotocol/
Twitter : https://twitter.com/kirik_protocol
Telegram : https://t.me/kirik_protocol
Ann Threads BTT : https://bitcointalk.org/index.php?topic=3374696
My Account BTT : https://bitcointalk.org/index.php?action=profile;u=395093
MEW : 0x5C29Dc5A784f1D6b5Df0F459C26C11E7e9f1d45a