Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS, vol. 2922, pp. 128–145. Springer, Heidelberg (2004)
Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31(12), 40–47 (1998)
Jones, A.J.I., Parent, X.: Conventional signalling acts and conversation. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS, vol. 2922, pp. 1–17. Springer, Heidelberg (2004)
Jones, A.J., Parent, X.: A convention-based approach to agent communication languages (forthcoming, 2006)
Stenius, E.: Mood and language game. Synthese 17, 254–274 (1967)
Searle, J.R.: Speech Acts. Cambridge University Press, Cambridge (1969)
Jones, A.J.: Communication and Meaning — An Essay in Applied Modal Logic. Synthese Library, vol. 168. D. Reidel, Dordrecht (1983)
Jones, A.J., Sergot, M.J.: A formal characterisation of institutionalised power. Journal of the Interest Group in Pure and Applied Logic (IGPL) 4(3), 427–443 (1996); Reprinted in [25, pp. 349–367]
Jones, A.J.I.: On normative-informational positions. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol. 3065, pp. 182–190. Springer, Heidelberg (2004)
Searle, J.R., Vanderveken, D.: Foundations of Illocutionary Logic. Cambridge University Press, Cambridge (1985)
Austin, J.L.: How to Do Things with Words. Oxford at the Clarendon Press, Oxford (1962)
Skyrms, B.: Evolution of the Social Contract. Cambridge University Press, Cambridge (1996)
Skyrms, B.: The Stag Hunt and the Evolution of Social Structure. Cambridge University Press, Cambridge (2004)
Cangelosi, A., Parisi, D. (eds.): Simulating the evolution of language. Springer, New York (2002)
Jones, A.J., Kimbrough, S.O.: A note on modelling speech acts as signalling conventions. In: Kimbrough, S.O., Wu, D.J. (eds.) Modelling in Electronic Commerce. International Handbooks on Information Systems, pp. 325–342. Springer, Berlin (2005)
Jones, A.J., Kimbrough, S.O.: A convention-based approach to a formal language for business communication. draft manuscript, University of Pennsylvania, Philadelphia, PA (2006)
Kimbrough, S.O.: EDI, XML, and the transparency problem in electronic commerce. In: Kimbrough, S.O., Wu, D.J. (eds.) Formal Modelling in Electronic Commerce: Representation, Inference, and Strategic Interaction. International Handbooks on Information Systems, pp. 201–227. Springer, Berlin (2005)
Kimbrough, S.O., Tan, Y.H.: On lean messaging with unfolding and unwrapping for electronic commerce. International Journal of Electronic Commerce 5(1), 83–108 (2000)
Kimbrough, S.O., Moore, S.A.: On automated message processing in electronic commerce and work support systems: Speech act theory and expressive felicity. ACM Transactions on Information Systems 15(4), 321–367 (1997)
Kimbrough, S.O.: Reasoning about the objects of attitudes and operators: Towards a disquotation theory for representation of propositional content. In: Proceedings of ICAIL 2001, International Conference on Artificial Intelligence and Law (2001)
Kimbrough, S.O., Yang, Y.: On representing special languages with FLBC: Message markers and reference fixing in SeaSpeak. In: Kimbrough, S.O., Wu, D.J. (eds.) Formal Modelling in Electronic Commerce. International Handbooks on Information Systems, pp. 297–324. Springer, Berlin (2005)
Kimbrough, S.O.: A note on interpretations for federated languages and the use of disquotation. In: Gardner, A. (ed.) Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL 2005), Bologna, Italy, In cooperation with ACM SIGART and The American Association for Artificial Intelligence, pp. 10–19 (2005)
Kimbrough, S.O.: A note on the Good Samaritan paradox and the disquotation theory of propositional content. In: Horty, J., Jones, A.J. (eds.) Proceedings of DEON 2002, Sixth International Workshop on Deontic Logic in Computer Science, pp. 139–148 (May 2002)
Abrahams, A.S., Bacon, J.M., Eyers, D.M., Jones, A.J., Kimbrough, S.O.: Introducing the fair and logical trade project. In: Workshop on Contract Architectures and Languages (CoALa 2005) (2005)
Valdés, E.G., et al. (eds.): Normative Systems in Legal and Moral Theory – Festschrift for Carlos E. Alchourrón and Eugenio Bulygin. Duncker & Humblot, Berlin, Germany (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jones, A.J.I., Kimbrough, S.O. (2006). On the Normative Aspect of Signalling Conventions. In: Goble, L., Meyer, JJ.C. (eds) Deontic Logic and Artificial Normative Systems. DEON 2006. Lecture Notes in Computer Science(), vol 4048. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11786849_13
Download citation
DOI: https://doi.org/10.1007/11786849_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35842-8
Online ISBN: 978-3-540-35843-5
eBook Packages: Computer ScienceComputer Science (R0)