Domain Semantics for Agent-Oriented Programming

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.