A messenger model for navigating among bureaucratic requirements
- 23 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A formal, computational model is proposed fornavigating among the bureaucratic requirements relatingto social services and electronic commerce. This modelis based on a notion of intelligent agents, calledmessengers, that visit 'regimes' -- formalized electronicfront offices -- of these agencies, and assemble thevarious requirements into a customized procedure for theclient. On the client's approval, the procedure may thenbe executed by the messenger, delivering and collectingthe appropriate electronic documents and payments. Thescheme relies on a common representation for regimes.One such representation, called Candid, is presentedhere. Various implementation aspects are also discussed.Keywords
This publication has 5 references indexed in Scilit:
- On artificial agents for negotiation in electronic commercePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1996
- Legal procedures as formal conversations: contracting on a performative networkPublished by Association for Computing Machinery (ACM) ,1989
- A Logic Model for Electronic ContractingSSRN Electronic Journal, 1988
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971