A logic-based calculus of events
New Generation Computing
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 BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
Supervised interaction: creating a web of trust for contracting agents in electronic environments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Cooperative Information Agents and Communication
CIA '97 Proceedings of the First International Workshop on Cooperative Information Agents
Implementation of a Cooperative Agent Architecture Based on the Language-Action Perspective
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Using Event Calculus to Formalise Policy Specification and Analysis
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
Annals of Mathematics and Artificial Intelligence
Artificial intelligence today
AGENTO: a simple agent language and its interpreter
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Meeting the deadline: why, when and how
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
An agentspeak meta-interpreter and its applications
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Defeasible Reasoning with e-Contracts
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A reasoning agent for credit card fraud using the event calculus
International Journal of Electronic Security and Digital Forensics
Extending the BDI architecture with commitments
Proceedings of the 2006 conference on Artificial Intelligence Research and Development
Physical interaction in pervasive computing: formal modeling, analysis and verification
Proceedings of the 2009 international conference on Pervasive services
Agreements and policies in cooperative mobile agents: formalization and implementation
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
| Hi-index | 0.00 |
We propose a simple event calculus representation of contracts and a reactive belief-desire-intention agent architecture to enable the monitoring and execution of contract terms and conditions. We use the event calculus to deduce current and past obligations, obligation fulfilment and violation. By associating meta-information with the contracts, the agent is able to select which of its contracts with other agents are relevant to solving its goals by outsourcing. The agent is able to handle an extendable set of contract types such as standing contracts, purchase contracts and service contracts without the need for a first-principles planner.