Roger Norton and Rebecca Thomas, Marist College, USA
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham’s work on AGENT0 (Shoham 1993), we replace Shoham’s modal logic semantics with a new framework based on category theory. In particular, we use a consistently complete w-algebraic complete partial order as our semantic structure, and briefly explore the consequences of this choice. Most importantly, we can now speak about the dynamic evolution of an agent’s mental state, while Shoham’s original work could only model the static mental state.