David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Joel J. Davis (1994). Good Ethics is Good for Business: Ethical Attributions and Response to Environmental Advertising. [REVIEW] Journal of Business Ethics 13 (11):873 - 885.
David Harrah (1960). The Adequacy of Language. Inquiry 3 (1-4):73 – 88.
Fernando Tohmé (2002). Negotiation and Defeasible Decision Making. Theory and Decision 53 (4):289-311.
David Harrah (1984). A Logic of Message and Reply. Synthese 58 (2):275 - 294.
David Harrah (1985). A Logic of Message and Reply. Synthese 63 (3):275 - 294.
P. W. Hanks (2011). Structured Propositions as Types. Mind 120 (477):11-52.
Alasdair Urquhart (2009). Enumerating Types of Boolean Functions. Bulletin of Symbolic Logic 15 (3):273-299.
Joram Hirschfeld (1980). Finite Forcing, Existential Types and Complete Types. Journal of Symbolic Logic 45 (1):93-102.
Ronald Fagin & Joseph Y. Halpern (1988). I'm OK If You're OK: On the Notion of Trusting Communication. [REVIEW] Journal of Philosophical Logic 17 (4):329 - 354.
Added to index2009-01-28
Total downloads2 ( #348,070 of 1,100,838 )
Recent downloads (6 months)1 ( #289,727 of 1,100,838 )
How can I increase my downloads?