This repository contains exercises, assignments, and tests from the Fundamentals of Artificial Intelligence course at Centro de Investigación en Computación, Instituto Politécnico Nacional (CIC IPN), taught by Dr. Salvador Godoy.
The course focuses on symbolic artificial intelligence, exploring its principles and applications. Symbolic AI is based on high-level representations of knowledge and reasoning, often leveraging formal logic and rule-based systems.
All exercises in this repository were implemented using Prolog, a logic programming language well-suited for symbolic AI due to:
- Its
non-deterministicnature, allowing efficient exploration of search spaces. - The
inference engine, enabling powerfulunificationoperations. - The ability to define
rules and relationships declaratively.