A Note on Modelling Speech Acts as Signalling Conventions

  • Andrew J.I. Jones
  • Steven Orla Kimbrough
Part of the International Handbooks on Information Systems book series (INFOSYS)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Abr02]
    Alan S. Abrahams, Developing and executing electronic commerce applications with occurrences, Ph.D. thesis, University of Cambridge Computer Laboratory, 2002.Google Scholar
  2. [AEB04]
    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.Google Scholar
  3. [Aus62]
    John L. Austin, How to do things with words, Oxford at the Clarendon Press, Oxford, England, 1962.Google Scholar
  4. [BH79]
    Kent Bach and Robert M. Harnish, Linguistic communication and speech acts, The MIT Press, Cambridge, Massachusetts, 1979.Google Scholar
  5. [CMP90]
    Philip R. Cohen, Jerry Morgan, and Martha E. Pollack (eds.), Intentions in communication, System Development Foundation Benchmark, The MIT Press, Cambridge, Massachusetts, 1990.Google Scholar
  6. [Cov98]
    Michael A. Covington, Speech acts, electronic commerce, and KQML, Decision Support Systems 22 (1998), no. 3, 203–211.CrossRefGoogle Scholar
  7. [FFMM94a]
    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.Google Scholar
  8. [FFMM94b]
    —, 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.Google Scholar
  9. [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.Google Scholar
  10. [Gri57]
    Paul Grice, Studies in the way of words, ch. Meaning, pp. 213–223, Harvard University Press, Cambridge, MA, 1989 (originally 1957),.Google Scholar
  11. [HS98]
    Michael N. Huhns and Munindar P. Singh (eds.), Readings in agents, Morgan Kaufmann, San Francisco, CA, 1998, ISBN: 1-55860-495-2.Google Scholar
  12. [Jon02]
    Andrew J.I. Jones, On the concept of trust, Decision Support Systems 33 (2002), no. 3, 225–232.CrossRefGoogle Scholar
  13. [Jon04]
    —, 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.Google Scholar
  14. [JP04]
    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.Google Scholar
  15. [JS96]
    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].MathSciNetGoogle Scholar
  16. [Kim99]
    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.Google Scholar
  17. [Kim01]
    —, 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.Google Scholar
  18. [Kim02]
    —, 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.Google Scholar
  19. [KM97]
    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.CrossRefGoogle Scholar
  20. [KT00]
    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.Google Scholar
  21. [LF94]
    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.Google Scholar
  22. [MLF96]
    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.Google Scholar
  23. [Moo00]
    Scott A. Moore, KQML and FLBC: Contrasting agent communication languages, International Journal of Electronic Commerce 5 (2000), no. 1, 109–124.Google Scholar
  24. [Par90]
    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.Google Scholar
  25. [SC96]
    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.Google Scholar
  26. [Sea69]
    John R. Searle, Speech acts, Cambridge University Press, Cambridge, England, 1969.Google Scholar
  27. [Sin93]
    Munidar P. Singh, A semantics for speech acts, Annals of Mathematics and Artificial Intelligence 8 (1993), no. I-II, 47–71, Reprinted in [HS98].MATHMathSciNetGoogle Scholar
  28. [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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Andrew J.I. Jones
    • 1
  • Steven Orla Kimbrough
    • 2
  1. 1.King’s CollegeLondonUK
  2. 2.University of PennsylvaniaPhiladelphiaUSA

Personalised recommendations