Clojure Tools for Symbolic Artificial Intelligence - Saul Johnson

2,847 views · Published 12 August 2017 · 20:17 · Indexed 26 October 2026

Channel: ClojureTV · 2017 · Science & Technology

Watch on YouTube

This talk introduces the principles of using Clojure for Symbolic Artificial Intelligence. We examine Clojure tools to support this kind of programming – in particular a symbolic pattern matcher developed for Clojure programmers. This matcher provides new types of function definition, new conditional forms and new iterative structures for searching over symbolic data and collating results. We use the matcher to construct symbolic forms for Artificial Intelligence and demonstrate its use in planning systems, rule-based inference and other advanced techniques for code construction, demonstrating that its use can significantly simplify the specification of these types of inference mechanism as well as other types of code.

More from this channel

• 18:41 Fertile Ground, the Roots of Clojure - Michael Fogus

  ClojureTV

  2,412 views · 17 December 2012

• 39:41 Lisp, Functional Programming, and the State of Flow - Tom Faulhaber

  ClojureTV

  3,393 views · 17 December 2012

• 39:17 Protocol XIII: Clojure Protocols Explained - Sean Devlin

  ClojureTV

  3,183 views · 17 December 2012

• 5:23 Aleph: A Framework for AsynchronousCommunication - Zach Tellman

  ClojureTV

  2,458 views · 17 December 2012

• 26:57 Clojure and Android - Daniel Solano Gomez

  ClojureTV

  3,398 views · 7 January 2013

• 38:24 Performance in the Wild - Craig Andera

  ClojureTV

  1,798 views · 7 January 2013

• 41:18 Concurrent Stream Processing - David McNeil

  ClojureTV

  1,238 views · 7 January 2013

• 42:20 Ousterhout's Dichotomy Isn't (Part 2 of the Simplicity/Power/Focus Series) - Stuart Halloway

  ClojureTV

  2,733 views · 7 January 2013