Sciweavers

FLAIRS
2000

Domain Semantics for Agent-Oriented Programming

13 years 5 months ago
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.
Roger Norton, S. Rebecca Thomas
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where FLAIRS
Authors Roger Norton, S. Rebecca Thomas
Comments (0)