Page 49 - 6109

(абстрактний тип). Твердження про типи – аналітичні, наприклад: середній вік
студентів університету двадцять років. Навпаки, властивості множин –
синтетичні: число студентів університету рівне шести тисячам.
Використовуємо зв'язуючий вузол, що представляє ім'я предиката Підмн
для представлення відношення між двома множинами, з яких перше —
підмножина другого. Як Елем оголошує про приналежність елементу множині,
Підмн означає включення однієї множини в інше. Елем і Підмн відображають
приналежність множині.
Зв'язуючий вузол Це використовується для представлення відношення
між першим типом і більш загальним другим. Нагадаємо, що предикат Конкр
колись використовувався нами для представлення приналежності індивіда типу.
Це і Конкр відображають приналежність типу.
Концепти в семантичних мережах володіють різними властивостями, що
діляться на аналітичні (властивості «типу») і синтетичні (властивості
«множини»). Важливо враховувати цю відмінність при побудові мереж, щоб
уникнути некоректних висновків.

5.2.2 Представлення «сукупність -посилання»
Існує графічне представлення з вузлами, що представляють типи, що
називаються «вузлами-сукупностями», або «родовими вузлами», і вузлами, що

представляють конкретизації типів і називаються «вузлами-індивідами» або
«вузлами-посиланнями».
Семантична мережа утворюється послідовностями з трьох вузлів,
сполучених так: за вузлом-посиланням (наприклад, що представляє
конкретизацію „Конспект з ШІ”) слідує зв'язуючий вузол Конкр, що
супроводжується вузлом-сукупністю (наприклад, що представляє тип
«конспект»).
Ці три вузли можна згрупувати і представити одним «вузлом-
прямокутником», що складається з двох полів: з «поля сукупності», що містить
деякий тип, і наступного за цим полем «поля посилання», наприклад, з
конкретизацією типу з першого поля. Поле посилання (праворуч від двокрапки)
представляє конкретизацію „з ШІ”. Крім конкретизації його вмістом може бути
змінна. Поле сукупності (зліва від двокрапки) представляє тип. Представлення
[конспект: „Конспект з ШІ”) (або, коротше [конспект: з ШІ]) означає цілком
певний об'єкт типу «конспект». Представлення [конспект: х] означає просто
якийсь об'єкт типу «конспект». Відзначимо, що наявність змінної в правому
полі взагалі необов'язково. Наприклад, можна замінити представлення
[конспект: х] еквівалентним йому представленням [конспект].

49