A Truly Concurrent Model for Interacting Agents

Authors:
Wieke de Vries;Frank S. de Boer;Wiebe van der Hoek;John-Jules Ch. Meyer
Affiliations:
-;-;-;-
Venue:
PRIMA 2001 Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, Intelligent Agents: Specification, Modeling, and Applications
Year:
2001

Citing 8
Cited 3

Intention is choice with commitment

Artificial Intelligence
Agent-oriented programming

Artificial Intelligence
Non-monotonic temporal reasoning

Handbook of logic in artificial intelligence and logic programming (Vol. 4)
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
Multiagent systems: a modern approach to distributed artificial intelligence

Multiagent systems: a modern approach to distributed artificial intelligence
Reuse and abstraction in verification: agents acting in dynamic environments

First international workshop, AOSE 2000 on Agent-oriented software engineering
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Control Architectures for Autonomous and Interacting Agents: A Survey

PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues

AGENT WORK: a workflow system supporting rule-based workflow adaptation

Data & Knowledge Engineering
A concurrent agent model based on twin-subset semantic

PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Interpreted systems semantics for process algebra with identity annotations

TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We offer a new operational model of agents, which focuses on the interaction of agents with each other and with a dynamic environment. We abstract from the inner workings of agents by offering a definable mental lexicon and a flexible cycle of sensing, reasoning and acting. The model incorporates a truly concurrent semantics for physical action, observation, communication and events. The dynamic world and events which can occur in it are explicitly modelled, and actions have a duration. Due to these features, the models offers a realistic view on interacting agents.