Heterogeneous active agents, I: semantics

Thomas Eiter, V. S. Subrahmanian, George Pick

Research output: Contribution to journalArticlepeer-review

76 Scopus citations


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

Original languageEnglish (US)
Pages (from-to)179-255
Number of pages77
JournalArtificial Intelligence
Issue number1
StatePublished - Mar 31 1999
Externally publishedYes

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence


Dive into the research topics of 'Heterogeneous active agents, I: semantics'. Together they form a unique fingerprint.

Cite this