Dependencia de Matemática Discreta: en la asignatura, especialmente en las prácticas, se resuelven múltiples problemas de satisfacción de restricciones cuyo número de soluciones se puede calcular de antemano utilizando las fórmulas de combinatoria ya estudiadas en Matemática Discreta. Además, el lenguaje utilizado en las prácticas depende fuertemente del uso de definiciones inductivas, estudiadas de nuevo en Matemática Discreta. Es frecuente también la resolución de problemas con grafos, un tema de nuevo visto en Matemática Discreta

Dependencia de Lógica: esta asignatura tiene una fuerte dependencia de Lógica, ya que cuenta con que el alumno posea conocimientos de lógica proposicional y de primer órden, como elementos básicos para el desarrollo de otros formalismos de representación del conocimiento basados en lógicas no clásicas, tales como lógicas modales y lógicas no monótonas. Además, las prácticas de esta asignatura se basan actualmente en una variante de programación lógica, Answer Set Programming, con una fuerte conexión con el lenguaje Prolog, visto en la asignatura de Lógica.

Dependencia de Autómatas y Lenguajes Formales: en este caso, la dependencia es menor, aunque algunos de los conceptos vistos en Representación del Conocimiento, en especial en la resolución práctica de problemas, requieren la comprensión de definiciones y resultados básicos de Complejidad Computacional. También, algunas de las prácticas guardan relación con la manipulación de lenguajes formales y el uso de autómatas.

Dependencia de Algoritmos y de Algoritmos Básicos de IA: en la asignatura, se explican determinado tipo de algoritmos de búsqueda que utilizan heurísticas, como las explicadas en la asignatura de Algoritmos Básicos de IA.