Формальне подання діяльності користувача з виявлення інформаційно-значущих об’єктів
Розглянуто діяльність користувача щодо пошуку інфораційно-значущих об’єктів розв’язання поставленої перед ним задачі. Для формалізації цієї діяльності використано апарат теорії множин. Наведено математичні моделі формулювання запиту, аналізу документів у видачі та відбір інформаційних об’єктів для розв’язання поставленої перед користувачем задачі. Крім того, розроблено моделі в аспекті інтелектуальної діяльності користувача та когнітивних процесів. Наведено результати експериментальних досліджень з такими пошуковими системами, як Google, Yandex, МЕТА, Rambler, Yahoo.