Clojure Tools for Symbolic Artificial Intelligence
summary
A Clojure port of a Common Lisp symbolic pattern matcher provides matcher variables (eg ?x), macros like defmatch and collection patterns (M4, M4) that extract tuples and generalize operators; it powers a partially optimized breadth‑first operator search* over STRIPS‑style operators and a simple LMG legal‑move generator. A NetLogo UI plus shrep client/server demos stacking blocks show the planner finding moves and the rule engine (compile-rule / apply-rule) infers grandparents from parent facts. Integrations include L kit for parsing and simple SMS operators; the demos work and the code is on Cognizance’s GitHub.
AI-written summary · about
chapters (8)
- 0:00Intro
- 1:05Red Vegetables: A Basic Example
- 2:05Which tools specifically? - An Operator Search Mechanism A breadthirst search mechanism for apalying
- 6:08How did that work? - Legal Move Generator (LMG)
- 6:39Let's play countdown..!
- 10:11Enter the Operator Search Mechanism!
- 14:10Reusable Collection Transformations: Matcher Functions
- 15:52Bringing the Theory into
related talks
27mReal World AI Integration
41mA Clojure fusion of symbolic and data driven AI
39mFrom Greek to Clojure!
21mLLMs + Clojure = Who needs frameworks?
36mLearning Clojure and CLJS by playing a card game
38mIntroduction to Logic Programming with Clojure
52m"The Amazing Clojure"
24mBuilding Intelligible Systems