A programming logic for part of the agent language 3APL

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John Jules C. Meyer

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


3APL is an agent programming language based on the concept of an intelligent agent. An intelligent agent is a computational entity with a mental state consisting of its beliefs and goals. The operational semantics of the language 3APL is specified by a formal semantics in terms of a socalled transition system. An operational semantics allows operational reasoning about agents, but does not allow for a compositional style of reasoning based on the structure of the agent itself. For this purpose, in this paper we construct a denotational semantics which corresponds to the operational semantics and provides the basis for a semantics of a programming logic for (part of) 3APL. The programming logic is a variant of a modal logic with operators for reasoning about the actions and the beliefs of an agent. Our results clarify the relation between more practical approaches to agents, represented by agent programming languages, and more theoretical work on agents, represented by socalled agent logics.

Original languageEnglish
Title of host publicationFormal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers
EditorsDiana Gordon, James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff
Number of pages12
ISBN (Print)3540427163, 9783540427162
Publication statusPublished - 1 Jan 2001
Externally publishedYes
Event1st International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000 - Greenbelt, United States
Duration: 5 Apr 20007 Apr 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference1st International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000
Country/TerritoryUnited States


Dive into the research topics of 'A programming logic for part of the agent language 3APL'. Together they form a unique fingerprint.

Cite this