Логічні моделі подання знань засновані на понятті формальної системи. Їхніми прикладами можуть бути числення предикатів і будь-яка конкретна система продукцій. Ці моделі є дедуктивними системами; у них використовується модель виведення з заданої системи посилок за допомогою фіксованої системи правил. Подальший розвиток предикатних систем пов’язаний з переходом до індуктивних систем, у яких правила виведення породжуються на основі обробки кінцевого числа навчаючих прикладів. Перспективний напрямок – розвиток псевдофізичних логік, що, як і індуктивні моделі, поки не одержали широкого практичного застосування. Логічні моделі включають моделі на основі числення висловлювань та продукційні моделі. Наведемо приклад реалізації логічної моделі у вигляді продукційної. Продукційна модель – найпростіший засіб подання знань. Вони складаються з продукційних правил типу "Якщо А, то В". А називають посилкою (умовою, антецедентом), а В – дією (консеквентом). Це означає, що "якщо всі умови А є істинними, тоді В – також істинне" або "якщо всі умови А виконуються, тоді потрібно виконати дію В". Приміром, якщо дати Келлі Ладі команду та показати шматок м’яса, тоді вона дасть лапу. Якщо ж м’ясо не показувати, то лапу вона не дасть, навіть почувши команду.