The KBP (Knowledge-Behavior-Platform) architecture is proposed with the aim of integrating the low level control systems (Platform), and artificial intelligence (Knowledge) by interfacing these two layers through explicitly plugging them into the reactive planning component (Behavior). For the implementation language of the behavior model, the CCL notation was chosen.

A Concurrent Communicating Lists (CCL) is a kind of algebraic-like notation, which facilitates executable modeling of computer control systems. CCL is well integrated with Clojure - a modern concurrent dialect of the Lisp language. Thus every CCL model can be easily extend to the fully functional Clojure/Java application.

file dokuwiki_fancy_my.tpl does not exist
  • user/konrad/research/formalmeths.txt