Article

A logic of intention with cooperation principles and with assertive speech acts as communication primitives

Authors:

Andreas Herzig,

Dominique LonginAuthors Info & Claims

AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2

Pages 920 - 927

https://doi.org/10.1145/544862.544954

Published: 15 July 2002 Publication History

Abstract

We give a new logic of intention where (contrarily to Cohen&Levesque's approach) intention is a primitive modal operator having a non-normal possible worlds semantics. We then highlight the relation between intention and belief by a set of axioms. In our logic we formulate principles of cooperation allowing an agent to infer new intentions from his beliefs about other agents' intentions. Finally, building on results of linguistic pragmatics, we show that our cooperation principles allow to infer the effects of a yes-no question "Does A hold?" from that of an associated assertive "I have the intention to know whether A". In the same manner requests can be inferred, which form another important subclass of directives. It is the aim of this work to obtain a minimal logic that can be mechanized in a simple way.

References

[1]

J. L. Austin. How To Do Things With Words. Oxford University Press, 1962]]

[2]

M. E. Bratman. Intention, Plans, and Practical Reason. Harvard University Press, Cambridge, MA, 1987]]

[3]

M. A. Castilho, L. Fari nas del Cerro, O. Gasquet, and A. Herzig. Modal tableaux with propagation rules and structural rules. Fundamenta Informaticae, 32(3/4):281--297, 1997]]

Digital Library

[4]

M. Champagne, et al. Formalisation logique de la communication non littérale á la lumiére d'aperccus pragmatiques et neuropsycholinguistiques. Proc. MFI'01. lilacweb]]

[5]

M. Champagne and D. Longin. Non literal communication: From pragmatical to logical and psycholinguistical aspects. In Int. Colloc. on Cognitive Sciences (ICCS'01), 2001. 23 pages. lilacweb]]

[6]

B. F. Chellas. Modal Logic: an introduction. Cambridge University Press, 1980]]

[7]

P. R. Cohen and H. J. Levesque. Intention is choice with commitment. AI Journal, 42(2--3), 1990]]

Digital Library

[8]

P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication. MIT Press, 1990]]

[9]

L. Fari nas del Cerro and A. Herzig. Modal deduction with applications in epistemic and temporal logic. Handbook of Logic and AI. Oxford University Press, 1995]]

[10]

O. Gasquet and A. Herzig. From classical to normal modal logics. In H. Wansing, editor, Proof Theory of Modal Logics. Kluwer Academic Publishers, 1996]]

[11]

O. Gasquet, A. Herzig, and D. Longin. An analysis of communication in a logic of belief, intention and action. Technical Report IRIT/2001-07-R, Institut de Recherche en Informatique de Toulouse, Mar. 2001. 22 pages. lilacweb]]

[12]

H. P. Grice. Logic and conversation. In J. Cole and J. Morgan, editors, Syntaxe and Semantics: Speech acts, volume 3 : Speech Acts. Academic Press, 1975]]

[13]

A. Herzig and D. Longin. Belief dynamics in cooperative dialogues. J. of Semantics, 17(2), 2000. 20 pages]]

[14]

K. Konolige and M. E. Pollack. A representationalist theory of intention. In Proc. 13th Int. Joint Conf. on Artificial Intelligence IJCAI'93. Morgan Kaufmann Publishers, 1993]]

[15]

A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In J. A. Allen, R. Fikes, and E. Sandewall, editors, Proc. KR'91]]

[16]

R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation, Papers in Honor of John McCarthy:359--380, 1991]]

Digital Library

[17]

M. D. Sadek. A study in the logic of intention. In B. Nebel, C. Rich, and W. Swartout, editors, Proc. Third Int. Conf. on Principles of Knowledge Representation and Reasoning KR'92]]

[18]

M. D. Sadek. Dialogue acts are rational plans. In M. Taylor, F. Néel, and D. Bouwhuis, editors, The structure of mutimodal dialogue, 2000. Benjamins Publishing Company. From ESCA/ETRW, Workshop on The Structure of Multimodal Dialogue (Venaco II), 1991]]

[19]

H. Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logics. In S. Kanger, editor, Proc. 3rd Scandinavian Logic Symposium, volume 82 of Studies in Logic, 1975]]

[20]

R. Scherl and H. J. Levesque. The frame problem and knowledge producing actions. In Proc. AAAI'93]]

[21]

J. R. Searle. Speech acts: An essay in the philosophy of language. Cambridge University Press, 1969]]

[22]

J. R. Searle. Expression and Meaning. Cambridge University Press, 1979]]

[23]

J. R. Searle. Intentionality: An essay in the philosophy of mind. Cambridge University Press, 1983]]

[24]

C. Seguin. De l'action á l'intention : vers une caractrisation formelle des agents.PhD thesis, Université Paul Sabatier, Toulouse, France, Mar. 1992]]

[25]

S. Shapiro and Y. Lespérance. Modeling multiagent systems with the cognitive agents specification language - a feature interaction resolution application. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents Vol. VII - Proc. Workshop on Agent Theories, Architectures, and Languages ATAL-2000. Springer-Verlag, 2000]]

Digital Library

[26]

S. Shapiro, Y. Lespérance, and H. J. Levesque. Specifying communicative multi-agent systems with ConGolog. In Working notes of the AAAI fall symposium on Communicative Action in Humans and Machines, pages 75--82. AAAI Press, 1997]]

[27]

S. Shapiro, Y. Lespérance, and H. J. Levesque. Specifying communicative multi-agent systems. In W. Wobcke, M. Pagnucco, and C. Zhang, editors, Agents and Multi-Agent Systems - Formalisms, Methodologies, and Applications, pages 1--14. Springer-Verlag, LNAI 1441, 1998]]

