Towards a Formal Language for E-Contracting

Table of Contents

Towards a Formal Language for E-Contracting

Contract Cycle

Business Communication

Contract Formation & E-commerce

Motivating Example: Pizza Ordering Dialogue

Speech Acts (I)

Speech Acts (II)

The structure of Promises

Peter’s Request

Peter’s Request ( modified)

Susan’s acknowledgement

Susan’s promise to deliver

Susan’s promise to deliver (modified)

Susan’s assertion on price

What about the effects of performatives?

The effects of Susan’s promise

Extensions/Modifications to FLBC

Keeping a Promise (Kimbrough)

Keeping a Promise Generically (modified)

State of Play and Future Work

Email: a.k.daskalopulu@open.ac.uk

Home Page: http://mcs.open.ac.uk/ad528/

Conference Pages: http:/www.ukuug.org/events/winter99/