Exploring the Future with Resource-Bounded Agents

Authors:
Michael Fisher;Chiara Ghidini
Affiliations:
Department of Computer Science, University of Liverpool, Liverpool, UK L69 3BX;Fondazione Bruno Kessler --- irst, Trento, Italy 38050
Venue:
Journal of Logic, Language and Information
Year:
2009

Citing 9
Cited 1

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
The imperative future: principles of executable temporal logic

The imperative future: principles of executable temporal logic
Local models semantics, or contextual reasoning = locality + compatibility

Artificial Intelligence
Agents for the Masses?

IEEE Intelligent Systems
Mechanizing Multi-Agent Reasoning with Belief Contexts

FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Programming Resource-Bounded Deliberative Agents

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Agents with Bounded Temporal Resources

Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Temporal Development Methods for Agent-Based

Autonomous Agents and Multi-Agent Systems

Executable specifications of resource-bounded agents

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We here describe research into the formal specification and implementation of resource-bounded agents. In particular, we provide an overview of our work on incorporating resource limitations into executable agent specifications. In addition, we outline future directions, highlighting both their promise and their problems.