Digital Library

[28]

S. Shapiro, M. Pagnucco, Y. Lespérance, and H. J. Levesque. Iterated belief change in the situation calculus. In Proc. KR'2000, pages 527--538, 2000]]

[29]

M. Thielscher. Representing the knowledge of a robot. In A. Cohn, F. Giunchiglia, and B. Selman, editors, Proc. KR'00]]

[30]

D. Vanderveken. Formal pragmatics of non literal meaning. Linguistische Berichte, 1997]]

Cited By

Su CRong LLiang F(2020)Reasoning as Speech ActsLogic and Argumentation10.1007/978-3-030-44638-3_17(279-286)Online publication date: 28-Mar-2020
https://doi.org/10.1007/978-3-030-44638-3_17
Guiraud NLongin DLorini EPesty SRivière JSonenberg LStone PTumer KYolum P(2011)The face of emotionsThe 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 310.5555/2034396.2034416(1031-1038)Online publication date: 2-May-2011
https://dl.acm.org/doi/10.5555/2034396.2034416
Murray-Rust DSmaill A(2011)Towards a model of musical interaction and communicationArtificial Intelligence10.1016/j.artint.2011.01.002175:9-10(1697-1721)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1016/j.artint.2011.01.002
Show More Cited By

Index Terms

A logic of intention with cooperation principles and with assertive speech acts as communication primitives
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Intelligent agents
      2. Multi-agent systems
    2. Knowledge representation and reasoning
  2. Machine learning
    1. Machine learning approaches
      1. Rule learning
2. Theory of computation
  1. Logic
    1. Modal and temporal logics

Recommendations

On the dynamics of delegation, cooperation, and control: a logical account
AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems

We present DCL-PC: a dynamic logic of delegation and cooperation. The logical foundation of DCL-PC is CL-PC, a logic for reasoning about cooperation in which the powers of agents and coalitions of agents stem from a distribution of atomic Boolean ...
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation

In this paper, we consider the influence of trust on the assimilation of acquired information into an agent's belief. By use of modal logic, we semantically and axiomatically characterize the relationship among belief, information acquisition and trust. ...
A modal logic internalizing normal proofs

In the proof-theoretic study of logic, the notion of normal proof has been understood and investigated as a metalogical property. Usually we formulate a system of logic, identify a class of proofs as normal proofs, and show that every proof in the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2

July 2002

508 pages

ISBN:1581134800

DOI:10.1145/544862

Conference Chairs:
Maria Gini
University of Minnesota, USA
,
Toru Ishida
Kyoto University, Japan
,
Program Chairs:
Cristiano Castelfranchi
CNR and Università di Siena, Italy
,
W. Lewis Johnson
University of Southern California, USA

Copyright © 2002 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 July 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

AAMAS02

Sponsor:

AAMAS02: The First International Joint Conference on Autonomous Agents and Multi-Agent Systems ( formerly known as Autonomous Agents )

July 15 - 19, 2002

Bologna, Italy

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
739
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Su CRong LLiang F(2020)Reasoning as Speech ActsLogic and Argumentation10.1007/978-3-030-44638-3_17(279-286)Online publication date: 28-Mar-2020
https://doi.org/10.1007/978-3-030-44638-3_17
Guiraud NLongin DLorini EPesty SRivière JSonenberg LStone PTumer KYolum P(2011)The face of emotionsThe 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 310.5555/2034396.2034416(1031-1038)Online publication date: 2-May-2011
https://dl.acm.org/doi/10.5555/2034396.2034416
Murray-Rust DSmaill A(2011)Towards a model of musical interaction and communicationArtificial Intelligence10.1016/j.artint.2011.01.002175:9-10(1697-1721)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1016/j.artint.2011.01.002
Bastani BGreaves D(2009)Complex open-system design by quasi-agentsACM SIGSOFT Software Engineering Notes10.1145/1543405.154341234:4(1-14)Online publication date: 6-Jul-2009
https://dl.acm.org/doi/10.1145/1543405.1543412
Erdur RSeylan İ(2008)The design of a semantic web compatible content language for agent communicationExpert Systems10.1111/j.1468-0394.2008.00457.x25:3(268-294)Online publication date: 8-Jul-2008
https://doi.org/10.1111/j.1468-0394.2008.00457.x
Cholvy LRoussel S(2008)Towards Agent-Oriented Relevant InformationProceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications10.1007/978-3-540-85776-1_3(22-31)Online publication date: 4-Sep-2008
https://dl.acm.org/doi/10.1007/978-3-540-85776-1_3
Fischer FNickles M(2006)Computational OpinionsProceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy10.5555/1567016.1567072(240-244)Online publication date: 22-May-2006
https://dl.acm.org/doi/10.5555/1567016.1567072
Murray-Rust DSmaill AEdwards M(2006)MAMAProceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy10.5555/1567016.1567030(36-40)Online publication date: 22-May-2006
https://dl.acm.org/doi/10.5555/1567016.1567030
Khan SLespérance YNakashima HWellman MWeiss GStone P(2006)On the semantics of conditional commitmentProceedings of the fifth international joint conference on Autonomous agents and multiagent systems10.1145/1160633.1160883(1337-1344)Online publication date: 8-May-2006
https://dl.acm.org/doi/10.1145/1160633.1160883
Nickles MFischer FWeiss G(2006)Communication AttitudesElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2006.02.015157:4(95-115)Online publication date: 1-May-2006
https://dl.acm.org/doi/10.1016/j.entcs.2006.02.015
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten