Home About MOVIII Research Demonstrator projects Publications Events Contacts

  author = 	 {Martin Magnusson and David Land\'en  and Patrick Doherty},
  title = 	 {Logical Agents that Plan, Execute, and Monitor Communication},
  booktitle = 	 {Proceedings of the 2nd Workshop on Logic and the Simulation of Interaction and Reasoning ({LSIR2})},
  OPTcrossref =  {},
  OPTkey = 	 {},
  OPTpages = 	 {},
  year =	 {2009},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address =	 {Pasadena, California},
  month =	 jul,
  OPTorganization = {},
  OPTpublisher = {},
  OPTannote = 	 {},

  confurl = {http://www.illc.uva.nl/GLoRiClass/index.php?page=8_2},
  url = {http://www.martinmagnusson.com/publications/magnusson-landen-doherty-2009a.pdf},

  abstract = {Both real world and simulated situations that involve
  cooperation between several autonomous agents create highly dynamic
  conditions. An individual agent can not hope to rely on fixed
  behaviours, but needs to plan both physical actions and
  communication actions that enlist other agents to help achieve the
  goal. We present a logical agent that plans regular actions and
  speech acts, monitors their execution, and recovers from unexpected
  failures. The architecture is based on a formal logic and
  implemented using automated reasoning. We apply the system to a
  knowledge gathering goal and illustrate how it deals with the
  complexities of the task.}