[ ⊨ ] Logtalk

Symbolic AI examples

The Logtalk distribution includes some symbolic AI examples, most of them adapted from literature and other logic programming systems (see the example/port notes for credits). These include:

Neuro-symbolic

  • ncl - Net-Clause Language examples

Expert systems

  • birds - Bird identification expert system
  • faults - Expert system for automobile fault diagnosis

Searching

  • searching - State-space blind and heuristic search methods

Machine Learning

  • metagol - Port of the Metagol Inductive Logic Programming (ILP) system

Reasoning

  • many_worlds - Design pattern for reasoning about different worlds, where a world can be e.g. a dataset, a knowledge base, a set of examples
Search