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

== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->

<references/>

[[Category:OSEDUCONF-2013]]

[[Category:Наука]]
<!-- topub -->
{{stats|youtube_plays=3|refresh_time=2017-06-11T21:38:03.669313|vimeo_plays=84}}

Версия 18:07, 11 июня 2017

Аннотация

Докладчик

Владимир Атаманов

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

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

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

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

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

Видео

on youtube

Статья

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

Plays:87   Comments:0