The Common Lisp Reasoner is an extension to CLOS (Common Lisp Object System) which adds a flexible rule language suitable for various reasoning tasks for AI-related applications (for scheduling, planning and diagnosis). Its rule language supports non-directional constraints and unidirectional rules. CLR also includes ATMS (the Assumption-based Truth-Maintenance System). It supports XML and RDF/XML, OWL.
ChatScript is AI chat bot engine. It won 2010-2012 Loebner prices against Suzette, Rosette, and Angela chat engines. It can be used standalone or in server mode. ChatScript comes with useful ontology files for nouns, verbs, adjectives, adverbs.
Posest is a C/C++ GPL library for 3D pose estimation from point correspondences. Pose estimation refers to the computation of position and orientation estimates that fully define the posture of a rigid object in space (6 DoF in total). The computation is based on a set of known 3D points and their corresponding 2D projections on an image. Posest estimates the relative motion between the 3D points and the camera system; single or binocular camera systems are supported. Image points typically orig
clojure2minizinc provides an interface between state-of-the-art constraint solvers (via MiniZinc) and a very high-level programming language with excellent abstraction capabilities, Clojure. The clojure2minizinc user models in Clojure constraint satisfaction or optimisation problems over Boolean, integer, real number, and/or set variables. clojure2minizinc translates them into MiniZinc, they are solved in the background by a compatible solver, and the result is read back into Clojure. clojure2mi