A Programming Logic for Part of the Agent Language 3APL

Authors:
Koen V. Hindriks;Frank S. de Boer;Wiebe van der Hoek;John-Jules Ch. Meyer
Affiliations:
-;-;-;-
Venue:
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Year:
2000

Citing 6
Cited 1

Agent-oriented programming

Artificial Intelligence
AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
First-Order Dynamic Logic

First-Order Dynamic Logic
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
A Formal Embedding of AgentSpeak(L) in 3APL

AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
On the Correctness of PRS Agent Programs

ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),

Dynamic logic for plan revision in intelligent agents

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

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.