Semantik dan aktivitas

Teks " Sistem digital semantik " mencatat bahwa teknologi semantik modern belum memiliki alat lengkap untuk menggambarkan kegiatan. Data semantik secara tradisional direpresentasikan dalam bentuk grafik objek, simpulnya adalah entitas atau nilai, dan edge - properties (relasi dan atribut). Grafik tersebut memperbaiki keadaan statis dari area subjek. Dan kumpulan data yang ditangkap secara serentak seperti itu sebaiknya dianggap sebagai grafik pengetahuan tentang area subjek, dan bukan sebagai modelnya, terutama jika area subjek adalah aktivitas, dan bukan serangkaian fakta yang tidak berubah.

Ketika mempertimbangkan area subjek sebagai aktivitas, pertama-tama kita harus tertarik bukan pada entitas dan properti mereka, tetapi dalam tindakan, yaitu peristiwa perubahan properti. Dan tentu saja, banyak yang relevan, yaitu, diperlukan untuk pemodelan domain, pernyataan tidak boleh terbatas pada deskripsi keadaan aktivitas saat ini, tetapi harus menjadi urutan pernyataan yang memperbaiki peristiwa entitas yang berubah. Faktanya, intinya adalah bahwa model semantik dari area subjek tidak boleh diwakili oleh grafik objek statis, tetapi oleh grafik diarahkan asiklik temporal.

Untuk membuatnya lebih jelas tentang apa ini, mari kita lihat beberapa contoh sederhana.

Dari hubungan "pasangan Sasha dan Masha" dengan atribut tetap dari individu "pria Sasha", "wanita Masha", hubungan "suami Sasha Masha", "istri Masha Sasha", serta hubungan hubungan antara pasangan dan orang tua mereka: menantu, menantu perempuan , ibu mertua, ayah mertua, dll. Namun, harus dicatat bahwa semua rangkaian fakta ini dihasilkan oleh satu peristiwa "Sasha dan Masha menikah" (menerima surat nikah), yang harus disimpan sebagai penegasan, dan semua hubungan yang dihasilkan oleh acara ini dapat secara otomatis dihasilkan di menanggapi pertanyaan pencarian menggunakan aksioma. Tetapi hal yang paling menarik dan penting dalam contoh ini adalah bahwa acara "menikah" dapat direkam sebagai acara "Sasha dan Masha bercerai", yang harus membatalkan semua hubungan yang dihasilkan oleh acara pertama.

Pertimbangan di atas menunjukkan bahwa kami benar-benar membedakan antara tindakan kegiatan yang mendefinisikan semantik dan hubungan yang mereka hasilkan, yang, tanpa menambahkan konten, hanya digunakan dalam komunikasi, yaitu, untuk menyederhanakan komunikasi. Urutan acara yang teratur seperti โ€œAbraham memperanakkan Ishak; Ishak memperanakkan Yakub; Yakub melahirkan Yehuda ... โ€adalah dasar yang lengkap untuk memahami siapa putranya, kakek atau buyutnya. Artinya, ontologi dapat dibagi menjadi (1) tingkat substansial (peristiwa, aktif) di mana peristiwa mengubah status atau sifat individu dicatat, dan (2) murni linguistik, di mana aturan untuk penamaan hubungan antara individu ditentukan. Selain itu, tingkat kedua ontologi hanya diperlukan untuk melayani permintaan pencarian, karena jelas bahwa pengguna akan tertarik pada "berapa banyak keponakan yang dimiliki Magog?",dan dia tidak akan mulai merumuskan pertanyaannya sedemikian rupa "berapa banyak anak yang dilahirkan oleh mereka yang lahir dari anak yang sama dari siapa Magog dilahirkan?".

Hal di atas berlaku untuk semua hubungan - semuanya berasal dari tindakan aktivitas. Hubungan "Ivanov bekerja di Gazprom" dan "Gazprom memiliki seorang karyawan Ivanov" dihasilkan oleh acara "Ivanov dipekerjakan oleh Gazprom." Ini adalah pernyataan terakhir yang harus dilestarikan sebagai pernyataan tentang individu, dan kehadiran Ivanov dalam daftar karyawan Gazprom dan tempat kerja Ivanov diperoleh dari pernyataan ini sesuai dengan aturan dasar (aksioma). Nah, jelas bahwa data pada individu harus mengandung urutan semua peristiwa perekrutan dan pemberhentian, yaitu, mereka harus menjadi grafik asiklik yang diarahkan sementara.

Sebagai contoh, menunjukkan bukan hanya keuntungan, tetapi kebutuhan semantik dari pendekatan acara, kita dapat mengutip fiksasi hubungan "sepotong - utuh" (sepotong roti - sepotong roti). Upaya untuk menggambarkan secara langsung melalui bagian-seluruh hubungan akan mengarah pada absurditas "sepotong roti adalah bagian dari roti". Lagipula, jelas bahwa ketika kita memiliki roti, maka tidak ada benda seperti sepotong, dan ketika kita memotong sepotong roti, tidak akan ada keseluruhan, yaitu, sepotong roti. Dengan benar, situasi ini hanya dapat dijelaskan dengan pernyataan verbal "sepotong terpotong dari roti", yang terkait dengan momen waktu tertentu dan dari mana semua kesimpulan dapat ditarik tentang hubungan antara roti yang ada sebelum tindakan memotong potongan dan "potongan" individu baru yang muncul hanya setelah acara ini .

Jadi, jika kita menetapkan sendiri tujuan dari kegiatan pemodelan, maka kita harus memperbaiki tindakan / peristiwa (dengan kata kerja) sebagai pernyataan, membangunnya menjadi urutan temporal - proses dan tindakan. Dengan pendekatan ini, data akan disusun dalam grafik asiklik langsung. Dalam hal ini, grafik objek yang menggambarkan properti entitas dari area subjek harus diperoleh sebagai hasil kesimpulan logis dari totalitas tindakan, yaitu peristiwa perubahan properti.

All Articles