Кафедра прикладной математики

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

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

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

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

Подстановка сетей

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

Вычисление в базисе конструкторов

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

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