Modeling agents' choices in temporal linear logic

Authors:
Duc Q. Pham;James Harland;Michael Winikoff
Affiliations:
School of Computer Science and Information Technology, RMIT University, Melbourne, Australia;School of Computer Science and Information Technology, RMIT University, Melbourne, Australia;School of Computer Science and Information Technology, RMIT University, Melbourne, Australia
Venue:
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Year:
2007

Citing 7
Cited 2

Linear logic

Theoretical Computer Science
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Agent negotiation as proof search in linear logic

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Flexible agent protocols via temporal and resource-based reasoning

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents

The Knowledge Engineering Review
Temporal linear logic as a basis for flexible agent interactions

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Symbolic negotiation with linear logic

CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems

Coordination: Reo, Nets, and Logic

Formal Methods for Components and Objects
Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies

Multiagent and Grid Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Decision-making is a fundamental feature of agent systems. Agents need to respond to requests from other agents, to react to environmental changes, and to prioritize and pursue their goals. Such decisions can have ongoing effects, as the future behavior of an agent may be heavily dependent on choices made earlier. In this paper we investigate a formal framework for modeling the choices of an agent. In particular, we show how the use of a choices calculus based on temporal linear logic can be used to capture distribution, temporal and dependency aspects of choices.