Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Rule-based programming under OPS5
Rule-based programming under OPS5
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
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
Formal Semantics for an Abstract Agent Programming Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Intention Reconsideration Reconsidered
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
The Right Agent (Architecture) to do the Right Thing
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
On Augmenting Reactivity with Deliberation in a Controlled Manner
Balancing Reactivity and Social Deliberation in Multi-Agent Systems, From RoboCup to Real-World Applications (selected papers from the ECAI 2000 Workshop and additional contributions)
Reliable Agent Computation: An Algebraic Approach
PRIMA 2001 Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, Intelligent Agents: Specification, Modeling, and Applications
A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Specification of Heterogeneous Agent Architectures
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Architectures and Idioms: Making Progress in Agent Design
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Running AgentSpeak(L) Agents on SIM_AGENT
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
The Psi Calculus: An Algebraic Agent Language
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
| Hi-index | 0.00 |
An important issue when defining a rule-based agent programming language is the design of interpreters for these programming languages. Since these languages are all based on some notion of rule, an interpreter must provide some means of selection from a set of such rules. We provide a concrete and intuitive ordering on rules on which this selection can be based. This ordering is inspired by the common sense metaphor of intelligent agents in Artificial Intelligence. Furthermore, we provide a language with a formal semantics for programming agent interpreters. The main idea is not to integrate this language into the agent language itself, but to provide the constructs for building interpreters at another (meta) level of specification. The operational semantics is accordingly specified at the meta level, by means of a (meta) transition system. Using this language we make a comparison between several interpreters for agent languages in the literature.