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

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

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