Domain Semantics for Agent-Oriented Programming

May 2000

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)

Volume

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)

All Papers

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.