The normative aspect of signalling and the distinction between performative and constative. (English) Zbl 1151.68653
Summary: 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.
Keywords:
agent communication languages; speech act theory; applied modal logic; trust; business communication; trusted-third-partyReferences:
| [1] | Verdicchio, M.; Colombetti, M., A logical model of social commitment for agent communication, (Dignum, F., Advances in Agent Communication. Advances in Agent Communication, Lecture Notes in Computer Science, vol. 2922 (2004), Springer: Springer Berlin, Heidelberg, New York), 128-145 |
| [2] | Singh, M. P., Agent communication languages: Rethinking the principles, IEEE Computer, 31, 12, 40-47 (1998) |
| [3] | Jones, A. J.; Parent, X., Conventional signalling acts and conversation, (Dignum, F., Advances in Agent Communication. Advances in Agent Communication, Lecture Notes in Computer Science, vol. 2922 (2004), Springer: Springer Berlin, Heidelberg, New York), 1-17 · Zbl 1029.00049 |
| [4] | Jones, A. J.; Parent, X., A convention-based approach to agent communication languages, Group Decision and Negotiation, 16, 101-141 (2007), Available online at |
| [5] | Jones, A. J.; Kimbrough, S. O., A note on modelling speech acts as signalling conventions, (Kimbrough, S. O.; Wu, D. J., Formal Modelling in Electronic Commerce. Formal Modelling in Electronic Commerce, International Handbooks on Information Systems (2005), Springer: Springer Berlin), 325-342 |
| [6] | Stenius, E., Mood and language game, Synthese, 17, 254-274 (1967) |
| [7] | Searle, J. R., Speech Acts (1969), Cambridge University Press: Cambridge University Press Cambridge |
| [8] | Jones, A. J., Communication and Meaning—An Essay in Applied Modal Logic, Synthese Library, vol. 168 (1983), D. Reidel: D. Reidel Dordrecht |
| [9] | 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 [24, pp. 349-367] · Zbl 0855.03014 |
| [10] | Jones, A. J., On normative-informational positions, (Lomuscio, A.; Nute, D., Deontic Logic in Computer Science, Proceedings of the 7th Int Workshop on Deontic Logic in Computer Science, DEON 2004 (2004), Springer: Springer Berlin), 182-190 · Zbl 1169.03338 |
| [11] | Searle, J. R.; Vanderveken, D., Foundations of Illocutionary Logic (1985), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0577.03011 |
| [12] | J.L. Austin, How to Do Things with Words, Oxford at the Clarendon Press, Oxford, England, 1962; J.L. Austin, How to Do Things with Words, Oxford at the Clarendon Press, Oxford, England, 1962 |
| [13] | G.E. Moore, Ethics, Home University Library, London, UK, 1912; G.E. Moore, Ethics, Home University Library, London, UK, 1912 |
| [14] | Hintikka, J., Knowledge and Belief—An Introduction to the Logic of the Two Notions (1962), Cornell University Press: Cornell University Press Ithaca, NY |
| [15] | A.J. Jones, S.O. Kimbrough, A convention-based approach to a formal language for business communication, Draft manuscript, University of Pennsylvania, Philadelphia, PA, 2006; A.J. Jones, S.O. Kimbrough, A convention-based approach to a formal language for business communication, Draft manuscript, University of Pennsylvania, Philadelphia, PA, 2006 |
| [16] | Kimbrough, S. O., EDI, XML, and the transparency problem in electronic commerce, (Kimbrough, S. O.; Wu, D. J., Formal Modelling in Electronic Commerce. Formal Modelling in Electronic Commerce, International Handbooks on Information Systems (2005), Springer: Springer Berlin), 201-227 |
| [17] | 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) |
| [18] | 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 (October 1997) |
| [19] | S.O. Kimbrough, Reasoning about the objects of attitudes and operators: Towards a disquotation theory for representation of propositional content, in: Proceedings of ICAIL ‘01, International Conference on Artificial Intelligence and Law, 2001; S.O. Kimbrough, Reasoning about the objects of attitudes and operators: Towards a disquotation theory for representation of propositional content, in: Proceedings of ICAIL ‘01, International Conference on Artificial Intelligence and Law, 2001 |
| [20] | Kimbrough, S. O.; Yang, Y., On representing special languages with FLBC: Message markers and reference fixing in SeaSpeak, (Kimbrough, S. O.; Wu, D. J., Formal Modelling in Electronic Commerce. Formal Modelling in Electronic Commerce, International Handbooks on Information Systems (2005), Springer: Springer Berlin), 297-324 |
| [21] | S.O. Kimbrough, A note on interpretations for federated languages and the use of disquotation, in: A. Gardner (Ed.), Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL-2005), Bologna, Italy, 2005, pp. 10-19; In cooperation with ACM SIGART and The American Association for Artificial Intelligence; S.O. Kimbrough, A note on interpretations for federated languages and the use of disquotation, in: A. Gardner (Ed.), Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL-2005), Bologna, Italy, 2005, pp. 10-19; In cooperation with ACM SIGART and The American Association for Artificial Intelligence |
| [22] | S.O. Kimbrough, A note on the Good Samaritan paradox and the disquotation theory of propositional content, in: J. Horty, A.J. Jones (Eds.), Proceedings of ΔEON’02, Sixth International Workshop on Deontic Logic in Computer Science, May 2002, pp. 139-148; S.O. Kimbrough, A note on the Good Samaritan paradox and the disquotation theory of propositional content, in: J. Horty, A.J. Jones (Eds.), Proceedings of ΔEON’02, Sixth International Workshop on Deontic Logic in Computer Science, May 2002, pp. 139-148 |
| [23] | A.S. Abrahams, J.M. Bacon, D.M. Eyers, A.J. Jones, S.O. Kimbrough, Introducing the fair and logical trade project, in: Workshop on Contract Architectures and Languages (CoALa2005), 2005; A.S. Abrahams, J.M. Bacon, D.M. Eyers, A.J. Jones, S.O. Kimbrough, Introducing the fair and logical trade project, in: Workshop on Contract Architectures and Languages (CoALa2005), 2005 |
| [24] | (Valdés, E. G.; etal., Normative Systems in Legal and Moral Theory-Festschrift for Carlos E. Alchourrón and Eugenio Bulygin (1997), Duncker & Humblot: Duncker & Humblot Berlin) |
| [25] | Jones, A. J.; Kimbrough, S. O., On the normative aspect of signalling conventions, (Goble, L.; Meyer, J.-J. C., Deontic Logic and Artificial Normative Systems, Proceedings of the 8th International Workshop on Deontic Logic in Computer Science, DEON 2006. Deontic Logic and Artificial Normative Systems, Proceedings of the 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, LNAI, vol. 4048 (2006), Springer: Springer Berlin), 149-160 · Zbl 1148.68486 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
