Продукционные системы. Алгоритмическая концепция. Режим возвратов. Логический вывод. логическое программирование. Продукционные системы с исключением из правил. Выразительные возможности К-систем. Продукционное программирование.

• ББК // 22.12 Основи математики. Математична логіка
• ББК // 22.18 Математична кібернетика
• ББК // 32.973 Електронні обчислювальні машини і пристрої. Електронна обчислювальна техніка
• Алфавітно-предметний покажчик до ББК // Електронна обчислювальна техніка 32.973
• Алфавітно-предметний покажчик до ББК // Електронні обчислювальні машини 32.973
• Алфавітно-предметний покажчик до ББК // Кібернетика математична 22.18
• Алфавітно-предметний покажчик до ББК // Математична кібернетика 22.18