вывод решений vs. логический вывод (искусственный интеллект) IT

[Julia_JVB]

Пожалуйста, помогите перевести:
Алгоритмы вывода решений, в соответствии моделям предоставления знаний, предназначены для дедуктивного логического вывода на правилах, а также поиски решений на множестве прецедентов-экземпляров классов понятий.

Вариант перевода:
Algorithms of decision inference (?), corresponding to knowledge represenation models, are meant for a deductive logical inference based on rules, as well as search for a decision on the basis of a set of cases-instances of concept classes

Заранее спасибо!