Skip to content
/ bps Public

Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.

License

Unknown, GPL-3.0 licenses found

Licenses found

Unknown
LICENSE.txt
GPL-3.0
Haskell-LICENSE.txt
Notifications You must be signed in to change notification settings

jphmrst/bps

Repository files navigation

Truth maintenance system libraries for Scala and Haskell

This repository is a translation from Common Lisp of the truth maintenance systems and other tools from Forbus and de Kleer's Building Problem Solvers into both Scala and Haskell.

The current version includes working versions of the justification- and assumption-based truth maintenance systems (JTMS and ATMS) in both languages. The Haskell translation omits the two top-level function of the original system, but otherwise both translations include all of the original functionality of these two TMSes. There is a partial translation of the rule engine wrapper for these TMSes in Scala.

To contribute, submit pull requests to one of the three branches atms (Scala), jtms (Scala) or haskell (both JTMS and ATMS), or start a new branch for one of the other BPS tools, at its repository.

About

Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.

Topics

Resources

License

Unknown, GPL-3.0 licenses found

Licenses found

Unknown
LICENSE.txt
GPL-3.0
Haskell-LICENSE.txt

Stars

Watchers

Forks

Packages

No packages published

Languages