Abstract. In order to perform effective communication agents must be able to foresee the effects of their utterances on the addressee's mental state. In this paper we investigate the update of the mental state of a hearer agent as a consequence of the utterance performed by a speaker agent. Given an agent communication language with a STRIPS-like semantics, we propose a set of criteria that allow the binding of the speaker's mental state to its uttering of a certain sentence. On the basis of these criteria, we give an abductive procedure that the hearer can adopt to partially recognize the speaker's mental state, on the basis of its utterances. This procedure can be adopted by the hearer to update its own mental state and its image of the speaker's mental state. 1
|
462
|
BDI-agents: from theory to practice
– Rao, Georgeff
- 1995
|
|
448
|
Knowledge In Flux: modeling the dynamics of epistemic states
– Gardenfors
- 1988
|
|
209
|
Elements of a plan-based theory of speech acts
– Cohen, Perrault
- 1979
|
|
163
|
Multilanguage hierarchical logics (or: How we can do without modal logics
– Giunchiglia, Serafini
- 1994
|
|
155
|
Local Models Semantics, or Contextual Reasoning
– Ghidini, Giunchiglia
- 2001
|
|
85
|
Model checking multiagent systems
– Benerecetti, Giunchiglia, et al.
- 1998
|
|
77
|
Communication and interaction in multiagent planning
– Georgeff
- 1983
|
|
69
|
Abduction versus closure in causal theories
– Konolige
- 1992
|
|
67
|
Sonenmerg . Social plans: A preliminary report
– Rao, Georgeff, et al.
|
|
64
|
Cooperation Without Communications
– Genesereth, Ginsberg, et al.
- 1984
|
|
63
|
Contextual reasoning
– Giunchiglia
- 1993
|
|
61
|
A Rigorous, Operational Formalization of Recursive Modeling
– Gmytrasiewicz, Durfee
- 1995
|
|
58
|
Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study
– Cimatti, Serafini
- 1995
|
|
42
|
Agent theory for team formation by dialogue
– Dignum, Dunin-Ke¸plicz, et al.
- 2001
|
|
27
|
Toward a theory of communication and cooperation for multiagent planning
– Werner
- 1988
|
|
24
|
Ideal and Real Belief about Belief
– Giunchiglia, Giunchiglia
- 1996
|
|
14
|
Revising beliefs received from multiple source
– Dragoni, Giorgini
- 1999
|
|
8
|
Optimistic and disjunctive agent design problems
– Wooldridge, Dunne
- 2000
|
|
7
|
Modelling (Un)Bounded Beliefs
– Ghidini
- 1999
|
|
7
|
Semantics of communicating agents based on deduction and abduction
– Meyer
- 1999
|
|
7
|
Abductive expansion: The application of abductive inference to the process of belief change
– Pagnucco, Nayak, et al.
- 1994
|
|
5
|
Abductive reasoning, belief expansion and nonmonotonic consequence
– Pagnucco, Nayak, et al.
- 1995
|
|
5
|
Communication and cooperation. Stanford Heuristic Programming Rep
– Rosenschein, Genesereth
- 1984
|
|
5
|
Foundations of illuctionary Logic
– Serale, Vanderveken
- 1985
|
|
4
|
Abductive change oprators
– Lobo, Uzcategui
- 1996
|
|
4
|
The relationship between abduction and changes in belief states
– Pagnucco, Foo
- 1993
|
|
3
|
Knowledge revision, abduction and database updates
– Aravindan, Dung
- 1995
|
|
1
|
Delegation and respnsability
– Norman, Reed
- 2001
|
|
1
|
Modelling multiagent systems with casl--a feature interaction resolution application
– Shapiro, Lesperance
- 2001
|
|
1
|
Sensing actions, time, and concurrency in the situation calculus
– Zimmerbaum, Scherl
- 2001
|
|
