Engineering Executable Agents Using Multi-Context Systems
OA Location
Author(s)
Sabater, J
Sierra, C
Parsons, S
Jennings, NR
Type
Journal Article
Abstract
In the area of agent-based computing there are many proposals for specific system architectures, and a number of proposals for general approaches to building agents. As yet, however, there a very few attempts to relate these together, and even fewer attempts to provide methodologies which relate designs to architectures and then to executable agents. This paper provides a first attempt to address this shortcoming. We propose a general method of specifying logic-based agents, which is based on the use of multi-context systems, and give examples of its use. The resulting specifications can be directly executed, and we discuss an implementation which makes this direct execution possible.
Date Issued
2002
Citation
Journal of Logic and Computation, 2002, 12, pp.413-442
Start Page
413
End Page
442
Journal / Book Title
Journal of Logic and Computation
Volume
12
Identifier
http://eprints.soton.ac.uk/254230/
Subjects
Science & Technology
Technology
Computer Science, Theory & Methods
Logic
Computer Science
Science & Technology - Other Topics
COMPUTER SCIENCE, THEORY & METHODS
LOGIC
agent-based computing
multi-context systems
software engineering
executable specifications
Computation Theory & Mathematics
01 Mathematical Sciences
08 Information And Computing Sciences
22 Philosophy And Religious Studies
Notes
keywords: Agent-based computing, multi-context systems, software engineering, executable specifications.
Article Number
3