Цитата из книги «Искусственный интеллект и Большие Данные. Без хайпа и наукообразия»

Логические модели основаны на логике предикатов – разделе символической логики, изучающей рассуждения и другие языковые контексты с учётом внутренней структуры входящих в них простых утверждений. Логика предикатов хорошо изучена математиками, отражаемые ей правила легко программируются. Однако она не может отразить множество фактов и взаимосвязей, очевидных человеку, но не выразимых с точки зрения формальной логики.