Introducing the fair and logical trade project

Abstract

We introduce our framework for logic-based composi-tional e-commerce interaction. We aim to provide open-source software which adds a light-weight formal messag-ing layer to business communications, to increase the ac-cessibility of e-commerce infrastructure to smaller business players. In the process we hope to develop a comprehensive theory of business communication. We present the logical structures and techniques we apply, and provide initial pro-totype testing results. Disciplines E-Commerce

A Convention-based Approach to Agent Communication Languages

“…The middle-layer provides a rather comprehensive formal theory, against the backdrop of which the systems engineer may devise particular ACL implementations, meeting specific application requirements. The work reported in Jones and Kimbrough (2005) and Kimbrough et al (2005) provides an indication of how this methodology may be applied in practice. A conspicuous feature of our approach is that it is neither intention-based nor commitment-based, but convention-based.…”