2012 год Кафедра прикладной математики Руководитель работы: д.т.н., проф. Фальк В.Н. Национальный исследовательский университет «МЭИ» Выпускная работа. - презентация

1 2012 год Кафедра прикладной математики Руководитель работы: д.т.н., проф. Фальк В.Н. Национальный исследовательский университет «МЭИ» Выпускная работа студента гр. А Афанасьева Сергея на тему: «Реализация сетевой модели вычислений с аксиоматической и рекурсивной формами задания функций и предикатов»

2 2 Цель и задачи работы. Цель работы: Создание системы функционально-логического программирования (СФЛП), основанной на формализме направленных отношений (НО) и обладающей развитыми интерфейсными средствами построения и отладки программ. Основные задачи: выделение подмножества языка FLOGOL и формальное описание семантики его конструкций; разработка основных принципов и метода компиляции запросов; разработка специальной технологии ввода программ и соответствующих интерфейсных средств.

3 Направленным отношением (НО) R арности (n', n'') на носителе D называется множество упорядоченных пар кортежей элементов D длины n' и n'', соответственно. Направленные отношения. 2. НО называется тотальным ( ), если 1. НО называется функциональным ( ), если 3. НО называется обратным для, если Свойства НО: 3

4 4 Различные представления схем НО

5 Композиции схем НО. 5

6 6 Подстановка сетей Шаг вычисления схемы НО производится путем выполнения подстановки сети из правила вместо элемента сорта в сеть (обозначается ). = e замещаемый элементисходная сетьтело правила M b M R M M

7 7 Редукция сетей Редукция предназначена для трансформации сетей на основе знаний о свойствах интерпретации их элементов. С С С функциональность деструкторов С тотальность конструкторов ортогональность конструкторов С'С' С"С"

8 8 Вычисление в базисе конструкторов N N N S N S S N N S A S A S N N N N A S S A S N S N N N N N S A SS eAeA eAeA

9 9 Результаты работы В работе реализована базовая система функционально- логического программирования (СФЛП): 1)созданы средства распознавания и анализа исходного кода программ на разновидности языка FLOGOL; 2)разработана система структур внутренних представлений направленных отношений, выраженных в алгебраической и графической формах и их зависимостях. 3)Реализована процедура вычислений направленных отношений на основе принципа сетевой резолюции.

10 Заключение Понятие направленного отношения является универсальной основой представления различных семантических объектов, обеспечивающей возможность естественного выражения их свойств и композиций. Языки схем направленных отношений просты по формулировке, допускают компактную формализацию отношения схемной эквивалентности в форме логических исчислений, обладающих полнотой для подкласса ациклических схем и имеющих эффективные средства индуктивных доказательств для общего случая рекурсивных схем. Теория направленных отношений имеет тесную связь с логикой исчисления предикатов первого порядка, позволяющую по-новому интерпретировать известные процедуры логического вывода, в том числе и метод резолюции. Язык позволяет вносить в разрабатываемое описание предметной области дополнительную информацию о свойствах конкретной или всех допустимых интерпретаций, с целью обеспечения более высокой эффективности процесса выполнения запросов с использованием механизмов логического вывода. 10

11 Спасибо за внимание!