En la nomenclatura propuesta por John McCarthy, se denomina inteligencia artificial lógica a aquélla en que el agente inteligente "lógico" diseñado representa su conocimiento del mundo, sus metas y el estado donde se encuentra mediante símbolos típicos de una lógica, por ej., preferentemente en lógica propositiva o bien en lógica de primer orden. Con dicha lógica su motor de inferencia le indica cuál es la siguiente acción o curso de acciones que debe emprender como apropiada para satisfacer su meta. Sinónimo: agente inteligente racional.
Esto no excluye el uso de la lógica en bases de datos y en otras partes de la ciencia de la computación.