Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013)

Материал из 0x1.tv

Аннотация

Докладчик
Владимир Атаманов.jpg
Владимир Атаманов

В моей работе рассматривается задача поиска минимальных существенных замкнутых классов многозначных логик. Доказано, что данная задача сводится к рассмотрению конечного числа функций.

Тем не менее уже для случая трехзначной логики полный переборне представляется возможным. Но в некоторых случаях поиск можно свести к разбору относительно небольшого набора функций, который проще всего произвести при помощи ЭВМ.

На языке C был разработан ряд программ, позволяющий решать задачу поиска замыкания некоторого набора функций с фиксированным числом аргументов.

Произведена сложностная оценка алгоритма замыкания функции и доказана его остановка через конечное время.

В процессе исследования алгоритмы существенно изменились, что позволило за приемлемое время полностью решить поставленную задачу для случая трёхзначной логики.

Видео

on youtube

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.

Скачать или открыть видео прямо в броузере
http://ftp.linux.kiev.ua/pub/conference/peers/pereslavl/2013/video/minimal-closed-classes-in-pk.webm







Статья

Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf

Примечания и отзывы

Plays:90   Comments:0