Создан заказ №3350028
19 ноября 2018
Разработка теоретико-модельных методов анализа оценочных суждений посетителей сайтов.
Как заказчик описал требования к работе:
Разработка теоретико-модельных методов анализа оценочных суждений посетителей сайтов.
Логика предикатов, применение леммы Хенкина, построение атомарной диаграммы
Прикладываю примеры работ с текущим научным руководителем как примеры
https://yadi.sk/d/8srdt2Vauh7yh/%D0%9D%D0%93%D0%A3_%D0%A4%D0%98%D
0%A2/%D0%9A%D1%83%D1%80%D1%81%D1%8B/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0 - Здесь лежат ссылки на материалы по мат. логике, по которым учились (13-14 год), не прикрепляются, т.к. вес больше допустимого
Суть работы: сервис, определяющий по отзыву/комментарию отношение автора к происходящему. "Сервис" как правило на что способностей хватает
Используется логика предикатов
Для извлечения "отношения" должна использовать лемма Хенкина (часто встречается Генкина)
Накидано от научного руководителя :
- константы имеют имена (функций в модели нет, нам не нужны)
- Каждую новую переменную формализуем
- все термы - константы
В модели берем все утверждения и их отрицания, выписываем
Используем атомарные диаграммы (алгебраическая модель в сигнатуре, добавляем имя для каждого элемента)
Модель счетная, нужно только омега (w) шагов. С помощью объединения X можем строить модель больше наших формул
Новые утверждения могут добавлять новые сигнатурные символы
фрагмент поста (отзыва, комментария) - конечная фрагмент атомарной диаграммы
Отличие от леммы Хенкиина - не нужны кванторы
Функций тоже нет, только некоторые отношения
Построение модели с помощью owl/uml
Работа должна содержать в себе введение - обзор существующих решений, применение леммы Хенкина (и непосредственно теория по ней), составленная модель для решения поставленной задачи, обоснование, реализация модел
подробнее
Заказчик
заплатил
заплатил
3000 ₽
Заказчик оплатил в рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией, чтобы исполнитель повысил уникальность работы
26 ноября 2018
Заказ завершен, заказчик получил финальный файл с работой
5
Разработка теоретико-модельных методов анализа оценочных суждений посетителей сайтов..docx
2018-11-29 13:37
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Очень всё понравилось! Всё наши предпочтения выполнены полностью и в указанный срок. Спасибо!