|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Представление знаний о задачах в системе порождения программкнига
- Автор: Ильин В.Д.
- Год издания: 1989
- Место издания: ИПИ РАН М
- Объём: 50 страниц (3,0 печатных листов)
- Тираж: 350 экз.
- По постановлению РИСО
- Аннотация: Препринт содержит описание методологии представления знаний о программируемых задачах в системе порождения программ. Программируемые задачи рассматриваются как конструктивные объекты, имеющие вид конечных деревьев. Процесс порождения целевой программной системы по описанию предметной области и условий применения представлен как процесс, состоящий из конкретизации задачных конструктивных объектов, их специализации, конструирования новых задачных объектов из уже имеющихся и замены понятийных оболочек. Модель предметной области может быть представлена одним из трёх типов задачных сетей (называемых U-, C- и N-сетями). Процесс программной реализации интересующей разработчика задачи включает конструктивное доказательство существования разрешающей структуры на задачной сети, выполняемое автоматически, и последующую конкретизацию найденной структуры. Приведено краткое описание языка спецификации задачных конструктивных объектов. Препринт написан на основе монографии автора (Ильин В.Д. Система порождения программ. М.: Наука, 1989. 264 с.) и представляет собой компактное изложение той её части, которая посвящена представлению знаний о программируемых задачах.
- Добавил в систему: Ильин Владимир Дмитриевич