ACM Transactions on Information Systems (TOIS)
Proceedings of the 8th international conference on Artificial intelligence and law
Simulating the evolution of language
Simulating the evolution of language
A note on interpretations for federated languages and the use of disquotation
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce
International Journal of Electronic Commerce
Hi-index | 0.00 |
The paper outlines an approach to the formal representation of signalling conventions, emphasising the prominent role played therein by a particular type of normative modality. It is then argued that, in terms of inferencing related to this modality, a solution can be given to the task J. L. Austin set but failed to resolve: finding a criterion for distinguishing between what Austin called constatives and performatives. The remainder of the paper indicates the importance of the normative modality in understanding a closely related issue: reasoning about trust in communication scenarios; this, in turn, facilitates a clear formal articulation of the role of a Trusted Third Party in trade communication.