Agent communication languages (ACLs) invoke speech act theory and define individual message types by reference to particular combinations of beliefs and desires of the speaker (feasibility preconditions). Even when the mental states are restricted to a small set of nested beliefs, it seems that there might be a very large number of different possible preconditions, and therefore a very large number of different message types. With some constraints on the mental attitude of the speaker, we enumerate the possible belief states that could serve as preconditions for individual message types, and we identify how these states correspond to different possible message types. We then compare these with FIPA’s primitive message types. Our approach clarifies the nature of core message types in an ACL, and perhaps settles issues concerning just how many, and what types of, speech acts should be seen as primitive in such languages.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,192
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Toward a Linguistic Theory of Speech Acts.Bernard Comrie & Jerrold Sadock - 1976 - Philosophical Quarterly 26 (104):285.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Adequacy of Language.David Harrah - 1960 - Inquiry: An Interdisciplinary Journal of Philosophy 3 (1-4):73 – 88.
Negotiation and Defeasible Decision Making.Fernando Tohmé - 2002 - Theory and Decision 53 (4):289-311.
A Logic of Message and Reply.David Harrah - 1984 - Synthese 58 (2):275 - 294.
A Logic of Message and Reply.David Harrah - 1985 - Synthese 63 (3):275 - 294.
Enumerating Types of Boolean Functions.Alasdair Urquhart - 2009 - Bulletin of Symbolic Logic 15 (3):273-299.
Finite Forcing, Existential Types and Complete Types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.


Added to PP index

Total views
141 ( #62,296 of 2,329,874 )

Recent downloads (6 months)
35 ( #17,410 of 2,329,874 )

How can I increase my downloads?


My notes