Ontologi

PENDAHULUAN: MENDEFINISIKAN "Ontologi"

a) Salah satu kamus terbaik yang tersedia memberikan definisi berikut Ontologi:
"1. ilmu atau studi tentang makhluk: khusus, cabang metafisika yang berhubungan dengan sifat dan hubungan dari makhluk; sistem tertentu yang menurut masalah sifat yang diselidiki; filsafat pertama.
2. teori mengenai jenis entitas dan khususnya jenis entitas abstrak yang harus dirawat dengan sistem bahasa. "(1)
b) Rasa pertama umumnya digunakan dalam tradisi filsafat:
"Dalam filsafat kontemporer, ontologi resmi telah dikembangkan dalam dua cara utama Pendekatan pertama telah mempelajari ontologi formal sebagai bagian dari ontologi, dan menganalisis dengan menggunakan alat dan pendekatan logika formal. Dari sudut pandang ini ontologi resmi meneliti fitur logis dari predikasi dan berbagai teori universal. Penggunaan paradigma tertentu dari teori set diterapkan predikasi, apalagi, kondisi interpretasinya.
Baris kedua pembangunan kembali ke asal Husserlian dan menganalisa kategori fundamental objek, keadaan, bagian, utuh, dan sebagainya, serta hubungan antara bagian dan keseluruhan dan hukum mereka dari ketergantungan - setelah semua konsep materi telah digantikan oleh konsep bentuk korelatif mereka relatif terhadap murni 'sesuatu'. Jenis analisis tidak berurusan dengan masalah hubungan antara ontologi formal dan ontologi material. "(2)
c) Rasa kedua digunakan dalam penelitian tentang Artificial Intelligence dan Representasi Pengetahuan; salah satu definisi yang paling dikenal adalah Tom Gruber:
"Sebuah ontologi adalah spesifikasi eksplisit dari konseptualisasi a.
Istilah ini dipinjam dari filsafat, di mana ontologi adalah rekening sistematis Keberadaan. Untuk sistem berbasis pengetahuan, apa yang "ada" adalah persis seperti itu yang dapat diwakili. Ketika pengetahuan domain diwakili dalam formalisme deklaratif, himpunan objek yang dapat direpresentasikan disebut semesta pembicaraan. Ini set objek, dan hubungan describable di antara mereka, yang tercermin dalam kosa kata representasional dengan yang program berbasis pengetahuan merupakan pengetahuan. Dengan demikian, kita dapat menggambarkan ontologi dari sebuah program dengan mendefinisikan satu set istilah representasional. Dalam ontologi seperti itu, definisi mengasosiasikan nama-nama entitas di alam semesta wacana (misalnya, kelas, hubungan, fungsi, atau benda lainnya) dengan teks terbaca-manusia menggambarkan apa nama dimaksudkan untuk menunjukkan, dan aksioma formal yang membatasi penafsiran dan well-formed penggunaan istilah-istilah ini. "(3)
Definisi ini telah dikritik oleh Nicola Guarino bahwa, setelah memeriksa tujuh kemungkinan penafsiran ontologi, (4) menulis:
. "Titik awal dalam upaya klarifikasi ini akan menjadi analisis yang cermat dari interpretasi diadopsi oleh Gruber Masalah utama dengan interpretasi semacam itu adalah bahwa hal itu didasarkan pada gagasan konseptualisasi (diperkenalkan pada: Genesereth, Michael R. dan Nilsson, L . "Logical Yayasan Artificial Intelligence" Morgan Kaufmann, Los Altos, California, 1987) yang tidak sesuai intuisi kita, (...): menurut Genesereth dan Nilsson, konseptualisasi adalah satu set hubungan ekstensional menggambarkan keadaan tertentu urusan, sementara gagasan yang kita miliki dalam pikiran adalah salah satu intensional, yaitu sesuatu seperti grid konseptual yang kita menempatkan di berbagai kemungkinan keadaan. Kami mengusulkan dalam makalah ini definisi direvisi dari konseptualisasi yang menangkap aspek intensional ini, sementara memungkinkan kami untuk memberikan penafsiran yang memuaskan untuk definisi Gruber. " (5) Guarino memberikan definisi ini: "Sejak tulisan ini sengaja ditujukan untuk penonton interdisipliner, disarankan untuk memperhatikan beberapa klarifikasi terminologis awal, terutama karena beberapa hal penting tampaknya digunakan dengan pengertian yang berbeda dalam masyarakat yang berbeda 'Mari. kita pertama mempertimbangkan perbedaan antara "Ontologi" (dengan modal "o"), seperti dalam pernyataan "Ontologi adalah disiplin menarik" dan "ontologi" (dengan huruf kecil "o"), seperti dalam ungkapan "ontologi Aristoteles" atau "ontologi CYC ini". Istilah yang sama memiliki membaca terhitung dalam kasus yang pertama, dan pembacaan dihitung dalam kedua. Sementara mantan membaca tampaknya cukup jelas (sebagai merujuk pada disiplin filosofis tertentu), dua pengertian yang berbeda diasumsikan oleh masyarakat filosofis dan masyarakat Artificial Intelligence (dan, secara umum, seluruh masyarakat ilmu komputer) untuk istilah yang terakhir.
Dalam arti filosofis, kita bisa merujuk ke sebuah ontologi sebagai sistem tertentu kategori akuntansi untuk visi tertentu di dunia. Dengan demikian, sistem ini tidak tergantung pada bahasa tertentu: ontologi Aristoteles selalu sama, terlepas dari bahasa yang digunakan untuk menggambarkan hal itu. Di sisi lain, digunakan paling umum dalam AI, ontologi mengacu pada artefak rekayasa, didasari oleh kosakata khusus yang digunakan untuk menggambarkan suatu realitas tertentu, ditambah satu set asumsi eksplisit mengenai makna yang dimaksud dari kata-kata kosa kata. Ini set asumsi memiliki biasanya berupa teori logis orde pertama, di mana kosa kata muncul sebagai unary atau binary nama predikat, masing-masing disebut konsep dan hubungan. Dalam kasus yang paling sederhana, ontologi menggambarkan hirarki dari konsep yang berkaitan dengan hubungan subsumption; dalam kasus-kasus yang lebih canggih, aksioma cocok ditambahkan untuk mengungkapkan hubungan lain antara konsep dan untuk membatasi interpretasi mereka dimaksudkan.
Dua bacaan ontologi dijelaskan di atas memang terkait satu sama lain, tetapi untuk memecahkan kebuntuan terminologis kita perlu memilih salah satu dari mereka, menciptakan nama baru untuk lainnya: kita akan mengadopsi membaca AI, menggunakan konseptualisasi kata untuk merujuk untuk pembacaan filosofis. Jadi dua ontologi bisa berbeda dalam kosakata yang digunakan (menggunakan bahasa Inggris atau kata-kata Italia, misalnya) sementara berbagi konseptualisasi yang sama. "(6)

Daftar Pustaka