Handbook of theoretical computer science (vol. B)
Properties of independently axiomatizable bimodal logics
Journal of Symbolic Logic
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Representing and executing agent-based systems
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
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
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Formalising abilities and opportunities of agents
Fundamenta Informaticae
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
An XML framework for agent-based E-commerce
Communications of the ACM
A logical approach to the dynamics of commitments
Artificial Intelligence
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Introduction to Multiagent Systems
Introduction to Multiagent Systems
IEEE Internet Computing
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Agents with Bounded Temporal Resources
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
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
Agent Programming with Declarative Goals
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Programming agent deliberation: an approach illustrated using the 3APL language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Agent programming in dribble: from beliefs to goals using plans
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Self-Organizing Manufacturing Control: An Industrial Application of Agent Technology
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Verifying space and time requirements for resource-bounded agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Implementing commitment-based interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Exploring the Future with Resource-Bounded Agents
Journal of Logic, Language and Information
Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
Model-checking memory requirements of resource-bounded reasoners
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Programming resource-bounded deliberative agents
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Annals of Mathematics and Artificial Intelligence
Model checking agent programming languages
Automated Software Engineering
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
Logical theories of intelligent (or rational) agents have been refined and improved over the past 20 years of research. Such logical theories are used in many ways, one of which is as the basis for executable agent specifications. Here, agents are specified using a logical description and then this description is directly executed in order to implement the agent's behaviour. This provides strong correctness results for the implemented agent, directly corresponding the formal specification with the implementation. With increased application, it has become clear that such specifications of idealised agents are inappropriate in practical situations. An agent may have many resource-bounds to contend with, both in terms of time and memory, and this should be taken into account within the agent's formal specification. Thus, in this paper, we tackle the problem of representing and executing resource-bounded agents. The framework developed here allows the restriction of the amount of reasoning, both temporal and doxastic, that the agent is permitted. We address the formal properties of the framework, present results concerning the execution of such specifications, and consider the practical outcome of such restrictions.