Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

CENTRIA seminar: AGM-25 years

Main informationBy: Eduardo Fermé (Universidade da Madeira)

Date: Monday, 24th of September 2012, 12h00

Location: FCT/UNL, Seminar Room (Ed. II)
AbstractThe 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this talk, the first twenty-five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.
Short-bio
  • 1964 Born in Buenos Aires, Argentina
  • 1991 Licenciado en Ciencias de la Computación. Computer Science Department , University of Buenos Aires.
  • 1991-1997 Assistant Teacher at the Computer Science Department, University of Buenos Aires.
  • 1997-2002 Assistant Professor at the Computer Science Department, University of Buenos Aires.
  • 1999 PhD in Computer Science, University of Buenos Aires. Supervisors: Carlos E. Alchourrón (until his death in 1996) - Sven Ove Hansson.
  • 2000 Born my son Bruno.
  • 2002-2005 Assistant Professor at the Mathematics and Engineering Department, University of Madeira, Portugal.
  • 2005-.... Associate Professor at the Mathematics and Engineering Department (now part of the Centre of Exact Sciences and Engineering), University of Madeira.
  • 2008 “Provas de Agregação” (Aggregation) in Informatics Engineering – Branch Artificial Intelligence. University of Madeira.
  • 2008-2009 Head of Department. Mathematics and Engineering Department, University of Madeira.
  • 2009-.... Member of the Madeira Interactive Technologies Institute.
  • 2011 PhD in Philosophy. Royal Institute of Technology (KTH), Sweden. Supervisor: John Cantwell.
Main area of research (KRR- belief revision)
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT