An unified model of dialogue game protocols
Speaker: Subhasis Thakur, ITEE
When: 2007-12-10 15:00:00
Venue: 78-622
Host: Guido Governatori
Abstract:Modelling interaction among artificial agents is a challenging task.
Argumentation, auction, dialogue games, agent communication languages are
proposed as mechanisms for agent interaction. As different mechanisms are
developed for agent interaction, there is a need for guidance for the
development of the interaction protocols. This guidance should be based on
logical properties of the protocol, in particular termination, complexity,
soundness, completeness. In this thesis we propose a formal model of
dialogue game protocols based on logic. This model will help us to develop
appropriate protocols for different scenarios as negotiation, coalition
formation, persuasion. We intend to extend this model to develop a framework
for analysis of different protocols for particular scenarios. This analysis
will reveal the functional differences between protocols. This will enable
us to determine whether particular protocols are suitable for a given
application domain and scenario.
Biography:(biography unavailable)
Type: MPhil confirmation
Contact:Guido Governatori, seminar host (guido@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)