Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань

Abstract

У статті аналізуються сучасні парадигми та стилі інтелектуальної обробки інформації в системах автоматизації міркувань.

The modem paradigms and styles of intelligent information processing in automated reasoning systems are considered in the paper.