UNIVERSITY OF HERTFORDSHIRE
		 COMPUTER SCIENCE RESEARCH COLLOQUIUM

			      presents

	       "Agents, Teamwork, and Verification
	   - from formal logics to human-robot cooperation"


			 Prof. Michael Fisher
	(Department of Computer Science, University of Liverpool)


			 20 May 2009 (Wednesday)

			  Lecture Theatre E351
		       Hatfield, College Lane Campus
			     11 am - 12 noon

	       Coffee/tea and biscuits will be available.

		    Everyone is Welcome to Attend


Abstract:

	In this talk I will provide an overview of our work on the
	logical modelling, programming and verification of multi-agent
	systems. These agents are typically software agents but can
	equally well be robots or humans (or at least abstractions of
	robot or human behaviour). This will lead on to our current
	work which involves the analysis, through formal verification,
	of behaviour of human-robot teams.


References:

Agents - Fisher, M., Bordini, R. H., Hirsch, B., and Torroni, P.
Computational Logics and Agents: A Roadmap of Current Technologies and
Future Trends. Computational Intelligence 23(1):61-91. Blackwell
Publishing, February 2007.
http://www.csc.liv.ac.uk/~michael/comp-int-www.pdf

Logics - Fisher, M. Temporal Development Methods for Agent-Based
Systems. Journal of Autonomous Agents and Multi-Agent Systems
10(1):41-66, January 2005.
http://www.csc.liv.ac.uk/~michael/jaamas04.pdf

Agent Verification - Bordini, R. H., Dennis, L. A., Farwer, B., and
Fisher, M. Automated Verification of Multi-Agent Programs.  In Proc.
23rd IEEE/ACM International Conference on Automated Software
Engineering (ASE), 2008.
http://www.csc.liv.ac.uk/~michael/ase08camera.pdf

Cooperation and Teamwork - Hepple, A., Dennis, L. A., and Fisher, M. A
Common Basis for Agent Organisations in BDI Languages.  In Proc. 1st
International Workshop on LAnguages, methodologies and Development
tools for multi-agent systemS (LADS). Lecture Notes in Artificial
Intelligence 5118, pages 171-88, Springer, 2008.
http://www.csc.liv.ac.uk/~michael/LADS07.pdf

Human-Robot Teamwork - Bordini, R. H., Fisher, M., and Sierhuis, M.
Formal Verification of Human-Robot Teamwork. In Proc. 4th ACM/IEEE
International Conference on Human Robot Interaction (HRI), pp 267-268
(short paper). ACM, 2009. http://doi.acm.org/10.1145/1514095.1514169

-
Speaker's homepage: http://www.csc.liv.ac.uk/~michael

--------------------------------------------------
Hertfordshire Computer Science Research Colloquium
http://homepages.feis.herts.ac.uk/~nehaniv/colloq