A process-algebraic approach to multi-agent systems (language, operational semantics, behavioral equivalence)
Abstract: We present a process-algebraic approach to situated multi-agent systems which incorporates syntax for agent systems as well as for the environments (workspaces) they live in. Agent states are characterized by (1) a belief state, (2) a goal (desire, need) state and (3) a capabilities state. Capabilities are determined by a subspace of the workspace the agent lives in, and they are represented in the agent state as a collection of types of objects (tools, in the agent's workspace) the agent has... (Update)
Context of citations to this paper: More
.... teilar.gr Abstract This paper continues, simplifies and improves on previous work presented by this author in [5]. We present a process algebraic approach to multi agent systems, situated in some environment (workspace) Agent states are characterized by (1) a belief state,...
.... Institute of Larissa, Greece hartonas teilar.gr May 9, 2003 Abstract This report continues and improves on our previous work [12, 13, 14] on a process algebraic approach to multi agent systems. Our representation of agent states is more subtle than before and we introduce...
Cited by: More
Towards Team-Orientation in Agent Design: Social Plan .. - Hartonas.. (2003)
(Correct)
Towards Team-Orientation in Agent Design: Proof-Checking Plan.. - Hartonas (2003)
(Correct)
A Simplified Calculus for Situated Multi-Agent Systems - Hartonas (2003)
(Correct)
Similar documents (at the sentence level):
52.9%: A Minimal Calculus for Situated Multi-Agent Systems - Hartonas (2002)
(Correct)
Active bibliography (related documents): More All
0.2: A Process Algebraic Specification of the New Asynchronous.. - Gaspari, Zavattaro (1999)
(Correct)
0.2: Towards a Toolkit for Actor System Specification - Talcott
(Correct)
0.1: Running AgentSpeak(L) Agents on SIM AGENT - Machado, Bordini (2001)
(Correct)
Similar documents based on text: More All
0.6: Denotational Semantics for a Higher-Order Extension of the.. - Hartonas
(Correct)
0.3: Design of a Microprocessor-based Control System of.. - Technological.. (2004)
(Correct)
0.3: SOS-ware DEVILS - Strategic Open Software
(Correct)
Related documents from co-citation: More All
3: Generalized Object-Oriented Concepts for Inter-Agent Communication (context) - van Eijk, de Boer et al. - 2001
3: A Calculus of Mobile Processes I & II (context) - Milner, Parrow et al. - 1992
3: the logic of information flow
- Barwise, Gabbay et al. - 1995
BibTeX entry: (Update)
Hartonas, C., "A Minimal Calculus for Situated Multi-Agent Systems", in eProceedings, SSGRR03w (Advances in Infrastructures for e-Business, e-Education, e-Science, e-Medicine), L'Aquila, Italy, January 2003. http://citeseer.ist.psu.edu/article/hartonas03minimal.html More
@misc{ hartonas-minimal,
author = "Takis Hartonas",
title = "A Minimal Calculus for Situated Multi-Agent Systems",
url = "citeseer.ist.psu.edu/article/hartonas03minimal.html" }
Citations (may not include all citations):
453
Agent-Oriented Programming (context) - Shoham - 1993
134
A Theory of Objects (context) - Abadi, Cardelli - 1996
107
A Foundation for Actor Computation
- Agha, Mason et al. - 1997
72
Agent Technology: Foundations (context) - Jennings, Wooldridge - 1998
32
Type Systems for Object-Oriented Programming Languages
- Fisher - 1996
25
From Active Objects to Autonomous Agents
- Guessoum, Briot - 1999
20
Agent Theories, Architectures and Languages: A Survey
- Wooldridge, Jennings - 1995
12
AGENT0: A Simple Agent Language and its Interpreter (context) - Shoham - 1996
8
Information Passing and Belief Revision in Multi-Agent Syste..
- van Eijk, de Boer et al. - 1999
6
A Language for Modular Information-Passing Agents
- van Eijk, de Boer et al. - 1998
6
Calculus: An Algebraic Agent Language (context) - Kinny - 2002
5
Generalized Object-Oriented Concepts for Inter-Agent Communi.. (context) - van Eijk, de Boer et al. - 2001
4
An Algebra of Actors
- Gaspari, Zavattaro
2
Object-Agent Oriented Programming
- Amandi, Iturregui et al. - 1997
1
Calculus of Objects and Method Specialization (context) - Fisher, Honsell et al. - 1994
Documents on the same site (http://www.teilar.gr/~hartonas/publications.html): More
Full Abstractness for a Functional/Concurrent Language With .. - Hartonas, Hennessy (1998)
(Correct)
Denotational Semantics for a Higher-Order Extension of the.. - Hartonas
(Correct)
Full Abstractness for a Functional/Concurrent Language With .. - Hartonas, Hennessy (1998)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC