Model semantik
sistem makna yang diberikan kepada ungkapan beberapa bahasa formal, sama seperti tafsiran. Sistem logik selalunya dibina dalam bentuk kalkulus formal, yang hanya mengambil kira rupa formula dan simbol. Kalkulus menjadi bahasa selepas simbolnya diberi beberapa makna dan domain objek yang berkaitan dengan ungkapan dan formulanya ditunjukkan. Selepas ini kita boleh bercakap tentang kebenaran dan kepalsuan formula kalkulus. Cik. Ini adalah tepat nama yang diberikan kepada sistem nilai atau domain objek yang mengubah formula kalkulus logik menjadi kenyataan benar atau salah.
Kamus logik. - M.: Tumanit, ed. Pusat VLADOS. A.A.Ivin, A.L.Nikiforov. 1997 .
Lihat apa "model semantik" dalam kamus lain:
Model kawalan ialah skema yang menggambarkan secara visual aktan semantik dan sintaksis leksem dan kaedah reka bentuk morfosintaksisnya. Konsep ini diperkenalkan dalam teori "Maksud ↔ Teks". Sintaksis Konsep asas Ayat: mudah, rumit... Wikipedia
Istilah ini mempunyai makna lain, lihat Rangkaian ... Wikipedia
Contoh rangkaian semantik Rangkaian semantik ialah model maklumat kawasan subjek, dalam bentuk graf terarah, bucunya sepadan dengan objek kawasan subjek, dan lengkok (tepi) mentakrifkan hubungan antara mereka. Objek boleh... ... Wikipedia
Buku oleh I. A. Melchuk "Bahasa Rusia dalam model "Maksud ↔ Teks"" Teori "Makna ↔ Teks" ialah teori bahasa yang dicipta oleh I. A. Melchuk dan mewakilinya sebagai model pelbagai peringkat transformasi makna ke dalam teks dan belakang (model “Maksud ↔ Teks” ");… … Wikipedia
SIFAT MODEL- Kelas model ingatan manusia berdasarkan andaian bahawa maklumat disimpan dalam bentuk satu set ciri tersendiri (semantik) yang mengenal pasti secara unik setiap konsep. Untuk butiran lanjut, lihat ciri semantik dan rujuk. Dengan… …
Web Semantik (model)- – kelas model teori struktur ingatan jangka panjang manusia. Dalam model sedemikian, dipercayai bahawa maklumat disimpan dalam bentuk perkataan, konsep atau ayat sebagai unit bebas yang disatukan oleh sambungan atau hubungan tertentu.... ... Kamus Ensiklopedia Psikologi dan Pedagogi
RANGKAIAN SEMANTIK (MODEL)- Kelas model teori struktur ingatan jangka panjang manusia. Dalam model sedemikian, maklumat dianggap disimpan dalam bentuk perkataan, konsep atau ayat sebagai unit bebas yang dihubungkan oleh sambungan atau hubungan tertentu. Sebagai contoh,… … Kamus penerangan psikologi
Istilah ini mempunyai makna lain, lihat Model. Model rangkaian ialah penerangan teori tentang prinsip operasi set protokol rangkaian yang berinteraksi antara satu sama lain. Model ini biasanya dibahagikan kepada lapisan, supaya protokol di peringkat yang lebih tinggi ... Wikipedia
Rencana atau bahagian ini mengandungi senarai sumber atau rujukan luar, tetapi sumber kenyataan individu masih tidak jelas kerana kekurangan nota kaki... Wikipedia
Model berasaskan peraturan membolehkan anda mewakili pengetahuan dalam bentuk ayat seperti "Jika (syarat), maka (tindakan)." Model pengeluaran ialah serpihan Rangkaian Semantik berdasarkan hubungan sementara antara keadaan objek. Pengeluaran... ...Wikipedia
Buku
- Ayat kata kerja bahasa Rusia. Kamus sintaksis eksperimen. Kamus Sintaksis Eksperimen ialah penerbitan leksikografi yang pada asasnya baru, kerana ia adalah yang pertama dalam leksikografi Rusia yang mensistematisasikan model semantik bahasa Rusia...
- Teori sintaks berfungsi. Daripada struktur semantik kepada cara linguistik, A. Mustajoki. Buku ini mempersembahkan model baharu sintaks berfungsi, secara sistematik mengikut prinsip "dari makna kepada bentuk". Titik permulaan konsep ialah struktur semantik yang mencerminkan...
Salah satu percubaan untuk mengembangkan keupayaan AIS ialah penggunaan gabungan pelbagai bingkai MT dan produk (peraturan pengeluaran dalam slot bingkai adalah satu bentuk melampirkan pengetahuan prosedur pada bingkai), rangkaian semantik dan model logik rangkaian semantik dan produk . Walau bagaimanapun, hanya menggabungkan beberapa MPZ dalam satu pangkalan pengetahuan, dipanggil gabungan atau campuran, adalah, sebagai peraturan, tidak berkesan. IPM yang berbeza tidak semestinya tidak serasi antara satu sama lain, tetapi ia berbeza dalam tahap yang sesuai dengan kepercayaan dalaman khusus pakar.
Peringkat reka bentuk konsep melibatkan penciptaan gambar rajah konsep pangkalan data. Spesifikasi dibangunkan setakat yang diperlukan untuk bergerak ke pelaksanaan. Pada peringkat ini, model terperinci pandangan data pengguna dibuat, kemudian ia disepadukan ke dalam model konseptual (model semantik) yang menangkap semua elemen data korporat yang akan terkandung dalam pangkalan data.
Sebilangan besar model data semantik diketahui (contohnya, model "hubungan entiti", model rangkaian semantik, dll.), tetapi konsep, idea dan kaedah yang digunakan di dalamnya dicirikan oleh persamaan yang hebat, yang memudahkan mereka pertimbangan bersama.
Model Rangkaian Semantik
Kemungkinan untuk menyatakan semantik dari segi entiti dan hubungan adalah sangat terhad. Meningkatkan kuasa ekspresif cara visual dicapai dalam model rangkaian semantik. Dalam erti kata tertentu, keupayaan web semantik adalah yang paling universal daripada yang diketahui setakat ini.
Tiga model perwakilan pengetahuan mempunyai perbezaan asas - model pengeluaran, model bingkai dan model rangkaian semantik.
Reka bentuk konsep berfungsi untuk mendapatkan model peringkat semantik yang menentukan kawasan subjek tertentu. Perihalan model konseptual mencerminkan objek EIS dan hubungan antara mereka, tetapi tidak harus bergantung pada kaedah pembentangan data dalam sistem pengurusan pangkalan data tertentu. Model konseptual ialah perwakilan yang diformalkan, dinyatakan secara eksplisit, bagi kawasan subjek yang mentakrifkan satu set keadaannya, termasuk peraturan untuk mengubahnya. Model ini direka bentuk untuk memastikan operasi yang stabil dan jangka panjang bagi keseluruhan sistem dan untuk menahan penggantian satu kompleks kawalan dengan yang lain.
Klasifikasi penunjuk perancangan ekonomi negara harus bersifat multidimensi dan dibina dalam interaksi rapat dengan semua pengelas dan tatanama semua-Kesatuan dan tempatan yang lain. Yang terakhir dijelaskan oleh fakta bahawa nama penunjuk mengandungi istilah yang termasuk dalam pelbagai pengelas dan tatanama. Menggunakan hubungan antara istilah yang direkodkan di dalamnya (genus - spesies, keseluruhan - bahagian, dll.), adalah mungkin untuk menentukan hubungan semantik antara penunjuk, termasuk kemasukannya dalam jenis, jenis dan kelas tertentu. Komposisi penuh kriteria pengelasan mesti ditentukan berdasarkan analisis struktur rancangan, sifat model ekonomi dan matematik yang digunakan, dan kaedah untuk menyelesaikan masalah yang termasuk dalam sokongan metodologi ASPR.
Maklumat mengenai kejadiannya dan transformasi seterusnya melalui tiga peringkat, yang sebenarnya, menentukan aspek semantik, sintaksis dan pragmatiknya. Seseorang mula-mula memerhatikan fakta tertentu tentang realiti sekeliling, yang dicerminkan dalam kesedarannya dalam bentuk set data tertentu. Di sinilah aspek sintaksis memainkan peranan. Kemudian, selepas menstrukturkan data ini mengikut bidang subjek tertentu, seseorang membentuk pengetahuan tentang fakta yang diperhatikan. Ini adalah aspek semantik maklumat yang diterima. Maklumat dalam bentuk pengetahuan mempunyai tahap penstrukturan yang tinggi, yang membolehkan kita mengasingkan maklumat lengkap tentang realiti di sekeliling kita dan mencipta model maklumat objek yang dikaji-18
Jenis pengetahuan boleh diwakili oleh salah satu model semantik berikut
Perancangan pangkalan data disediakan, kawasan subjek dianalisis dan gambar rajah hubungan objek dibina, elemen data diserlahkan dan peraturan semantik dirumuskan. Model data direka bentuk, yang kemudiannya ditukar kepada model logik sistem pengurusan pangkalan data tertentu.
KE ARAH MODEL LENGKAP SEMANTIK
Oleh kerana hubungan model lengkap semantik boleh
Fasa terakhir analisis domain adalah untuk mereka bentuk struktur maklumatnya (atau gambar rajah konsep). Anda boleh menerangkan kawasan subjek atau mereka bentuk gambar rajah konsep menggunakan bilangan model yang agak besar yang dibuat khusus untuk tujuan ini. Dalam kes yang mudah, kaedah pengagregatan dan generalisasi tradisional digunakan untuk membina skema konsep. Semasa pengagregatan, objek maklumat (elemen data) digabungkan menjadi satu sesuai dengan hubungan semantik antara objek.
Dalam setiap pangkalan data, keperluan konseptual digeneralisasikan ke dalam model konseptual, dinyatakan dengan cara abstrak, membolehkan seseorang melihat semua kandungan maklumat kawasan subjek. Model konsep membolehkan anda naik di atas kawasan subjek dan melihat elemen individunya. Pada masa yang sama, perincian, perincian dan kedalaman kawasan subjek bergantung pada model yang dipilih. Model dengan keupayaan minimum harus menyediakan keupayaan untuk menentukan data dan hubungannya. Sehubungan itu, kuasa semantik model konseptual meningkat dengan bilangan ciri tambahan yang dibenarkan untuk operasi.
Model konsep aktif dibangunkan bukan sahaja untuk menyimpan penerangan tentang konsep yang digunakan dan hubungan antara mereka. Matlamat telah ditetapkan untuk membentuk pertimbangan baharu secara dinamik, menentukan identiti atau persamaan konsep, dan menghasilkan tafsiran mereka yang bersifat pengiraan. Model sedemikian termasuk perwakilan rangkaian semantik yang berbeza, beberapa model konseptual khas, sebagai contoh. Walau bagaimanapun, mencipta mekanisme lengkap dari segi teknologi seperti ini telah terbukti menjadi tugas yang sangat sukar. Sehingga baru-baru ini, model konsep aktif tidak sesuai untuk kegunaan langsung dalam pembangunan IS industri.
Komponen model maklumat, hubungan dan urutan pembangunan ditentukan. Laluan pembangunan teknologi dibina, peringkat individu (fasa) proses dikenal pasti, struktur dan kandungan data awal dan akhir setiap peringkat ditubuhkan. Prosedur formal untuk kawalan semantik data output setiap peringkat dilakukan untuk menyahpepijat model maklumat dan mengawal proses pembangunan projek.
Tiga jenis pengetahuan sepadan dengan tiga jenis model untuk perwakilannya: sintaksis, semantik dan pragmatik. Kehadiran dua yang terakhir adalah ciri paling penting yang membezakan sistem pintar daripada semua yang lain.
Model jenis ini adalah berdasarkan struktur yang sebelum ini dipanggil rangkaian semantik. Model rangkaian boleh dinyatakan secara rasmi dalam borang
Bingkai paling kerap ditakrifkan sebagai struktur data untuk mewakili situasi stereotaip. Pada masa yang sama, kaedah mengelompokkan banyak situasi tertentu ke dalam satu stereotaip, sebagai peraturan, tidak boleh ditakrifkan dengan ketat. Selalunya, situasi stereotaip (untuk bidang subjek tertentu) dikenal pasti oleh penyelidik, berdasarkan pengalaman dan data pemerhatian. Pengetahuan tidak formal penyelidik tentang bidang subjek boleh dianggap sebagai sistem konsep yang menentukan idea situasi tertentu. Setiap konsep dikaitkan dengan situasi tertentu, dan situasi khusus adalah konsisten dengan stereotaip yang sepadan. Jika konsep mewakili pengetahuan tidak formal tentang situasi stereotaip, maka bingkai adalah pengetahuan formal. Oleh itu, bingkai sepadan dengan konsep yang mencerminkan objek, fenomena dan ciri kawasan subjek. Ini memberi alasan untuk menganggap bingkai sebagai blok semantik atau modul model perwakilan pengetahuan. Model perwakilan pengetahuan dibina dalam bentuk rangkaian bingkai, iaitu sistem bingkai yang saling berkaitan dengan cara tertentu. Oleh itu, dalam kami
Sebilangan sistem menggunakan gabungan rangkaian dan model perwakilan pengetahuan pengeluaran. Dalam model sedemikian, pengetahuan deklaratif diterangkan dalam komponen rangkaian model, dan pengetahuan prosedur dalam komponen pengeluaran. Dalam kes ini, mereka bercakap tentang kerja sistem pengeluaran pada rangkaian semantik.
Dalam dunia moden, propaganda telah lama tidak lagi menjadi aktiviti ideologi semata-mata; ia terletak pada asas saintifik yang tegar. Ia adalah perang terakhir, yang dipanggil "Perang Dingin," yang sebenarnya adalah perang semantik, perang semiotik. Ia memberi dorongan yang ketara kepada pembangunan model pengaruh komunikatif. Mereka agak saintifik, walaupun ia dirumuskan dengan tahap sinis yang luar biasa untuk telinga kita. Oleh itu, rakyat Amerika percaya bahawa adalah lebih baik bagi mereka untuk memproses seorang wartawan daripada sepuluh suri rumah atau lima doktor. Memandangkan seseorang itu dianggap sebagai saluran, dan bukan sebagai penerima maklumat.
Model rangkaian semantik (model Quilian). Rangkaian semantik ialah graf terarah dengan nama
Halangan semantik boleh menimbulkan masalah komunikasi untuk syarikat yang beroperasi dalam persekitaran multinasional. Sebagai contoh, General Motors, setelah dibuang ke Amerika Latin
Normalisasi
Rencana utama:Bentuk biasa
Apabila mereka bentuk pangkalan data hubungan, sesuatu yang dipanggil normalisasi biasanya dilakukan.
Model perhubungan entiti
Rencana utama:model data ER
Model perhubungan entiti “Model Perhubungan Entiti”), atau model ER, yang dicadangkan oleh P. Chen pada tahun 1976, ialah wakil paling terkenal bagi kelas model semantik (konseptual, infologi) bagi kawasan subjek. Model ER biasanya diwakili dalam bentuk grafik, menggunakan tatatanda asal P. Chen, dipanggil rajah ER, atau menggunakan tatatanda grafik lain ( Kaki Gagak, Kejuruteraan Maklumat dan lain-lain).
Kelebihan utama model ER:
· penglihatan;
· model membolehkan anda mereka bentuk pangkalan data dengan sejumlah besar objek dan atribut;
· Model ER dilaksanakan dalam banyak sistem reka bentuk pangkalan data berbantukan komputer (contohnya, ERWin).
Elemen asas model ER:
· objek (entiti);
· sifat-sifat objek;
· perkaitan antara objek.
Entiti ialah objek domain yang mempunyai atribut.
Hubungan antara entiti dicirikan oleh:
· jenis sambungan (1:1, 1:N, N:M);
· kelas keahlian. Kelas boleh diperlukan atau pilihan. Jika setiap kejadian entiti terlibat dalam perhubungan, maka kelas keahlian adalah wajib, jika tidak, ia adalah pilihan.
Model semantik (model konseptual, model maklumat) ialah model kawasan subjek yang direka untuk mewakili semantik kawasan subjek pada tahap abstraksi tertinggi. Ini bermakna keperluan untuk menggunakan konsep peringkat rendah yang berkaitan dengan perwakilan fizikal dan penyimpanan data tertentu dihapuskan atau diminimumkan.
Pemodelan semantik telah menjadi subjek penyelidikan yang sengit sejak akhir 1970-an. Motivasi utama untuk penyelidikan sedemikian (iaitu, masalah yang cuba diselesaikan oleh penyelidik) adalah fakta berikut. Hakikatnya sistem pangkalan data biasanya mempunyai pengetahuan yang sangat terhad tentang maksud data yang disimpan di dalamnya. Selalunya, mereka hanya membenarkan manipulasi data jenis mudah tertentu dan menentukan beberapa kekangan integriti mudah yang dikenakan ke atas data ini. Sebarang tafsiran yang lebih kompleks adalah tanggungjawab pengguna. Walau bagaimanapun, adalah bagus jika sistem boleh menjadi lebih berpengetahuan sedikit dan lebih bijak dalam menjawab pertanyaan pengguna, serta menyokong antara muka pengguna yang lebih kompleks (iaitu, peringkat lebih tinggi).
[…]
Idea pemodelan semantik boleh berguna sebagai alat reka bentuk pangkalan data walaupun ia tidak disokong secara langsung oleh DBMS.
Wakil kelas model semantik yang paling terkenal ialah model hubungan entiti (model ER).
Keperluan pereka pangkalan data untuk alat pemodelan domain yang lebih mudah dan berkuasa telah menimbulkan arah model data semantik. Memandangkan mana-mana model data semantik yang dibangunkan, seperti model hubungan, termasuk bahagian struktur, manipulasi dan kamiran, tujuan utama model semantik adalah untuk menyediakan keupayaan untuk menyatakan semantik data.
Sebelum kita melihat secara ringkas ciri-ciri model semantik biasa, mari kita lihat kemungkinan aplikasinya.
Selalunya dalam amalan, pemodelan semantik digunakan pada peringkat pertama reka bentuk pangkalan data. Dalam kes ini, skema pangkalan data konsep dihasilkan dari segi model semantik, yang kemudiannya ditukar secara manual kepada skema hubungan (atau beberapa yang lain). Proses ini dijalankan di bawah kawalan kaedah di mana semua peringkat transformasi sedemikian dinyatakan dengan jelas.
Kurang kerap dilaksanakan ialah kompilasi automatik skema konseptual kepada skema relasi. Terdapat dua pendekatan yang diketahui: pendekatan berdasarkan pembentangan eksplisit gambar rajah konsep sebagai maklumat awal untuk penyusunan, dan pendekatan tertumpu pada membina sistem reka bentuk bersepadu dengan penciptaan automatik gambar rajah konsep berdasarkan temu bual dengan pakar domain. Dalam kedua-dua kes, hasilnya ialah skema pangkalan data hubungan dalam bentuk normal ketiga.
Akhirnya, kemungkinan ketiga, yang masih belum melampaui projek penyelidikan dan eksperimen, adalah kerja langsung dengan pangkalan data dalam model semantik, i.e. DBMS berdasarkan model data semantik. Dalam kes ini, dua pilihan sekali lagi dipertimbangkan: menyediakan antara muka pengguna berdasarkan model data semantik dengan pemetaan automatik binaan kepada model data hubungan, dan pelaksanaan langsung DBMS berdasarkan beberapa model data semantik. Yang paling hampir dengan pendekatan kedua ialah DBMS berorientasikan objek moden, yang model datanya hampir dengan model semantik dalam banyak aspek.
Model semantik Hubungan Entiti (Perhubungan Entiti)
Salah satu model data semantik yang paling popular ialah model Entity-Relationship (selalunya dipanggil model ER secara ringkas).
Kebanyakan pendekatan moden untuk reka bentuk pangkalan data (terutamanya hubungan) adalah berdasarkan penggunaan variasi model ER. Model ini dicadangkan oleh Chen pada tahun 1976. Pemodelan domain adalah berdasarkan penggunaan gambar rajah grafik yang merangkumi sebilangan kecil komponen heterogen. Disebabkan oleh kejelasan pembentangan rajah pangkalan data konseptual, model ER telah tersebar luas dalam sistem CASE yang menyokong reka bentuk pangkalan data hubungan berbantukan komputer.
Model ER bukanlah salah satu model data yang digunakan dalam bahasa definisi data sedia ada, walaupun ia berkait rapat dengan beberapa daripadanya. Ia berfungsi untuk mewajarkan jenis maklumat yang perlu disimpan dalam sistem pangkalan data. Model perhubungan objek melaksanakan fungsi memodelkan objek dunia sebenar di mana sistem pangkalan data harus digunakan.
Istilah "objek" tidak sesuai dengan definisi yang komprehensif. Memadai untuk mengatakan bahawa objek adalah sesuatu yang wujud dan boleh dibezakan, iaitu, kita boleh membezakan satu objek dengan objek yang lain. Sebagai contoh, setiap kerusi adalah objek. Objek itu juga adalah orang tertentu dan sebuah kereta. Mana-mana semut boleh dianggap sebagai objek jika ada cara untuk membezakannya daripada semut lain. Jika tidak, kita tidak menganggap semut sebagai objek. Objek juga boleh menjadi konsep peringkat lebih tinggi, seperti labah-labah, tikus, babun, dan tumbuhan dalam pangkalan data biologi. Jika kita tidak terlalu tegas, maka konsep seperti cinta dan benci juga boleh diklasifikasikan sebagai objek.
Kumpulan semua objek yang serupa membentuk satu set objek. Oleh itu, set objek boleh menjadi semua orang, semua kereta, semua haiwan, semua emosi.
Istilah "objek serupa" tidak ditakrifkan dengan tepat, dan adalah mungkin untuk mewujudkan bilangan tak terhingga sifat berbeza yang akan mentakrifkan satu set objek. Salah satu perkara utama dalam mereka bentuk model dunia sebenar yang berkaitan dengan pangkalan data tertentu ialah pemilihan set objek.
Atribut dan Kunci
Objek mempunyai sifat yang dipanggil atribut yang mengaitkan beberapa nilai dari domain nilai atribut yang diberikan dengan setiap objek dalam set objek. Biasanya domain atribut ialah set integer, nombor nyata atau rentetan aksara, tetapi kami tidak menolak jenis nilai lain. Sebagai contoh, kita boleh mengatakan bahawa objek dalam set objek orang mempunyai atribut seperti nama (rentetan aksara), ketinggian (nombor nyata), dll.
Memilih atribut yang sesuai untuk set objek ialah perkara utama kedua dalam mereka bentuk model dunia sebenar. Atribut atau set atribut yang nilainya mengenal pasti secara unik setiap objek dalam set objek dipanggil kunci set objek tersebut. Pada dasarnya, setiap set objek mempunyai kunci, kerana kami telah menerima hipotesis bahawa setiap objek boleh dibezakan daripada yang lain. Tetapi jika untuk satu set objek kita telah memilih satu set atribut yang tidak mengandungi kunci, maka mustahil untuk membezakan satu objek dalam set dari yang lain. Selalunya nombor urutan yang dipilih secara rawak disediakan sebagai atribut yang berfungsi sebagai kunci. Contohnya, dalam satu set objek yang merangkumi hanya warganegara AS, satu atribut yang dipanggil "nombor keselamatan sosial" mungkin digunakan sebagai kunci.
Mungkin terdapat kes apabila objek dalam set berbeza bukan dalam atribut, tetapi dalam hubungannya dengan objek jenis lain. Jenis perhubungan "terbina dalam" yang paling penting (hubungan yang ditentukan pengguna akan diterangkan kemudian) ialah perhubungan "ialah". Kami katakan A ialah B dan tulis "A ialah B" jika set objek B ialah generalisasi bagi set objek A, atau, secara bersamaan, A ialah jenis khas B.
Pertimbangkan pangkalan data kereta dengan set objek BRAND yang mempunyai atribut JENIS dan MODEL. Objek dalam set BRANDS ialah, sebagai contoh, "Datsun-280". Bagaimanapun, berkemungkinan kedua-dua jenis kenderaan tersebut menggunakan nombor siri yang sama. Untuk menjadikan objek dalam set KERETA unik, kami memerlukan hubungan antara set KERETA dan JENAMA, yang mewakili fakta bahawa mana-mana kereta mempunyai jenama tertentu. Kemudian setiap kejadian daripada set objek CARS akan dikenal pasti secara unik melalui NOMBOR SIRI dan atribut JENIS objek berkaitan daripada set JENAMA.
Hubungan antara set objek hanyalah senarai tertib set objek. Satu set objek tertentu mungkin muncul dalam senarai ini lebih daripada sekali. Jika terdapat sambungan REL antara set objek E 1, E 2, ..., E k, maka diandaikan bahawa terdapat satu set tuple dimensi k, yang namanya REL Kami memanggil set sedemikian sebagai set daripada sambungan. Setiap tuple (e 1, e 2, ..., e k) dalam set REL membayangkan bahawa objek e 1, e 2, ..., e k, di mana e i tergolong dalam set E i, berada dalam hubungan REL dengan satu sama lain sebagai satu kumpulan. Kes yang paling biasa adalah tidak syak lagi apabila k=2, tetapi kadangkala senarai terdiri daripada tiga atau lebih set objek.
Katakan kita mempunyai set objek ORANG dan hubungan IS-IBU yang senarai set objeknya ialah ORANG, ORANG. Kami menganggap bahawa set pautan IS-MOTHER merangkumi semua pasangan (pi,p j) supaya orang p i ialah ibu kepada orang p j.
Rangkaian semantik ialah model maklumat kawasan subjek, dalam bentuk graf terarah, bucunya sepadan dengan objek kawasan subjek, dan lengkok (tepi) menentukan hubungan antara mereka. Objek boleh menjadi konsep, peristiwa, sifat, proses. Oleh itu, rangkaian semantik adalah salah satu cara untuk mewakili pengetahuan. Nama itu menggabungkan istilah dari dua sains: semantik dalam linguistik mengkaji makna unit bahasa, dan rangkaian dalam matematik adalah sejenis graf - satu set bucu yang disambungkan oleh lengkok (tepi). Dalam rangkaian semantik, peranan bucu dimainkan oleh konsep asas pengetahuan, dan arka (dan yang diarahkan) menentukan hubungan antara mereka. Oleh itu, rangkaian semantik mencerminkan semantik kawasan subjek dalam bentuk konsep dan hubungan.
Idea sistematisasi berdasarkan beberapa hubungan semantik telah dicadangkan oleh saintis awal. Contohnya ialah klasifikasi biologi Carl Linnaeus pada tahun 1735. Jika kita menganggapnya sebagai rangkaian semantik, maka klasifikasi ini menggunakan hubungan subset, AKO moden.
Nenek moyang rangkaian semantik moden boleh dianggap sebagai graf kewujudan, yang dicadangkan oleh Charles Peirce pada tahun 1909. Ia digunakan untuk mewakili pernyataan logik dalam bentuk rajah khas. Peirce memanggil kaedah ini "logik masa depan."
Kerja ahli psikologi Jerman Otto Seltz pada tahun 1913 dan 1922 mempunyai permulaan penting dalam kajian rangkaian. Di dalamnya, dia menggunakan graf dan hubungan semantik untuk menyusun struktur konsep dan persatuan, serta kaedah mengkaji sifat mewarisi. Penyelidik J. Anderson (1973), D. Norman (1975) dan lain-lain menggunakan karya ini untuk memodelkan ingatan manusia dan sifat intelek.
Rangkaian semantik komputer telah dibangunkan secara terperinci oleh Richard Richens pada tahun 1956 sebagai sebahagian daripada projek Pusat Bahasa Cambridge pada terjemahan mesin. Proses penterjemahan mesin dibahagikan kepada 2 bahagian: terjemahan teks sumber ke dalam bentuk perwakilan perantaraan, dan kemudian bentuk perantaraan ini diterjemahkan ke dalam bahasa yang dikehendaki. Rangkaian semantik hanyalah bentuk perantaraan.
Matematik membolehkan kita menerangkan kebanyakan fenomena di dunia sekeliling kita dalam bentuk pernyataan logik. Rangkaian semantik muncul sebagai percubaan untuk menggambarkan formula matematik. Perwakilan utama untuk rangkaian semantik ialah graf. Walau bagaimanapun, kita tidak boleh lupa bahawa di sebalik imej grafik pastinya terdapat tatatanda matematik yang ketat, dan kedua-dua bentuk ini tidak bersaing, tetapi saling melengkapi.
Bentuk utama perwakilan rangkaian semantik ialah graf. Konsep rangkaian semantik ditulis dalam bentuk bujur atau segi empat tepat dan disambungkan dengan anak panah dengan tandatangan - arka. Ini adalah bentuk yang paling mudah untuk dilihat oleh manusia. Kelemahannya muncul apabila kita mula membina rangkaian yang lebih kompleks atau cuba mengambil kira ciri bahasa semula jadi.
Klasifikasi rangkaian semantik:
Untuk semua rangkaian semantik, pembahagian mengikut arity dan bilangan jenis perhubungan adalah sah.
Mengikut bilangan jenis, rangkaian boleh menjadi homogen atau heterogen. Rangkaian homogen hanya mempunyai satu jenis hubungan (anak panah), sebagai contoh, klasifikasi spesies biologi yang disebutkan di atas (dengan hubungan tunggal AKO). Dalam rangkaian heterogen, bilangan jenis perhubungan adalah lebih daripada dua. Ilustrasi klasik model perwakilan pengetahuan ini mewakili rangkaian sedemikian dengan tepat. Rangkaian heterogen adalah lebih menarik untuk tujuan praktikal, tetapi juga lebih sukar untuk dipelajari.
Mengikut arity, rangkaian dengan hubungan binari (menghubungkan dua konsep) adalah tipikal. Perhubungan binari sememangnya sangat mudah dan mudah kelihatan seperti anak panah antara dua konsep pada graf. Di samping itu, mereka memainkan peranan yang luar biasa dalam matematik. Walau bagaimanapun, dalam amalan, anda mungkin memerlukan perhubungan yang menghubungkan lebih daripada dua objek—N-ary. Dalam kes ini, kesukaran timbul - bagaimana untuk menggambarkan sambungan sedemikian pada graf supaya tidak keliru. Graf konseptual mengurangkan kesukaran ini dengan mewakili setiap hubungan sebagai nod yang berasingan.
Sebagai tambahan kepada graf konsep, terdapat pengubahsuaian lain rangkaian semantik ini adalah satu lagi asas untuk pengelasan (mengikut pelaksanaan).
