Roger Norton and Becky Thomas - Marist College
An Application of Category Theory to Artificial Intelligence
Agent-oriented programming (AOP) is a technique for programming intelligent programs to interact with each other, usually cooperatively. In AOP, agents are designed to have "mental states," with analogs to human beliefs and intentions. We will present an overview of the AOP paradigm, discuss some of the constraints on models of mental states, and show how category theory can be used to model the static and dynamic properties of mental states.
[Program
Information | Faculty | Mathematics Seminar | Mathematics Links]
[Math
Department Home Page | Marist
College]