Knowledge-based

Chapter 7-9: Knowledge-based Agents

Knowledge-based agents store facts typically using logic. First-order logic is often performed using the dedicated logic programming language Prolog. Here are two online examples using SWI-Prolog:

• A Simple Prolog Knowledge Base.
• The n-Queens Problem as a Logic Problem.

Python provides several modules for logic and symbolic mathematics. Here is a short primer for

• Logic Programming with Python.

Large language models (LLMs) are a type of knowledge-based agents that use natural language rather than logic. They can be used via an API or run locally:

• OpenAI Python API Library.
• Hugging Face provides a large collection of downloadable pretrained LLMs with
• Prompt engineering guide from OpenAI.

License

All code and documents in this repository is provided under Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) License