Степанюк Владислав – Побудова локальних логічних висновків та знань з використанням локальної часової абдукції