The Agent That Invents Its Own Rules

The previous post in this series described what I called Tier 1 of the Credence architecture: a DSL for Bayesian decision agents with three types, four axioms, and a constitution forbidding everything else. That post ended with a program the user had to write by hand &mdash; a short S-expression encoding a hypothesis about what the environment was like and how to act in it. Hand-written programs…