Heterogeneous active agents, I: Semantics

Thomas Eiter, V.S. Subrahmanian, George Pick
1999 Artificial Intelligence  
Over the years, many different agent programming languages have been proposed. In this paper, we propose a concept called Agent Programs using which, the way an agent should act in various situations can be declaratively specified by the creator of that agent. Agent Programs may be built on top of arbitrary pieces of software code and may be used to specify what an agent is obliged to do, what an agent may do, and what an agent may not do. In this paper, we define several successively more
more » ... sticated and epistemically satisfying declarative semantics for agent programs. We further show that agent programs cleanly extend well understood semantics for logic programs, and thus are clearly linked to existing results on logic programming and nonmonotonic reasoning. : S 0 0 0 4 -3 7 0 2 ( 9 9 ) 0 0 0 0 5 -3 Definition 2.3 (Code call condition). A code call condition is defined as follows: (1) Every code call atom is a code call condition.
doi:10.1016/s0004-3702(99)00005-3 fatcat:qwjtokajprhq5feu72qgxl6q44