Розглянуто проблеми формалізації процесів взаємодії компонентів інтелектуальних систем для адаптивної технології створення інтелектуальних інформаційно-керуючих систем. Запропоновано формальну систему вищого (скінченного) порядку. Визначено декларативну та процедурну семантики та семантику в термінах моделей переходів для запропонованої системи. Формалізм дозволяє поєднати можливості інформаційної системи, вирішувача проблем та контролера станів на етапі реалізації планів у інтелектуальних системах.

• Теленик Сергій Федорович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"