Domain Semantics for Agent-Oriented Programming

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 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.

• Type: Conference
• Year: 2000
• Where: FLAIRS
• Authors: Roger Norton, S. Rebecca Thomas
• Keywords: Agent's Mental State, Artificial Intelligence, FLAIRS 2000, Mental State, Modal Logic Semantics