A Formal Description of a Practical Agent for E-Commerce

Authors:
Matteo Pradella;Marco Colombetti
Affiliations:
-;-
Venue:
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
Year:
2001

Citing 7
Cited 1

Logics of time and computation

Logics of time and computation
Agents that buy and sell

Communications of the ACM
On the Need for Practical Formal Methods

FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Cooperative vs. Competitive Multi-Agent Negotiations in Retail Electronic Commerce

CIA '98 Proceedings of the Second International Workshop on Cooperative Information Agents II, Learning, Mobility and Electronic Commerce for Information Discovery on the Internet
Branching time temporal logic

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Agent-Mediated Integrative Negotiation for Retail Electronic Commerce

AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
Agent-mediated electronic commerce: a survey

The Knowledge Engineering Review

Guaranteeing Properties for E-commerce Systems

AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software agents are starting to play a significant role in the field of electronic commerce. Particularly, as mediators they must be completely trusted by the user. This paper tackles this subject by proposing a practically tailored formal model, based on BDI. This model is tested on the ground, firstly, by describing an existing agent for electronic commerce; then, by proving some useful trading properties fulfilled by the specification.