Abstract
This paper presents a fully formal integration of Jones’s logical theory of speech acts as signalling conventions with Kimbrough’s Formal Language for Business Communication (FLBC). The work is part of a larger programme of logicism in the context of electronic commerce. Speech acts are an especially apt subject for this programme because of their pervasiveness and importance in communication for all commerce, electronic or not. The paper demonstrates that the conventionist view of speech acts, embodied in Jones’s logical theory, fits naturally with Kimbrough’s FLBC and with the Basic Messaging Framework for business communications. Further, the paper provides an illustration of how the resulting integrated theory might be implemented in practice through logic programming.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Alan S. Abrahams, Developing and executing electronic commerce applications with occurrences, Ph.D. thesis, University of Cambridge Computer Laboratory, 2002.
Alan S. Abrahams, David M. Eyers, and Jean M. Bacon, Practical contract storage, checking, and enforcement for business process automation, Formal Modelling for Electronic Commerce: Representation, Inference, and Strategic Interaction (Steven O. Kimbrough and D. J. Wu, eds.), Springer, Berlin, Germany, 2004.
John L. Austin, How to do things with words, Oxford at the Clarendon Press, Oxford, England, 1962.
Kent Bach and Robert M. Harnish, Linguistic communication and speech acts, The MIT Press, Cambridge, Massachusetts, 1979.
Philip R. Cohen, Jerry Morgan, and Martha E. Pollack (eds.), Intentions in communication, System Development Foundation Benchmark, The MIT Press, Cambridge, Massachusetts, 1990.
Michael A. Covington, Speech acts, electronic commerce, and KQML, Decision Support Systems 22 (1998), no. 3, 203–211.
Tim Finin, Richard Fritzson, Don McKay, and Robin McEntire, KQML as an agent communication language, Proceedings of the Third International Conference on Information and Knowledge Management (CIKM ‘94), ACM Press, November 1994.
—, KQML as an agent communication language, The Proceedings of the Third International Conference on Information and Knowledge Management (CIKM ‘94), ACM, ACM Press, November 1994.
[FW+93]_Tim Finin, Jay Weber, et al., Draft specification of the KQML agent-communication language plus example agent policies and architectures, Manuscript obtained from http://www.cs.umbc.edu, 1993.
Paul Grice, Studies in the way of words, ch. Meaning, pp. 213–223, Harvard University Press, Cambridge, MA, 1989 (originally 1957),.
Michael N. Huhns and Munindar P. Singh (eds.), Readings in agents, Morgan Kaufmann, San Francisco, CA, 1998, ISBN: 1-55860-495-2.
Andrew J.I. Jones, On the concept of trust, Decision Support Systems 33 (2002), no. 3, 225–232.
—, A logical framework, Open Agent Societies: Normative Specifications in Multi-Agent Systems (Jeremy Pitt, ed.), John Wiley & Sons, Chichester, UK, 30 December 2004, ISBN: 047148668X.
Andrew J.I. Jones and X. Parent, Conventional signalling acts and conversation, Advances in Agent Communication (Frank Dignum, ed.), Lecture Notes in Artificial Intelligence, Volumn 2922, Springer-Verlag, Berlin, Heidelberg, New York, 2004, pp. 1–17.
Andrew J.I. Jones and Marek J. Sergot, A formal characterisation of institutionalised power, Journal of the Interest Group in Pure and Applied Logic (IGPL) 4 (1996), no. 3, 427–443, Reprinted in [V+97, pages 349–367].
Steven O. Kimbrough, Formal language for business communication: Sketch of a basic theory, International Journal of Electronic Commerce 3 (Winter 1998-99), no. 2, 23–44.
—, Reasoning about the objects of attitudes and operators: Towards a disquotation theory for representation of propositional content, Proceedings of ICAIL ‘01, International Conference on Artificial Intelligence and Law, 2001.
—, A note on the Good Samaritan paradox and the disquotation theory of propositional content, Proceedings of ΔEON’02, Sixth International Workshop on Deontic Logic in Computer Science (John Horty and Andrew J.I. Jones, eds.), May 2002, pp. 139–148.
Steven O. Kimbrough and Scott A. Moore, On automated message processing in electronic commerce and work support systems: Speech act theory and expressive felicity, ACM Transactions on Information Systems 15 (October 1997), no. 4, 321–367.
Steven O. Kimbrough and Yao-Hua Tan, On lean messaging with unfolding and unwrapping for electronic commerce, International Journal of Electronic Commerce 5 (2000), no. 1, 83–108.
Yannis Labrou and Tim Finin, A semantics approach for KQML—a general purpose communication language for software agents, Third International Conference on Information and Knowledge Management (CIKM ‘94), November 1994.
James Mayfield, Yannis Labrou, and Tim Finin, Evaluation of KQML as an agent communication language, Intelligent Agents Volume II — Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages (Berlin, Germany) (M. Wooldridge, J. P. Muller, and M. Tambe, eds.), Springer-Verlag, 1996.
Scott A. Moore, KQML and FLBC: Contrasting agent communication languages, International Journal of Electronic Commerce 5 (2000), no. 1, 109–124.
Terence Parsons, Events in the semantics of English: A study in subatomic semantics, Current Studies in Linguistics, The MIT Press, Cambridge, MA, 1990, ISBN: 0-262-66093-8.
Ira A. Smith and Philip R. Cohen, Toward a semantics for an agent communication language based on speech acts, Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, Vol. 2 (Menlo Park, California) (Howard Shrobe and Ted Senator, eds.), AAAI Press, 1996, pp. 24–31.
John R. Searle, Speech acts, Cambridge University Press, Cambridge, England, 1969.
Munidar P. Singh, A semantics for speech acts, Annals of Mathematics and Artificial Intelligence 8 (1993), no. I-II, 47–71, Reprinted in [HS98].
[V+97]_E. Garzòn Valdés 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
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Jones, A.J., Kimbrough, S.O. (2005). A Note on Modelling Speech Acts as Signalling Conventions. In: Kimbrough, S.O., Wu, D. (eds) Formal Modelling in Electronic Commerce. International Handbooks on Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-26989-4_12
Download citation
DOI: https://doi.org/10.1007/3-540-26989-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21431-1
Online ISBN: 978-3-540-26989-2
eBook Packages: Business and EconomicsBusiness and Management (R0)