@inproceedings{e34d8b701bff47549ce860011cc67606,
title = "A programming logic for part of the agent language 3APL",
abstract = "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.",
author = "Hindriks, {Koen V.} and {de Boer}, {Frank S.} and {van der Hoek}, Wiebe and Meyer, {John Jules C.}",
year = "2001",
month = jan,
day = "1",
language = "English",
isbn = "3540427163",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer/Verlag",
pages = "78--89",
editor = "Diana Gordon and Rash, {James L.} and Walt Truszkowski and Hinchey, {Michael G.} and Rouff, {Christopher A.}",
booktitle = "Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers",
note = "1st International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000 ; Conference date: 05-04-2000 Through 07-04-2000",
}