"ДЕКЛАР"

      система  обработки  декларативных структур знаний –

                                язык продукций ДЕКЛ

        

         Кузнецов Игорь Петрович, Шарнин Михаил Михайлович,

                           Пузанов Владимир Васильевич      

                                           

                                                       1989 г.      

 

                                       Аннотация

 

       В данном документе приведено описание языка продукций ДЕКЛ), являющегося языком логического программирования и входящего в систему "ДЕКЛАР". Описание сопровождается  примерами.

       В данном документе  представлены  сведения по версии языка ДЕКЛ, реализованной авторами следующих  теоретических работ: Кузнецов И.П. Механизмы обработки семантической информации, М. Наука, 1978; Кузнецов И.П. Золотов Е.В. Расширяющиеся системы активного диалога, М. Наука, 1982; Кузнецов И.П. Семантические представления, М. Наука, 1986; Кузнецов И.П., Шарнин М.М., Пузанов В.В.  Система обработки декларативных структур знаний "ДЕКЛАР-2 препринт:  ИПИАН АН СССР, ИО АН СССР, МИРЭА, 1989.

 

                            

        Содержание

 

  1.  Общие сведения                                      

 

  2.  Элементы и основные конструкции языка ДЕКЛ

  2.1.    Формы записи продукций   

  2.2.    Принципы применения продукций  

  2.3.    Процесс применения продукций, последовательность действий

  2.4.    Операторы  в  левой  и  правой частях  продукций 

  2.5.    Управление применением продукций  

 

  3.   Встроенные предикаты, спецфрагменты   

  3.1.    Арифметические операции                     

  3.2.    Операции над именами                            

  3.3.    Пересылка информации из ОП  на  диск  и выдача на экран

  3.4.    Ввод в ОП знаний и их компоновка               

  3.5.    Удаление информации, очистка зон               

  3.6.    Операции с дисковой памятью                     

  3.7.    Посимвольная  обработка литеральных конструкций

  3.8.    Управление режимом работы                      

 

  4.  Правила составления программ на языке ДЕКЛ 

 

  5.  Решение прикладных задач                            

  5.1.    Поиск транзитивного замыкания на графе   

  5.2.    Вывод на "И-ИЛИ" графе                          

  5.3.    Реализация компоненты объяснений